BinaryAnalysisPlatform / bap-bindingsLinks
C Bindings to BAP
☆16Updated 3 years ago
Alternatives and similar repositories for bap-bindings
Users that are interested in bap-bindings are comparing it to the libraries listed below
Sorting:
- The MemCAD static analyzer☆27Updated 4 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- A collection of ready to use binary analysis tools☆61Updated last year
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Updated last year
- An overlay for the OCaml Z3 binding.☆35Updated 3 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Updated 2 years ago
- BAP Plugins Repository☆58Updated 5 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- The main codex repository☆24Updated this week
- An OCaml library providing a C parser and lexer☆42Updated last year
- QUICr parametric abstract domain for sets☆12Updated 10 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 6 years ago
- The BAP tutorial☆73Updated 3 years ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- persistent-mode afl-fuzz for ocaml☆17Updated last year
- Parsifal : an OCaml-based parsing engine☆64Updated 5 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Fuzzing framework written in OCaml☆33Updated 9 years ago
- Convert C-code to OCaml Ctypes via Clang☆19Updated 6 years ago
- Tool to generate test-cases for regular expression engines☆38Updated 2 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- OCaml bindings for clang☆23Updated 7 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- Software construction and deployment kit☆36Updated 3 weeks ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated 3 months ago
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago
- Tool for checking trace equivalence for security protocols☆17Updated 5 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆214Updated last week