Pinned Repositories
augury-webpage
footswitch
Command-line utility for PCsensor and Scythe foot switches
korat
libvex
LibVEX with patches to support static analysis
llvm-coreutils
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
nightmare
A distributed fuzzing testing suite with web administration
PinTools-1
Pintool example and PoC for dynamic binary analysis
Flandini's Repositories
Flandini/augury-webpage
Flandini/footswitch
Command-line utility for PCsensor and Scythe foot switches
Flandini/korat
Flandini/libvex
LibVEX with patches to support static analysis
Flandini/llvm-coreutils
Flandini/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Flandini/metamath-turing-machines
metamath proof enumerators and other things
Flandini/mini-invader
Toy implementation of a separation logic based program analysis
Flandini/nightmare
A distributed fuzzing testing suite with web administration
Flandini/PinTools-1
Pintool example and PoC for dynamic binary analysis
Flandini/vmware-svga
not mine, clone from