3 results found Sort:

89
450
other
12
S2E: A platform for multi-path program analysis with selective symbolic execution.
Created 2020-01-07
1,747 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 about a year ago
Spacecraft Simulation Environment Core codes
Created 2021-12-19
3,666 commits to develop branch, last one 6 days ago