aziem/Security-Data-Analysis
A series of labs that will help users apply various data science techniques to security related data.
Public GitHub Catalog
Discovered Oct 14, 2026
aziem / infer
A static analyzer for Java, C and Objective-C
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#37384431GitHub System ID
aziemOrganization / User
PublicVisibility
ActiveCatalog Status
More from aziem
aziem/rdr
Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis.
aziem/popl2015-papers
Accepted papers for POPL 2015
aziem/T2
T2 Temporal Prover