| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | example: add a code analyser | serpilliere | 2012-02-27 | 2 | -0/+123 | |
| | | | | | | find condition to satisfy to explore the complete exec graph of a function (a *very* simple/weak fuzzgrind clone) | |||||
| * | example: add symbolic execution and simplification | serpilliere | 2012-02-27 | 2 | -0/+38 | |
| | | ||||||
| * | example: add expression manipulation demo | serpilliere | 2012-02-27 | 6 | -0/+264 | |