manjeetdahiya/pyelftools
Pure-python library for parsing ELF and DWARF
OCaml bindings for STP
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
FuzzBALL: Vine-based Binary Symbolic Execution
Simple Theorem Prover.
Miscellaneous small projects