roachspray

opcde2017

Slides and very basic examples

FuzzingProgramSlices

Expand from the earlier, naive work

acsac17wip

My ACSAC 2017 WIP Material

fkrf

FreeBSD 12.0 port of KRF

megarrmon

megarrmon code from 30C3 talk

SingleOut

Contains a few random passes related to singling out functions from a BC file

afl

My own tracking of lcamtuf's American Fuzzy Lop (with some mods)

schnappshot

example ptrace snapshot / replay code in c and c++

Shoehorn

Using SeaHorn in Android Studio to check native code

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!

cere

CERE: Codelet Extractor and REplayer

coccinelle-play

some coccinelle semantic patches

fcd

An optimizing decompiler

fuzzer-test-suite

Set of tests for fuzzing engines

gsocket

Global Socket. Moving data from here to there. Securely, Fast and trough NAT/Firewalls

heathclift

Weakly lift only calls from radare2 disassembly to LLVM IR

MDCBWeakCheck

Not strong, but weak, my friends.

mwaitok-unneeded-rv-check

llvm pass looking for unneeded malloc(9) return value checks

pe-parse

Principled, lightweight C/C++ PE parser

regehrlike

silly code to inject random data changes

remill

Machine code to LLVM binary translator

seahorn

SeaHorn Verification Framework

silc-client-1.1.11

YamabeGraphExp

1-Yamabe equation on a graph experimentation code