gts3.org (SSLab@Gatech)

gts3.org (SSLab@Gatech)'s repositories

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustApache-2.01357 28 23

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++NOASSERTION653 26 85

winnie

Winnie makes fuzzing Windows applications easy

Language:CMIT563 41 36

DIE

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Language:TypeScriptMIT228 30 24

hydra

Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems

Language:CMIT170 22 26

freedom

A DOM fuzzer

Language:PythonMIT153 39 5

autofz

autofz: Automated Fuzzer Composition at Runtime

Language:CMIT82 30 9

open-tdx

Language:Shell4200

Rudra-PoC

Trophy case for Rudra bugs.

Language:Rust40 20 1

sgx101-gitbook

Synced with SGX101 gitbook.

31 50

RoboFuzz

Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems

Language:PythonMIT30 260

MALintent

Language:Rust29 23 1

AndroidCoverageAgent

Coverage gathering JVMTI agent for Android

Language:C++23 240

SysGPT

Principles and Methodologies for Serial Performance Optimization (OSDI' 25)

Language:PythonMIT2000

blockchain-lab-pwneth

Language:Solidity12 260

Sense

Code for Sense (NDSS'24)

Language:C++BSD-3-Clause9 280

Pridwen

Universally Hardening SGX Programs via Load-Time Synthesis

Language:C++8 25 1

ACon2

Language:SolidityMIT5 260

RAKIS

RAKIS : Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX

Language:CLGPL-3.0500

blockchain-lab-template

Language:Python1 40

ctf-template

Docker template for TKCTF

Language:Python100

portal

Language:C++100

seabios

Language:CLGPL-3.0100

seam-loader

Language:C100

tdx-linux

Language:CNOASSERTION100

tdx-module

Language:CNOASSERTION100

tdx-qemu

Language:CNOASSERTION100

UniAlloc

Language:Rust1 230

MSG

Agentic Specification Generator for Move Programs

000

RUG

Language:RustMIT000