CMUSTRUDEL / DIRTY
DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types
☆164Updated last year
Related projects: ⓘ
- Python 3 bridge to Ghidra's Python scripting☆338Updated last year
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆161Updated 3 months ago
- symbolic execution plugin for binary ninja☆246Updated 6 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆171Updated 2 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆518Updated this week
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆178Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆175Updated this week
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆280Updated 4 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆207Updated 4 years ago
- Open-source symbolic execution framework: https://maat.re☆610Updated 2 weeks ago
- Code and resources for the paper: "Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs"☆185Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆94Updated 2 weeks ago
- ☆303Updated 3 months ago
- ☆80Updated 8 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆317Updated last month
- The Decompilation Wiki: info on all things decompilation☆124Updated last month
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆580Updated 4 months ago
- Binary Type Inference Ghidra Plugin☆138Updated 7 months ago
- PASTIS: Collaborative Fuzzing Framework☆156Updated last month
- A collection of resources/tools and analyses for the angr binary analysis framework.☆157Updated 2 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆565Updated last week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆435Updated last month
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆249Updated 8 months ago
- ☆125Updated 2 weeks ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆268Updated 2 months ago
- Ghidra Extension to integrate BinDiff for function matching☆255Updated this week
- Intermediate Representation for Binary analysis and transformation☆305Updated 3 weeks ago
- An awesome & curated list of binary rewriting papers☆215Updated 2 years ago
- Generates `.pyi` type stubs for the entire Ghidra API☆144Updated 2 months ago
- A tool that automatically creates fuzzing harnesses based on a library☆280Updated 2 years ago