Alternatives and similar repositories for bap-frames

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

• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 5 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated 2 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• AghilesAzzoug / Genetic-x86
  A python script that creates an X86 assembly code for memcpy using genetic algorithms.
  ☆10Updated 5 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 11 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated 2 months ago
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated 5 months ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 6 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 5 years ago
• MohamadMansouri / funcDiffEval
  Evaluating function diffing existing techniques
  ☆12Updated 6 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆18Updated 4 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• groundx / monocerus
  Monocerus emulator framework
  ☆11Updated 6 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 4 months ago
• kirasys / unicorn-fuzzer
  expansion of afl-unicorn using c++
  ☆28Updated 5 years ago
• bbsecxyz / EFI_Backdoor
  ☆17Updated 6 years ago
• Brandon-Everhart / AngryIDA
  Python based angr plug in for IDA Pro.
  ☆35Updated 7 years ago
• keyboardsmoke / asm-trainer
  A tool that allows you to assemble and emulate assembly in multiple archs for learning purposes
  ☆13Updated 6 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆60Updated last year