GJDuck

National University of Singapore

Pinned Repositories

e9afl
AFL binary instrumentation
Language:C++293 7 823
e9patch
A powerful static binary rewriting tool
Language:C992 19 6767
e9syscall
A system call interception tool
Language:Shell54 6 18
EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++100 11 1420
EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++362 5 424
GC
A lightweight conservative garbage collector for C/C++
Language:C117 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++102 5 111
SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript48 4 07

GJDuck's Repositories

GJDuck/e9patch
A powerful static binary rewriting tool
Language:C992 19 6767
GJDuck/EnvFuzz
Fuzz anything with Program Environment Fuzzing
Language:C++362 5 424
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:C117 8 119
GJDuck/RedFat
A binary hardening system
Language:C++102 5 111
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++100 11 1420
GJDuck/e9syscall
A system call interception tool
Language:Shell54 6 18
GJDuck/SAT.js
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
Language:JavaScript48 4 07
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 4 01
GJDuck/AutoTrace
Simple source line-based tracing
Language:C++