manjeetdahiya/pyelftools
Pure-python library for parsing ELF and DWARF
FuzzBALL: Vine-based Binary Symbolic Execution
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Pure-python library for parsing ELF and DWARF
OCaml bindings for STP
Simple Theorem Prover.
Miscellaneous small projects