NYCU Software Quality Lab

symgdb

SymGDB - symbolic execution plugin for gdb

CRAXplusplus

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

ropchain

A x86 systematic ROP payload generation

CRAX

CRAX: software CRash analysis for Automatic eXploit generation

CRAX-lab

AIS3 CRAX lab demo

CRAXWeb

112-spring-software-testing

Labs for NYCU "Software Testing" course in 112 spring

cloudos-exercise

Exercises of CloudOS

crax-vagrant

CRAXBox is a vagrant environment for developing and testing CRAX.

CRAXDroid

CRAX on Android

112-spring-software-testing-and-secure-programming

Labs for NYCU "Software Testing and Secure Programming" course in 112 spring

PEaaS

Programming Exam as a Service

pin

Use Intel Pin tools to analysis binary.

wargame-webapp

Wargame web frontend

cloudsa-exercise

Exercise materials of the course Cloud System Administration in National Chiao Tung Unerversity

SQLab.github.io_backup

sqlab website

sqlab_website