1 result found Sort:

SQLab
CRAXplusplus SQLab
15
98
other
5
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
aeg s2e crax exploit concolic-execution symbolic-execution
Created 2021-08-31
527 commits to master branch, last one about a year ago