3 results found Sort:
S2E: A platform for multi-path program analysis with selective symbolic execution.
Created
2020-01-07
1,751 commits to master branch, last one 2 months ago
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Created
2021-08-31
527 commits to master branch, last one 2 years ago
Spacecraft Simulation Environment Core codes
Created
2021-12-19
3,718 commits to develop branch, last one 14 days ago