s2e
There are 1 repository under s2e topic.
- Language:C++ 420
SQLab / CRAXplusplus
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Language:C++ 98- Language:C 46
- Language:C++ 44
adrianherrera / malware-s2e
Code for my blog post on using S2E for malware analysis
Language:C++ 24Wiznet / WIZ750SR
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
Language:C 17Code for my blog post on combining S2E and Kaitai Struct
Language:C++ 15ut-issl / s2e-documents
Documents for Spacecraft Simulation Environment
Language:C 12- Language:C 11
- Language:C 6
Serial to Ethernet Module based on W5500 & Cortex-M0
Language:C 5- Language:C++ 4
- Language:C++ 4
- Language:C++ 4
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
Language:C++ 3- Language:C 1
An example of user settings repository for s2e-aobc
Language:CMake 1- Language:C++ 1
