chubbymaggie/pyCAF
Configuration security audit framework
Public GitHub Catalog
Discovered Oct 12, 2026
chubbymaggie / Triton
Concolic execution framework based on Pin. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instruction into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automated reverse engineering.
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.
#36848317GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/honggfuzz
A general-purpose, easy-to-use fuzzer with interesting analysis options. Supports feedback-driven code coverage modes.
chubbymaggie/droidel
Framework model for static analysis of Android
chubbymaggie/DFENCE
Dynamic Analysis and Synthesis System for Relaxed Memory Models