GJDuck

e9patch. A powerful static binary rewriting tool

EnvFuzz. Fuzz anything with Program Environment Fuzzing

e9afl. AFL binary instrumentation

LowFat. Lean C/C++ Bounds Checking with Low-Fat Pointers

libf. C++ as a Pure Functional Programming Language

GC. A lightweight conservative garbage collector for C/C++

RedFat. A binary hardening system

EffectiveSan. Runtime type and bounds-error checking for C/C++

e9syscall. A system call interception tool

SAT.js. A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)

BlueFat. Fully Randomized Pointers

SMCHR. SMCHR - Satisfiability Modulo Constraint Handling Rules

libredfat. A hardened malloc() replacement

libfpp. C++

AutoTrace. Simple source line-based tracing