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