Michael Rodler's Projects
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Mirror of git://android.git.kernel.org/platform/frameworks/base.git with TaintDroid additions (Mirror lags official Android) | + modifications for assessing cryptography usage (e.g. KDFs)
Mirror of git://android.git.kernel.org/platform/libcore.git with TaintDroid additions (mirror lags official Android) | + modifications for assessing cryptography usage (e.g. KDFs)
Binary Ninja plugin for annotation of arguments for functions
periodically update arch linux mirror list with rankmirrors
script to quickly set up a minimal arch vm
my binary ninja plugins folder
go reversing helpers for binaryninja
Binary Ninja Game Boy loader and architecture plugin for analysing and disassembling GB ROM.
Capstone disassembly/disassembler framework: Core (Arm, Arm64, EVM, M68K, M680X, Mips, PPC, Sparc, SystemZ, TMS320C64x, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell, Visual Basic)
high-level Capstone system bindings for Rust
low-level Capstone system bindings for Rust
Command line helpers for fuzzing
Fuzz Rust code with LibAFL
A container init that is so simple it's effectively brain-dead.
DARPA Challenges Binaries for Linux, Windows, and OS X
wat?
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
Some setup scripts for security research tools.
Deoplete source for emoji codes
my super duper fancy vim config
A dynamic checker for the ECF property incorporated into geth (Rebased from geth 1.5 onto geth 1.8 from geth git repo)
Encode and decode smart contract invocations
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"