-
BlueFat Public
Fully Randomized Pointers
-
e9patch Public
A powerful static binary rewriting tool
-
EnvFuzz Public
Fuzz anything with Program Environment Fuzzing
-
e9afl Public
AFL binary instrumentation
-
EffectiveSan Public
Runtime type and bounds-error checking for C/C++
-
e9syscall Public
A system call interception tool
-
AutoTrace Public
Simple source line-based tracing
-
RedFat Public
A binary hardening system
-
libredfat Public
A hardened malloc() replacement
-
LowFat Public
Lean C/C++ Bounds Checking with Low-Fat Pointers
-
libf Public
C++ as a Pure Functional Programming Language
-
GC Public
A lightweight conservative garbage collector for C/C++
-
-
SAT.js Public
A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
{{ message }}