GrammaTech / ddisasm
A fast and accurate disassembler
☆690Updated last month
Alternatives and similar repositories for ddisasm:
Users that are interested in ddisasm are comparing it to the libraries listed below
- A powerful static binary rewriting tool☆1,014Updated 2 months ago
- Intermediate Representation for Binary analysis and transformation☆326Updated 2 weeks ago
- Rellic produces goto-free C output from LLVM bitcode☆554Updated 6 months ago
- A lightweight dynamic instrumentation library☆1,216Updated 3 months ago
- Library for lifting machine code to LLVM bitcode☆1,365Updated 8 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 6 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆701Updated 10 months ago
- SymCC: efficient compiler-based symbolic execution☆798Updated 2 weeks ago
- CLE Loads Everything (at least, many binary formats!)☆437Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆556Updated 2 weeks ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆461Updated 3 months ago
- A fuzzer for full VM kernel/driver targets☆683Updated 2 weeks ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,758Updated last month
- revng: the core repository of the rev.ng project☆1,421Updated this week
- Lift machine code to performant LLVM IR☆419Updated 9 months ago
- The fastest Intel-PT decoder for fuzzing☆368Updated last year
- llvm-mctoll☆837Updated 9 months ago
- Use angr in Ghidra☆575Updated 7 months ago
- Automated static analysis tools for binary programs☆1,586Updated 3 weeks ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆825Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆342Updated 4 months ago
- A tool for matching and diffing source codes directly against binaries.☆642Updated 2 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆218Updated 4 years ago
- An Interactive Hex-Rays Microcode Explorer☆570Updated last year
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,536Updated 6 months ago
- symbolic execution plugin for binary ninja☆313Updated last year
- Open-source symbolic execution framework: https://maat.re☆630Updated 6 months ago
- IDAPython tool for creating automatic C++ virtual tables in IDA Pro☆1,307Updated 3 years ago
- The official angr GUI.☆964Updated this week
- IDAPython Made Easy☆657Updated last month