CMUSTRUDEL / DIRELinks
☆64Updated 3 weeks ago
Alternatives and similar repositories for DIRE
Users that are interested in DIRE are comparing it to the libraries listed below
Sorting:
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆61Updated 6 months ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- Target-centric program analysis.☆76Updated this week
- Symbolic Execution Over Processor Traces☆121Updated 10 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 6 months ago
- ☆85Updated 7 months ago
- GitHub Cloner & Compiler☆72Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- tool for multi-execution jump coverage introspection☆65Updated 4 months ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last month
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- ☆10Updated 5 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 4 months ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Updated 2 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆221Updated 5 years ago
- ☆144Updated 8 months ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆63Updated last year
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆123Updated last month
- Models and code for the paper: In Nomine Function: Naming Functions in Stripped Binaries with Neural Networks☆18Updated 4 years ago
- ☆60Updated 6 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆194Updated this week
- A collection of extensions to angr to handle new platforms☆67Updated 3 months ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago