sciencemanx / symexecLinks
Basic x86 Symbolic Execution for educational purposes
☆18Updated 8 years ago
Alternatives and similar repositories for symexec
Users that are interested in symexec are comparing it to the libraries listed below
Sorting:
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Updated 8 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- ROP based Movfuscator VM☆28Updated 8 years ago
- x86 Dynamic Binary Translator Library