ZehMatt / CovCane
Experimental dynamic binary instrumentation
☆13Updated 4 years ago
Related projects: ⓘ
- A library for dynamic binary rewriting☆57Updated 3 years ago
- RISC-V Disassembler☆18Updated 4 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆22Updated last year
- Extracting high level semantic information from binary code☆62Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Binary Deobfuscation Series☆20Updated 4 years ago
- Library for reading IDA Pro databases.☆25Updated 3 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆32Updated 6 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆17Updated 6 years ago
- Dr. Disassembler☆35Updated 2 years ago
- An optimizing decompiler (modified to use remill semantics)☆30Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆47Updated 3 weeks ago
- Generating binary modules with zasm☆13Updated 2 years ago
- ☆37Updated 3 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆30Updated 2 years ago
- Turn an interpreter into a code generator☆29Updated 8 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆30Updated 5 months ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆13Updated last year
- IDA Plugin - GraphSlick☆20Updated 5 years ago
- TracerX Symbolic Virtual Machine☆31Updated last week
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Manipulate C-family ASTs with Clang☆64Updated 5 years ago
- ☆29Updated 3 years ago
- Personal curation of Clang/LLVM patches.☆12Updated 3 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Utility for dumping all the information Capstone has on given instructions.☆24Updated 2 years ago
- Diablo is a retargetable link-time binary rewriting framework☆73Updated 3 years ago
- pydemangler is a Python3 package for demangling MSVC & Itanium C++ symbols☆23Updated 7 months ago