aziem/Security-Data-Analysis
A series of labs that will help users apply various data science techniques to security related data.
Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A series of labs that will help users apply various data science techniques to security related data.
A static analyzer for Java, C and Objective-C
Accepted papers for POPL 2015
T2 Temporal Prover