FlowDroid Static Data Flow Tracker
secure-software-engineering
Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
brainsmoke
