s2e

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

CRAX: software CRash analysis for Automatic eXploit generation

Code for my blog post on using S2E for malware analysis

Documents for Spacecraft Simulation Environment

Code for my blog post on combining S2E and Kaitai Struct

Serial to Ethernet Module based on W5500 & Cortex-M0

Serial to Ethernet Module based on W5500 & Cortex-M0

Serial to Ethernet Module based on W5500 & Cortex-M3

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

An example of user settings repository for s2e-aobc

Utils and test apps for Selective Symbolic Execution.

WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device