roachspray Goto Github PK

acsac17wip

My ACSAC 2017 WIP Material

afl

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

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

fkrf

FreeBSD 12.0 port of KRF

fuzzer-test-suite

Set of tests for fuzzing engines

fuzzingprogramslices

Expand from the earlier, naive work

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.

megarrmon

megarrmon code from 30C3 talk

mwaitok-unneeded-rv-check

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

opcde2017

Slides and very basic examples

pe-parse

Principled, lightweight C/C++ PE parser

regehrlike

silly code to inject random data changes

remill

Machine code to LLVM binary translator

schnappshot

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

seahorn

SeaHorn Verification Framework

shoehorn

Using SeaHorn in Android Studio to check native code

silc-client-1.1.11

singleout

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

yamabegraphexp

1-Yamabe equation on a graph experimentation code