mahaloz / sailr-evalView external linksLinks
The SAILR paper's evaluation pipline for measuring the quality of decompilation
☆117Nov 26, 2024Updated last year
Alternatives and similar repositories for sailr-eval
Users that are interested in sailr-eval are comparing it to the libraries listed below
Sorting:
- The Decompilation Wiki: info on all things decompilation☆238Nov 30, 2025Updated 2 months ago
- simple type recognition in decompiled executables☆119Jul 4, 2024Updated last year
- Binary Type Inference Ghidra Plugin☆168Feb 9, 2024Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆173Updated this week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 2 years ago
- ☆25May 27, 2025Updated 8 months ago
- The DREAM decompiler☆48Apr 27, 2022Updated 3 years ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆46Jun 5, 2025Updated 8 months ago
- ☆144Oct 26, 2024Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 8 months ago
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆54Sep 9, 2024Updated last year
- A frozen version of angr for the SAILR paper☆16Sep 4, 2024Updated last year
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- A reversing plugin for cross-decompiler collaboration, built on git.☆680Updated this week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 9 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆399Dec 4, 2024Updated last year
- A research decompiler implemented as a Binary Ninja plugin.☆218Jan 27, 2026Updated 2 weeks ago
- A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4, Claude, and local models supported!☆676Jan 2, 2026Updated last month
- ☆16Feb 25, 2024Updated last year
- ☆64Dec 17, 2025Updated last month
- ☆187Nov 29, 2023Updated 2 years ago
- Quarkslab Bindiffer but not only !☆219May 5, 2025Updated 9 months ago
- An awesome & curated list of binary rewriting papers☆261Apr 4, 2022Updated 3 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆36Apr 18, 2024Updated last year
- An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining☆224Dec 31, 2024Updated last year
- revng: the core repository of the rev.ng project☆1,622Feb 6, 2026Updated last week
- Slides, recordings and materials of my public presentations, talks and workshops.☆81Nov 13, 2025Updated 3 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- A fast and accurate disassembler☆739Jan 23, 2026Updated 3 weeks ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆231Jun 9, 2020Updated 5 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆18Sep 12, 2024Updated last year
- gradient-based symbolic execution engine implemented from scratch☆36Dec 16, 2023Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 8 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- ☆26Feb 9, 2023Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago