SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
A (branching) Behaviour Synthesizer
