Binary Analysis Platform
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
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.
"Just Another ReVersIng Suite" or whatever other bullshit you can think of
A pure-python fully automated and unattended fuzzing framework.
The IDA Toolbag is a plugin providing supplemental functionality to Hex-Rays IDA Pro disassembler.