Michael Rodler

mapping-high-level-constructs-to-llvm-ir. A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

bn-goloader. go reversing helpers for binaryninja

mpd-album-shuffle. Randomly play or sort the albums in the current mpd playlist

r2-go-helpers. [UNMAINTAINED] python scripts to help analzye go binaries in radare2

dotvim. my super duper fancy vim config

LLTap. [UNMAINTAINED] Compile Time Function Call Instrumentation

ceflif.py. wat?

dotfiles. Lua

quickvm. Quickly clone/start/stop/run commands on/delete a VM with libvirt

binaryninja-scripts. my binary ninja plugins folder

ethersplay. EVM dissassembler

ECFChecker-Geth1.8Port. A dynamic checker for the ECF property incorporated into geth (Rebased from geth 1.5 onto geth 1.8 from geth git repo)

KDFTestApp. This android app is intended to be used for demonstrations of analysis tools that try to detect privacy leaks and/or wrong/proper crypto usage.

arch-vm-install. script to quickly set up a minimal arch vm

MAIAN. MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts