Alternatives and similar repositories for bap-python

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

• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆93Updated 9 months ago
• angr / acsac-course
  ☆50Updated 5 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• angr / archr
  Target-centric program analysis.
  ☆77Updated 2 weeks ago
• riverloopsec / hashashin
  Hashashin: A Fuzzy Matching Tool for Binary Ninja
  ☆94Updated 2 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆41Updated 5 years ago
• Cisco-Talos / covnavi
  ☆64Updated 6 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 8 years ago
• JHUAPL / ALLSTAR
  Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…
  ☆28Updated 4 years ago
• lunixbochs / bnrepl
  Run your Binary Ninja Python console in a separate Terminal window.
  ☆18Updated 7 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 8 years ago
• kc0bfv / pcode-emulator
  A PCode Emulator for Ghidra.
  ☆111Updated 4 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 3 years ago
• angr / fidget
  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  ☆46Updated 3 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆52Updated 8 years ago
• d-millar / ghidra_pcode_scripts
  a few Ghidra scripts for dumping PCode data
  ☆50Updated 6 years ago
• moflow / moflow
  ☆125Updated 4 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated 2 months ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated last year
• octopus-platform / bjoern
  Binary analysis platform based on Octopus and Radare2
  ☆78Updated 9 years ago
• axt / bingraphvis
  ☆45Updated 3 years ago
• andreafioraldi / r2angrdbg
  Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
  ☆34Updated 6 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆76Updated 3 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆64Updated 3 years ago
• HexHive / RetroWrite-Tutorial
  ☆40Updated 5 years ago
• andreafioraldi / angrdbg
  Abstract library to generate angr states from a debugger state
  ☆61Updated 5 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 6 years ago
• HexHive / HexType
  HexType: Efficient Detection of Type Confusion Errors for C++
  ☆103Updated last year
• cetfor / PaperMachete
  A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
  ☆58Updated 6 years ago