Mark Mossberg f552383e16 Add example taint usage (#161) ...

* Add example taint usage

- use new_symbolic_value API instead, because it's making an int symbolic
- add every instruction hook that checks for tainted data in operands

* update readme with taint example

2017-04-21 14:59:06 -04:00

..

cgc

Initial import

2017-02-13 12:04:15 -05:00

linux

Add memory corruption example (#124)

2017-04-06 10:39:45 -05:00

script

Add example taint usage (#161)

2017-04-21 14:59:06 -04:00