Pinned

1. symgdb symgdb Public

   SymGDB - symbolic execution plugin for gdb

   Python 212 26

2. ropchain ropchain Public

   A x86 systematic ROP payload generation

   C 56 13

3. CRAXplusplus CRAXplusplus Public

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

   C++ 97 16

4. CRAX CRAX Public

   Forked from S2E/s2e-old

   CRAX: software CRash analysis for Automatic eXploit generation

   C 46 12

5. CRAX-lab CRAX-lab Public

   AIS3 CRAX lab demo

   C 32 4

6. CRAXWeb CRAXWeb Public

   C 7 4