An analysis tool for Python that blurs the line between testing and type...
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and ...
fuzzing + concolic = fuzzolic :)
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgra...
Build your emulation environment as needed
CRETE under development