A True Instrumentable Binary Emulation Framework

Reverse engineering SARS-CoV-2

Allows you to partly emulate an Android native library.

RetroWrite -- Retrofitting compiler passes through binary rewriting

CVE-2024-0044: a "run-as any app" high-severity vulnerability affecting Android versions 12 and 13

The new phuzzing framework!

Fuzzing library written in/for python.

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

Windows syscall fuzzer that I used in 2017 & 2018. Not much to say about it but maybe helpful to someone. At least syscall information itself

An extended smart contract verification tool