Alternatives and similar repositories for bap-python

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

• angr / archr
  Target-centric program analysis.
  ☆76Updated 2 weeks ago
• HexHive / RetroWrite-Tutorial
  ☆41Updated 5 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆71Updated 8 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆60Updated 5 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆42Updated 5 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆94Updated 10 months ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 8 months ago
• Cisco-Talos / covnavi
  ☆64Updated 6 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
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆66Updated 3 years ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆48Updated 8 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆46Updated 9 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 6 years ago
• riverloopsec / hashashin
  Hashashin: A Fuzzy Matching Tool for Binary Ninja
  ☆95Updated 2 years ago
• axt / bingraphvis
  ☆45Updated 3 years ago
• moflow / moflow
  ☆125Updated 4 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆60Updated 5 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆90Updated 2 weeks ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆113Updated this week
• angr / acsac-course
  ☆50Updated 5 years ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆82Updated 7 years ago
• pietroborrello / RopMate
  ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.
  ☆27Updated 5 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆52Updated 8 years ago
• bshastry / afl-sancov
  AFL coverage tool using Clang SanitizerCoverage
  ☆37Updated 9 years ago
• gamozolabs / cookie_dough
  A fuzzing introspection tool
  ☆167Updated 5 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆77Updated 3 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆96Updated last month
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated last year