Alternatives and similar repositories for mambo:

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

• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆254Updated 9 months ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆216Updated last year
• abenkhadra / llvm-pass-tutorial
  A step-by-step tutorial for building an LLVM sample pass
  ☆215Updated 4 years ago
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆461Updated 3 months ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆346Updated 2 years ago
• microsoft / llvm-mctoll
  llvm-mctoll
  ☆837Updated 9 months ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆138Updated 4 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆258Updated last year
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆349Updated 6 months ago
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆554Updated 6 months ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 8 years ago
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆326Updated last week
• SideChannelMarvels / Tracer
  Set of Dynamic Binary Instrumentation and visualization tools for execution traces.
  ☆311Updated 7 months ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆303Updated 6 years ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆798Updated 2 weeks ago
• Comsecuris / luaqemu
  QEMU-based framework exposing several of QEMU-internal APIs to a LuaJIT core injected into QEMU itself. Among other things, this allows f…
  ☆148Updated 6 years ago
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆675Updated 2 months ago
• aengelke / rellume
  Lift machine code to performant LLVM IR
  ☆419Updated 9 months ago
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆199Updated 2 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆140Updated 5 years ago
• Fare9 / KUNAI-static-analyzer
  Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
  ☆138Updated 11 months ago
• hwangcc23 / ptm2human
  ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…
  ☆53Updated last month
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆342Updated 4 months ago
• dyninst / dyninst
  DyninstAPI: Tools for binary instrumentation, analysis, and modification.
  ☆766Updated this week
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆129Updated last year
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆180Updated last year
• columbia / egalito
  Self-hosting binary instrumentation framework for security research
  ☆212Updated last year
• nyx-fuzz / libxdc
  The fastest Intel-PT decoder for fuzzing
  ☆368Updated last year
• sciencemanx / dress
  add symbols back into a stripped ELF binary (~strip)
  ☆170Updated 7 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 2 years ago