GJDuck

National University of Singapore

Pinned Repositories

e9afl
AFL binary instrumentation
Language:C++293 7 823
e9patch
A powerful static binary rewriting tool
Language:C986 19 6767
e9syscall
A system call interception tool
Language:Shell53 6 07
EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++100 11 1419
EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++353 5 224
GC
A lightweight conservative garbage collector for C/C++
Language:C118 8 119
libf
C++ as a Pure Functional Programming Language
Language:C++184 12 515
LowFat
Lean C/C++ Bounds Checking with Low-Fat Pointers
Language:C++178 10 1528
RedFat
A binary hardening system
Language:C++100 5 111
SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript48 4 08

GJDuck's Repositories

GJDuck/e9patch
A powerful static binary rewriting tool
Language:C986 19 6767
GJDuck/EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++353 5 224
GJDuck/e9afl
AFL binary instrumentation
Language:C++293 7 823
GJDuck/libf
C++ as a Pure Functional Programming Language
Language:C++184 12 515
GJDuck/LowFat
Lean C/C++ Bounds Checking with Low-Fat Pointers
Language:C++178 10 1528
GJDuck/GC
A lightweight conservative garbage collector for C/C++
Language:C118 8 119
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++100 11 1419
GJDuck/RedFat
A binary hardening system
Language:C++100 5 111
GJDuck/e9syscall
A system call interception tool
Language:Shell53 6 07
GJDuck/SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript48 4 08
GJDuck/BlueFat
Fully Randomized Pointers
Language:C16 2 0
GJDuck/SMCHR
SMCHR - Satisfiability Modulo Constraint Handling Rules
Language:C11 4 10
GJDuck/libredfat
A hardened malloc() replacement
Language:C10 3 01