3 results found Sort:

S2E
s2e S2E
89
448
other
12
S2E: A platform for multi-path program analysis with selective symbolic execution.
vm cgc kvm pov s2e x86 llvm qemu linux device drivers testing windows analysis coverage symbolic automated execution vulnerabilities reverse-engineering
Created 2020-01-07
1,747 commits to master branch, last one about a month ago
SQLab
CRAXplusplus SQLab
15
99
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
ut-issl
s2e-core ut-issl
18
46
mit
3
Spacecraft Simulation Environment Core codes
cpp s2e satellite spacecraft astrodynamics attitude-dynamics orbital-simulation
Created 2021-12-19
3,649 commits to develop branch, last one about a month ago