Datalog with support for SMT queries and first-order functional programming
AI based fuzzer based on imitation learning
Tutorial on Symbolic Execution. Hands-on session is based on the angr fr...
fuzzing + concolic = fuzzolic :)
The Symbolic, Mechanized, Observable, Operational SHell: an executable f...
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgra...
A set of programs used for benchmarking the strength of obfuscation
Testing Intermediate Representations for Binary Analysis (ASE '17)
TTexplore is a library that performs path exploration on binary code usi...
Automatic test case generator for P4 programs
Build your emulation environment as needed
Extracting high level semantic information from binary code
Staged Abstract Interpreters
Symbolica's open-source symbolic execution engine.
APISan: Sanitizing API Usages through Semantic Cross-Checking