NYCU Software Quality Lab

@SQLab

Pinned Loading

SymGDB - symbolic execution plugin for gdb

Python 218 23
A x86 systematic ROP payload generation

C 57 13
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++ 103 15
Forked from S2E/s2e-old

CRAX: software CRash analysis for Automatic eXploit generation

C 50 12
AIS3 CRAX lab demo

C 34 4

Showing 10 of 19 repositories

SQLab/114-fall-software-testing’s past year of commit activity

JavaScript 0
2 0 0
Updated Dec 4, 2025
SQLab/113-spring-software-testing’s past year of commit activity

JavaScript 0 MIT
47 0 15
Updated Jun 5, 2025
SQLab/112-spring-software-testing’s past year of commit activity

JavaScript
5
MIT
63 0 0
Updated Apr 29, 2025
SQLab/112-spring-software-testing-and-secure-programming’s past year of commit activity

JavaScript 0 MIT
46 0 0
Updated Jun 27, 2024
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)

SQLab/CRAXplusplus’s past year of commit activity
ropchain Public
A x86 systematic ROP payload generation

SQLab/ropchain’s past year of commit activity

C
57 13 1 0
Updated Feb 28, 2020
symgdb Public
SymGDB - symbolic execution plugin for gdb

SQLab/symgdb’s past year of commit activity

Python
218
MIT
23 0 0
Updated May 15, 2018
SQLab/CRAX-lab’s past year of commit activity

C
34 4 1 0
Updated Apr 26, 2017
SQLab/SQLab.github.io_backup’s past year of commit activity

HTML 0 0
0 0
Updated Jul 21, 2016
SQLab/sqlab_website’s past year of commit activity

JavaScript 0
2 0 0
Updated Jul 21, 2016

Loading…