Skip to content
@SQLab

NCTU Software Quality Lab

Pinned

  1. symgdb Public

    SymGDB - symbolic execution plugin for gdb

    Python 204 24

  2. ropchain Public

    A x86 systematic ROP payload generation

    C 54 13

  3. 🐚 CRAX++: Modular exploit generator using symbolic execution

    C++ 47 3

  4. CRAX Public

    Forked from S2E/s2e-old

    CRAX: software CRash analysis for Automatic eXploit generation

    C 43 11

  5. CRAX-lab Public

    AIS3 CRAX lab demo

    C 32 4

Repositories

Top languages

Loading…

Most used topics

Loading…