search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Allow crete-debug to detect when symbolic address occurs #106

Closed moralismercatus closed 9 years ago

moralismercatus commented 9 years ago

Now that we have a solution to handling symbolic addresses, I'd still like to give an option to crete-debug to detect in which traces the symbolic address occurred.

This can be done by writing a special file, that crete-debug can find, when a symbolic address is encountered.

The reason for this is that, in the future, during "tool refinement," it may be important to detect when a symbolic address is occuring. Also, for debugging purposes as to possibly why parts of the execution are not being covered.

moralismercatus commented 9 years ago

Done.

crete-debug -e

Will look for klee-run/exception/ and report them.