I need help identifying a tool to satisfy a specific testing
requirement, or at least to determine whether such a tool does
exist.

Requirement is to be able to take an executable image and
determine every reference to specific data item(s) by
simulating execution of every possible code path.  In other
words, the equivalent of setting a debug watchpoint on a
variable (or small set of variables, at most a handfull) and
then forcing execution of both paths out of every conditional
branch point.

FOSS is preferred but not required.  A more important
requirement is tool quality, in dimensions of reliability,
performance, ability to handle moderately large and complex
executable targets, etc.

FWIW, those who are curious about the genesis of this
requirement are directed to the section titled "Moral" toward
the end of the following document:
<http://www.acm.org/classics/sep95/>

TIA!

-lbm
_______________________________________________
gnhlug-discuss mailing list
[EMAIL PROTECTED]
http://mail.gnhlug.org/mailman/listinfo/gnhlug-discuss

Reply via email to