GJDuck

National University of Singapore

Pinned Repositories

e9afl
AFL binary instrumentation
Language:C++288 8 823
e9patch
A powerful static binary rewriting tool
Language:C++930 20 6264
e9syscall
A system call interception tool
Language:Shell52 6 07
EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++101 11 819
EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++27216
GC
A lightweight conservative garbage collector for C/C++
Language:C116 8 119
libf
C++ as a Pure Functional Programming Language
Language:C++180 12 516
LowFat
Lean C/C++ Bounds Checking with Low-Fat Pointers
Language:C++175 10 1528
RedFat
A binary hardening system
Language:C++94 4 011
SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript45 4 08

GJDuck's Repositories

GJDuck/e9patch
A powerful static binary rewriting tool
Language:C++930 20 6264
GJDuck/e9afl
AFL binary instrumentation
Language:C++288 8 823
GJDuck/EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++27216
GJDuck/libf
C++ as a Pure Functional Programming Language
Language:C++180 12 516
GJDuck/LowFat
Lean C/C++ Bounds Checking with Low-Fat Pointers
Language:C++175 10 1528
GJDuck/GC
A lightweight conservative garbage collector for C/C++
Language:C116 8 119
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++101 11 819
GJDuck/RedFat
A binary hardening system
Language:C++94 4 011
GJDuck/e9syscall
A system call interception tool
Language:Shell52 6 07
GJDuck/SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript45 4 08
GJDuck/BlueFat
Fully Randomized Pointers
Language:C12
GJDuck/SMCHR
SMCHR - Satisfiability Modulo Constraint Handling Rules
Language:C11 4 10
GJDuck/libredfat
A hardened malloc() replacement
Language:C8 3 01