CMUSTRUDEL / DIRE
☆62Updated 6 months ago
Alternatives and similar repositories for DIRE:
Users that are interested in DIRE are comparing it to the libraries listed below
- Neural Variable Renaming for Decompiled Binaries☆44Updated 4 years ago
- ☆60Updated 2 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- tool for multi-execution jump coverage introspection☆63Updated 3 weeks ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 3 weeks ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆83Updated last month
- Symbolic Execution Over Processor Traces☆119Updated 6 months ago
- GitHub Cloner & Compiler☆61Updated 3 years ago
- Target-centric program analysis.☆73Updated this week
- Flex 'em lexers☆39Updated 4 years ago
- ☆43Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 2 months ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated 3 weeks ago
- Utilities for generating dynamic traces☆90Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆59Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- AFL bindings for Unicorn-Engine☆71Updated last month
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 9 months ago
- BinTuner☆62Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Updated 2 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆103Updated 2 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- AIL: The angr Intermediate Language.☆31Updated last week
- ☆96Updated 5 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆89Updated last year