beehive-lab / mambo
A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).
☆324Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for mambo
- A high performance LLVM-based dynamic binary instrumentation framework☆246Updated 5 months ago
- Binary Translator to LLVM IR☆215Updated last year
- A step-by-step tutorial for building an LLVM sample pass☆213Updated 4 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 6 years ago
- llvm-mctoll☆816Updated 4 months ago
- Intermediate Representation for Binary analysis and transformation☆310Updated 2 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆451Updated 3 weeks ago
- Simple Intel CPU processor tracing on Linux☆344Updated last year
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆135Updated 3 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 2 months ago
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆50Updated 2 years ago
- Lift machine code to performant LLVM IR☆391Updated 5 months ago
- Set of Dynamic Binary Instrumentation and visualization tools for execution traces.☆299Updated 3 months ago
- IDA processor module for the hexagon (QDSP6) processor☆223Updated last year
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- libipt - an Intel(R) Processor Trace decoder library☆666Updated 3 weeks ago
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- Buffer overflow testbed, research paper published at ACSAC 2011☆89Updated 7 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆122Updated 4 years ago
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- Pintool example and PoC for dynamic binary analysis☆580Updated 2 years ago
- ☆55Updated 2 years ago
- A static binary rewriter that does not use heuristics☆298Updated 6 years ago
- An LLVM sanitizer tutorial☆197Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- an architecture-independent decompiler to LLVM IR☆385Updated 9 years ago
- An easy guide to Clang Static Analyzer extension.☆138Updated 4 years ago
- ☆100Updated 5 years ago