B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering, program analysis, and binary-level inspection.
☆451Jun 6, 2026Updated this week
Alternatives and similar repositories for B2R2
Users that are interested in B2R2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 4 years ago
- FunSeeker: Binary Function Identification Tool☆26Dec 23, 2023Updated 2 years ago
- A binary analysis framework☆133Dec 17, 2020Updated 5 years ago
- Inferred Model-based Fuzzer☆112Jan 22, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Sep 10, 2022Updated 3 years ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆243Nov 11, 2019Updated 6 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Aug 28, 2019Updated 6 years ago
- A fast and accurate disassembler☆750Apr 17, 2026Updated last month
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆747Apr 26, 2025Updated last year
- Ghidra Program Analysis Library☆347Jun 28, 2023Updated 2 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Mar 14, 2022Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆357Apr 28, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A powerful static binary rewriting tool☆1,119Mar 3, 2026Updated 3 months ago
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆112Oct 21, 2021Updated 4 years ago
- SymCC: efficient compiler-based symbolic execution☆868Mar 16, 2026Updated 2 months ago
- Automated static analysis tools for binary programs☆1,706May 27, 2026Updated 2 weeks ago
- Binary Analysis Platform☆2,235May 7, 2026Updated last month
- BINSEC binary-level open-source platform☆409Apr 1, 2026Updated 2 months ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,857Feb 25, 2025Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆18Jun 21, 2025Updated 11 months ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆654Nov 23, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hexrays Toolbox - Find code patterns within the Hexrays ctree☆484Jun 20, 2023Updated 2 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆349Sep 25, 2023Updated 2 years ago
- DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the D…☆838Nov 19, 2024Updated last year
- Janus: a state-of-the-art file system fuzzer on Linux☆236Dec 23, 2019Updated 6 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆230May 6, 2026Updated last month
- ☆133Oct 10, 2019Updated 6 years ago
- Git-based CTF☆63Dec 5, 2018Updated 7 years ago
- The Kam1n0 Assembly Analysis Platform☆626Mar 2, 2023Updated 3 years ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,784Apr 26, 2022Updated 4 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.
- Program analysis tools developed at Draper on the CBAT project.☆107Apr 13, 2023Updated 3 years ago
- Modular And Compositional analysis with KLEE Engine☆118Dec 17, 2019Updated 6 years ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆179Dec 15, 2023Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,343Mar 13, 2026Updated 2 months ago
- A Coverage Explorer for Reverse Engineers☆2,548Feb 14, 2026Updated 3 months ago
- HexRays ctree visualization plugin☆441Sep 6, 2024Updated last year
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆4,191May 20, 2026Updated 3 weeks ago