☆14Apr 20, 2020Updated 6 years ago
Alternatives and similar repositories for bap-rust
Users that are interested in bap-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Some Rust bindings for Binary Ninja☆30Oct 4, 2023Updated 3 years ago
- low-level Capstone system bindings for Rust☆13Feb 15, 2019Updated 7 years ago
- ☆17Jul 6, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sample set minimization tool☆16Feb 21, 2017Updated 9 years ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- A Rust crate implementing the GDB Remote Serial Protocol☆33Jan 10, 2021Updated 5 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- A Rust hashconsing library.☆39Oct 8, 2026Updated 3 weeks ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 7 years ago
- Binary Ninja Plugin for devi - see https://github.com/murx-/devi/ for devi details☆20Jan 17, 2024Updated 2 years ago
- Symbolic Execution over Falcon IL☆31Mar 13, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Updated this week
- ☆40May 23, 2026Updated 5 months ago
- realtime cross-tool collaborative reverse engineering☆100Nov 30, 2022Updated 3 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 10 months ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 3 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- Binary Ninja Function Annotator☆40Feb 20, 2019Updated 7 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- A debugger backend and LUA wrapper for PIN☆33Nov 6, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆23Apr 10, 2020Updated 6 years ago
- High-level Capstone system bindings for Rust☆287Sep 26, 2026Updated last month
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 8 years ago
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated last year
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 years ago
- Recent Fuzzing Paper☆37Jul 25, 2023Updated 3 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- covFuzz☆34Jun 8, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Cumulative cyclomatic complexity calculation for Ghidra☆20Jul 11, 2026Updated 3 months ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Feb 15, 2023Updated 3 years ago
- ☆17Aug 31, 2023Updated 3 years ago
- Stack String Explorer is a ghidra plugin to find and report stack strings (and other constant strings). Identified strings are commented …☆28Aug 20, 2024Updated 2 years ago
- An example of using DTLS in Tokio☆17Aug 24, 2018Updated 8 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated last year
- Determine which CPU architecture is used in a binary file.☆131Apr 22, 2026Updated 6 months ago