Program analysis tools developed at Draper on the CBAT project.
☆106Apr 13, 2023Updated 2 years ago
Alternatives and similar repositories for cbat_tools
Users that are interested in cbat_tools are comparing it to the libraries listed below
Sorting:
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- BAP Plugins Repository☆58Nov 20, 2020Updated 5 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- A collection of ready to use binary analysis tools☆61Feb 20, 2024Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Open source binary analysis tools.☆248Jan 30, 2026Updated last month
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- BINSEC binary-level open-source platform☆396Jan 7, 2026Updated last month
- Binary Analysis Platform☆2,214Apr 30, 2025Updated 10 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Oct 28, 2021Updated 4 years ago
- cwe_checker finds vulnerable patterns in binary executables☆1,324Apr 10, 2025Updated 10 months ago
- Ghidra Program Analysis Library☆346Jun 28, 2023Updated 2 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- A fast and accurate disassembler☆739Jan 23, 2026Updated last month
- Interesting papers☆11Jun 22, 2024Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆33Feb 15, 2022Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- SymCC: efficient compiler-based symbolic execution☆856May 12, 2025Updated 9 months ago
- Experimental translation of llvm to smt.☆58Apr 8, 2020Updated 5 years ago
- The BAP tutorial☆73Dec 15, 2022Updated 3 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- Binary Analysis Framework in Rust☆582Jan 22, 2024Updated 2 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆334Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 5 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- ☆13Jun 20, 2022Updated 3 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- An extension to load Ghidra scripts written in Scala☆30Feb 11, 2026Updated 3 weeks ago
- ☆45Apr 12, 2022Updated 3 years ago