gts3.org (SSLab@Gatech)

gts3.org (SSLab@Gatech)'s repositories

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustApache-2.01297 29 20

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++NOASSERTION625 26 85

winnie

Winnie is an end-to-end system that makes fuzzing Windows applications easy

Language:CMIT513 44 35

DrK

The DrK Attack - Proof of concept

Language:PythonMIT345 330

DIE

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Language:TypeScriptMIT218 32 23

hydra

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

Language:CMIT155 25 26

freedom

A DOM fuzzer

Language:PythonMIT135 41 4

autofz

autofz: Automated Fuzzer Composition at Runtime

Language:CMIT66 31 7

fuzzification

We hinder fuzzing

Language:C63 20 7

libmpk

Language:CMIT44 4 2

deadline

Language:C++43 16 1

shfllock

Language:C39 180

Rudra-PoC

Trophy case for Rudra bugs.

Language:Rust33 20 1

sgx101-gitbook

Synced with SGX101 gitbook.

29 30

krace

Source code release for the KRace project

Language:PythonMIT27 20 2

juxta

Language:C++MIT21 15 1

RoboFuzz

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

Language:PythonMIT15 250

SNAP

Language:C12 24 1

blockchain-lab-pwneth

Language:Solidity11 260

latr

Latr: Lazy Translation Coherence - ASPLOS'18

Language:CGPL-2.010 180

Pridwen

Universally Hardening SGX Programs via Load-Time Synthesis

Language:C++7 25 1

AndroidCoverageAgent

Coverage gathering JVMTI agent for Android

Language:C++600

Sense

Code for Sense (NDSS'24)

Language:C++BSD-3-Clause6 270

eCS

Enlightened Critical Sections

Language:CGPL-2.04 170

ACon2

Language:SolidityMIT3 260

lkl

Language:CNOASSERTION2 190

sgx101

A place to start designing application with Intel SGX in mind.

Language:HTMLNOASSERTION2 170

AndroidIntentFuzzer

Greybox fuzzing for Android Intent receivers

Language:Kotlin1 250

UniAlloc

Language:Rust0250

blockchain-lab-template

Language:Python030