s2e topic
List
s2e repositories
malware-s2e
24
Stars
4
Forks
Watchers
Code for my blog post on using S2E for malware analysis
s2e
409
Stars
87
Forks
Watchers
S2E: A platform for multi-path program analysis with selective symbolic execution.
CRAXplusplus
97
Stars
16
Forks
Watchers
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
s2e-core
41
Stars
17
Forks
Watchers
Spacecraft Simulation Environment Core codes
CRAX
46
Stars
12
Forks
Watchers
CRAX: software CRash analysis for Automatic eXploit generation
WIZ750SR
17
Stars
20
Forks
Watchers
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
kaitai-s2e
15
Stars
1
Forks
Watchers
Code for my blog post on combining S2E and Kaitai Struct