purseclab / D-helixLinks
a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
☆16Updated 8 months ago
Alternatives and similar repositories for D-helix
Users that are interested in D-helix are comparing it to the libraries listed below
Sorting:
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆95Updated last month
- A data-flow-guided fuzzer☆120Updated last year
- ☆23Updated 8 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆20Updated last week
- Symbolic Execution Over Processor Traces☆121Updated 9 months ago
- A framework to test the correctness of the Linux kernel patch.☆22Updated last year
- ☆34Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- ☆34Updated 4 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆60Updated 6 months ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆38Updated last year
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆58Updated last year