aziem/simuvex
A symbolic execution engine for the VEX IR
Public GitHub Catalog
Discovered Oct 3, 2026
aziem / popl2015-papers
Accepted papers for POPL 2015
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.
#26799955GitHub System ID
aziemOrganization / User
PublicVisibility
ActiveCatalog Status
More from aziem
aziem/Security-Data-Analysis
A series of labs that will help users apply various data science techniques to security related data.
aziem/rdr
Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis.
aziem/infer
A static analyzer for Java, C and Objective-C