Pinned Repositories
acsac17wip
My ACSAC 2017 WIP Material
fkrf
FreeBSD 12.0 port of KRF
FuzzingProgramSlices
Expand from the earlier, naive work
megarrmon
megarrmon code from 30C3 talk
opcde2017
Slides and very basic examples
schnappshot
example ptrace snapshot / replay code in c and c++
Shoehorn
Using SeaHorn in Android Studio to check native code
SingleOut
Contains a few random passes related to singling out functions from a BC file
roachspray's Repositories
roachspray/opcde2017
Slides and very basic examples
roachspray/FuzzingProgramSlices
Expand from the earlier, naive work
roachspray/acsac17wip
My ACSAC 2017 WIP Material
roachspray/fkrf
FreeBSD 12.0 port of KRF
roachspray/megarrmon
megarrmon code from 30C3 talk
roachspray/SingleOut
Contains a few random passes related to singling out functions from a BC file
roachspray/afl
My own tracking of lcamtuf's American Fuzzy Lop (with some mods)
roachspray/schnappshot
example ptrace snapshot / replay code in c and c++
roachspray/Shoehorn
Using SeaHorn in Android Studio to check native code
roachspray/AFLplusplus
afl++ is afl 2.52b with all the patches from github.com/vanhauser-thc/afl-patches applied plus AFLfast power schedules plus qemu 3.1 upgrade. Lots of bugfixes, features and better performance!
roachspray/cere
CERE: Codelet Extractor and REplayer
roachspray/coccinelle-play
some coccinelle semantic patches
roachspray/fcd
An optimizing decompiler
roachspray/fuzzer-test-suite
Set of tests for fuzzing engines
roachspray/gsocket
Global Socket. Moving data from here to there. Securely, Fast and trough NAT/Firewalls
roachspray/heathclift
Weakly lift only calls from radare2 disassembly to LLVM IR
roachspray/MDCBWeakCheck
Not strong, but weak, my friends.
roachspray/mwaitok-unneeded-rv-check
llvm pass looking for unneeded malloc(9) return value checks
roachspray/pe-parse
Principled, lightweight C/C++ PE parser
roachspray/regehrlike
silly code to inject random data changes
roachspray/remill
Machine code to LLVM binary translator
roachspray/seahorn
SeaHorn Verification Framework
roachspray/silc-client-1.1.11
roachspray/YamabeGraphExp
1-Yamabe equation on a graph experimentation code