BinaryAnalysisPlatform/bap-tutorial external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

BinaryAnalysisPlatform/bap-tutorial

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/BinaryAnalysisPlatform/bap-tutorial)

Close

BinaryAnalysisPlatform / bap-tutorialView on GitHubMore

• External links
• Readme badge

The BAP tutorial

☆73Dec 15, 2022Updated 3 years ago

Alternatives and similar repositories for bap-tutorial

Users that are interested in bap-tutorial are comparing it to the libraries listed below

• BinaryAnalysisPlatform / bap-toolkit

  View on GitHub
  A collection of ready to use binary analysis tools
  ☆61Feb 20, 2024Updated 2 years ago
• BinaryAnalysisPlatform / bap-veri

  View on GitHub
  bil verification tool
  ☆12Jun 30, 2022Updated 3 years ago
• sangkilc / ofuzz

  View on GitHub
  Fuzzing framework written in OCaml
  ☆33Aug 23, 2016Updated 9 years ago
• BinaryAnalysisPlatform / bap

  View on GitHub
  Binary Analysis Platform
  ☆2,217Apr 30, 2025Updated 10 months ago
• amnh / ocamion

  View on GitHub
  Numerical and Combinatorial Optimization Library
  ☆19Dec 14, 2013Updated 12 years ago
• jkinder / jakstab

  View on GitHub
  The Jakstab static analysis platform for binaries
  ☆163Dec 10, 2019Updated 6 years ago
• sangkilc / ocaml-exploit

  View on GitHub
  A collection of useful functions to write an exploit in OCaml
  ☆17Oct 11, 2014Updated 11 years ago
• S2E / libcpu

  View on GitHub
  x86 Dynamic Binary Translator Library
  ☆34Dec 19, 2020Updated 5 years ago
• agustingianni / memrepl

  View on GitHub
  Memory inspection REPL interface
  ☆45Oct 14, 2017Updated 8 years ago
• draperlaboratory / cbat_tools

  View on GitHub
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Apr 13, 2023Updated 2 years ago
• superbobry / pareto

  View on GitHub
  GSL powered OCaml statistics library
  ☆40Dec 20, 2019Updated 6 years ago
• BinaryAnalysisPlatform / bap-ida-python

  View on GitHub
  integration with IDA
  ☆95May 27, 2021Updated 4 years ago
• BinaryAnalysisPlatform / bap-python

  View on GitHub
  BAP python bindings
  ☆22Dec 1, 2023Updated 2 years ago
• s3team / Amoeba

  View on GitHub
  Amoeba: Binary Code Diverisfication through Composite Software Diversification
  ☆10Aug 3, 2017Updated 8 years ago
• IagoAbal / eba

  View on GitHub
  EBA is a static bug finder for C.
  ☆15Jun 22, 2020Updated 5 years ago
• adrianherrera / reil-parser

  View on GitHub
  Haskell parser for the REIL intermediate language (currently a work-in-progress)
  ☆11Jan 12, 2018Updated 8 years ago
• jaybosamiya / fuzzing-numpy

  View on GitHub
  Experiments in trying to find 0-days in numpy
  ☆38Jul 1, 2017Updated 8 years ago
• zachriggle / functions

  View on GitHub
  Python repository containing parsed standard C library function and argument information
  ☆29Oct 3, 2018Updated 7 years ago
• SQLab / symgdb

  View on GitHub
  SymGDB - symbolic execution plugin for gdb
  ☆218May 15, 2018Updated 7 years ago
• RolfRolles / GhidraPAL

  View on GitHub
  Ghidra Program Analysis Library
  ☆347Jun 28, 2023Updated 2 years ago
• bnagy / pdflex

  View on GitHub
  Minimal and hacky PDF lexer
  ☆10Jun 17, 2015Updated 10 years ago
• grant-h / shannon_s5000

  View on GitHub
  A code skeleton of Samsung's Shannon S5000 baseband modem.
  ☆48Jan 31, 2020Updated 6 years ago
• guedou / r2m2

  View on GitHub
  radare2 + miasm2 = ♥
  ☆103Jan 22, 2020Updated 6 years ago
• sushant94 / libsmt.rs

  View on GitHub
  Rust Bindings to interact with SMTLIB2 compliant solvers
  ☆17Jun 3, 2019Updated 6 years ago
• RolfRolles / SynesthesiaYS

  View on GitHub
  Synesthesia, implemented as Yices scripts
  ☆94Jul 17, 2017Updated 8 years ago
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38May 11, 2020Updated 5 years ago
• nihilus / idatools

  View on GitHub
  Tools for IDA
  ☆13May 25, 2016Updated 9 years ago
• kamou / pimp

  View on GitHub
  Triton based R2 plugin for concolic execution and total control
  ☆33Nov 26, 2018Updated 7 years ago
• BinaryAnalysisPlatform / bap-plugins

  View on GitHub
  BAP Plugins Repository
  ☆58Nov 20, 2020Updated 5 years ago
• Brandon-Everhart / AngryIDA

  View on GitHub
  Python based angr plug in for IDA Pro.
  ☆35Feb 25, 2018Updated 8 years ago
• OpenToAllCTF / OTA-Challenge-Bot

  View on GitHub
  Slack bot for challenge management in large teams
  ☆60Dec 8, 2022Updated 3 years ago
• RolfRolles / PandemicML

  View on GitHub
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71May 28, 2019Updated 6 years ago
• monkbai / ir_lifting_data

  View on GitHub
  Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"
  ☆29Jul 29, 2022Updated 3 years ago
• ocaml-community / obus

  View on GitHub
  Pure OCaml implementation of the D-Bus protocol
  ☆34Feb 27, 2024Updated 2 years ago
• andreafioraldi / idb2gdb

  View on GitHub
  Load function names from an IDA Pro database inside GDB
  ☆21Oct 20, 2018Updated 7 years ago
• qntm / base65537

  View on GitHub
  It's one better
  ☆11Jan 1, 2026Updated 2 months ago
• a0rtega / cpufuzz

  View on GitHub
  cpufuzz is a dumb, simple and portable CPU fuzzer
  ☆11Jan 27, 2019Updated 7 years ago
• JeffJerseyCow / qemu2drcov

  View on GitHub
  QEMU to drcov trace file
  ☆12Nov 21, 2020Updated 5 years ago
• ismailbennani / websocketml

  View on GitHub
  A simple websocket library for OCaml with no dependencies
  ☆16Apr 8, 2024Updated last year