CMUSTRUDEL / DIRE
☆62Updated last week
Alternatives and similar repositories for DIRE:
Users that are interested in DIRE are comparing it to the libraries listed below
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- ☆60Updated 3 months ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆32Updated 2 months ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- Flex 'em lexers☆39Updated 4 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆62Updated last year
- BinTuner☆62Updated 2 years ago
- Target-centric program analysis.☆73Updated this week
- ☆143Updated 5 months ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- ☆24Updated 2 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- ☆43Updated 3 years ago
- Software artifact for incremental CFG patching paper appearing in ASPLOS 21☆12Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last week
- ☆10Updated 5 years ago
- Symbolic Execution Over Processor Traces☆120Updated 7 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- GitHub Cloner & Compiler☆67Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- ☆83Updated 4 months ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Utilities for generating dynamic traces☆90Updated this week
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆61Updated 3 years ago