Michael Flanders's repositories
Language:SCSSMIT000
footswitch
Command-line utility for PCsensor and Scythe foot switches
Language:CMIT000
libvex
LibVEX with patches to support static analysis
Language:CGPL-2.0000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
metamath-turing-machines
metamath proof enumerators and other things
mini-invader
Toy implementation of a separation logic based program analysis
Language:OCamlBSD-3-Clause000
nightmare
A distributed fuzzing testing suite with web administration
Language:PythonGPL-2.0000
PinTools-1
Pintool example and PoC for dynamic binary analysis
Language:C++000
vmware-svga
not mine, clone from
Language:C000