Top 3 s2e open source projects

malware-s2e
Code for my blog post on using S2E for malware analysis
WIZ750SR
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
CRAX
CRAX: software CRash analysis for Automatic eXploit generation
1-3 of 3 s2e projects