aziem/snowman
Snowman decompiler
Survey of program analysis research with a focus on machine code
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Snowman decompiler
Links to publicly available preprints for the POPL'16 conference
A symbolic execution engine for the VEX IR
A series of labs that will help users apply various data science techniques to security related data.