Alternatives and similar repositories for framework

Users that are interested in framework are comparing it to the libraries listed below

• LL-MM / approxis-groundtruth
  ☆31Updated 5 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 9 years ago
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆31Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• Vector35 / function_detection_test_suite
  suite of binaries used to test function identification
  ☆29Updated 7 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38Updated 5 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• renorobert / slatmmu
  ☆11Updated 5 years ago
• Vector35 / sigkit
  Function signature matching and signature generation plugin for Binary Ninja
  ☆75Updated 11 months ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated last week
• williballenthin / siglib
  function identification signatures
  ☆12Updated 4 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆66Updated 6 years ago
• csl-ugent / diablo
  Diablo is a retargetable link-time binary rewriting framework
  ☆79Updated 4 years ago
• software-engineering-and-security / inspector-gadget
  Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…
  ☆25Updated 5 years ago
• alexander-hanel / capstool
  ☆20Updated 9 months ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆17Updated 3 weeks ago
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆30Updated 7 years ago
• Inception-framework / translator
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Updated 2 years ago
• mrphrazer / ghidra_scripts
  Ghidra RE scripts
  ☆38Updated 4 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 5 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 5 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• schieb / ELFManip
  Modify ELF executables
  ☆16Updated 6 years ago
• dshikashio / idarest
  Expose some basic IDA Pro interactions through a REST API for JSONP
  ☆21Updated 10 years ago