repzret / dagger
Binary Translator to LLVM IR
☆48Updated 7 years ago
Alternatives and similar repositories for dagger:
Users that are interested in dagger are comparing it to the libraries listed below
- Library for Capstone instruction to LLVM IR translation☆45Updated 7 years ago
- A binary to LLVM translator☆145Updated 6 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆129Updated last year
- Collection of various llvm passes☆119Updated 9 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆26Updated 5 years ago
- llvm with tablegen backend for capstone disassembler☆46Updated last month
- An LLVM bitcode parsing example☆55Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆62Updated 3 years ago
- An assembler to intermediate language translator based on Qemu☆32Updated 8 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last week
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- Binary Translator to LLVM IR☆216Updated last year
- llvm crash analysis☆43Updated 8 months ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- ☆19Updated 6 years ago
- This repo contains the tests and results that were done during the research of SATURN☆38Updated 4 years ago
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆138Updated 11 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- Aarch64 architecture plugin☆85Updated last year
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Obfuscator based on logic-bombs☆65Updated 4 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- Diablo is a retargetable link-time binary rewriting framework☆76Updated 4 years ago
- Kernel-based debugger for Linux applications☆73Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago