Beast code in Giters

GJDuck's repositories

A powerful static binary rewriting tool

Language:CGPL-3.0939 20 62

AFL binary instrumentation

Language:C++GPL-3.0289 8 8

Fuzz anything with Program Environment Fuzzing

Language:C++GPL-3.0284 40

C++ as a Pure Functional Programming Language

Language:C++NOASSERTION180 12 5

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

Language:C++NOASSERTION175 10 15

A lightweight conservative garbage collector for C/C++

Language:CNOASSERTION117 8 1

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

Language:C++101 11 8

A binary hardening system

Language:C++GPL-3.095 40

A system call interception tool

Language:ShellGPL-3.052 60

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

Language:JavaScriptGPL-3.046 40

Fully Randomized Pointers

Language:CGPL-3.012 10

SMCHR - Satisfiability Modulo Constraint Handling Rules

Language:C11 4 1

A hardened malloc() replacement

Language:CMIT8 30