aziem/simuvex
A symbolic execution engine for the VEX IR
Public GitHub Catalog
Discovered Oct 2, 2026
aziem / llvm-nwa
LLVM pass that outputs an NWA CFG
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.
#25712117GitHub 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