A collection of ready to use binary analysis tools
☆61Feb 20, 2024Updated 2 years ago
Alternatives and similar repositories for bap-toolkit
Users that are interested in bap-toolkit are comparing it to the libraries listed below
Sorting:
- BAP Plugins Repository☆58Nov 20, 2020Updated 5 years ago
- The BAP tutorial☆73Dec 15, 2022Updated 3 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- C Bindings to BAP☆16Jul 13, 2022Updated 3 years ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- BAP python bindings☆22Dec 1, 2023Updated 2 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- Binary Analysis Platform☆2,211Apr 30, 2025Updated 10 months ago
- Bisector tree implementation in OCaml☆25Apr 17, 2024Updated last year
- Convert C-code to OCaml Ctypes via Clang☆19Apr 15, 2019Updated 6 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated 10 months ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Code using GADT☆39Apr 5, 2021Updated 4 years ago
- An OCaml library for describing Protobuf messages☆30Feb 4, 2021Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- cwe_checker finds vulnerable patterns in binary executables☆1,322Apr 10, 2025Updated 10 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 5 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 5 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month
- opam plugin to automatically populate opam file at install command☆10Mar 7, 2024Updated last year
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆47Jan 31, 2020Updated 6 years ago
- DKIM support on e-mail☆11Feb 5, 2026Updated 3 weeks ago
- Revamp ocaml-manual☆10Oct 18, 2020Updated 5 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- ☆12Mar 15, 2021Updated 4 years ago
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago