S2E: A platform for multi-path program analysis with selective symbolic execution.

The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)

Spacecraft Simulation Environment Core codes

Code for my blog post on using S2E for malware analysis

Code for my blog post on combining S2E and Kaitai Struct

S2E user side repository for Formation Flying study

S2E for AOCS module

C2A CoreにあるC2A sampleでSILSを組むためのS2E user

Code for my blog post on solving Google's Unbreakable CTF challenge with S2E

An example of S2E user side repository