purseclab / DnD
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
☆75Updated last month
Alternatives and similar repositories for DnD:
Users that are interested in DnD are comparing it to the libraries listed below
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- ☆95Updated 3 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated this week
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆83Updated 3 weeks ago
- ☆81Updated 2 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆38Updated last year
- ☆39Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆16Updated last year
- Symbolic Execution Over Processor Traces☆119Updated 5 months ago
- ☆60Updated last month
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆56Updated last year
- An unofficial implementation of asm2vec as a standalone python package☆161Updated 4 years ago
- ☆44Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- This is the official repository for VulHawk.☆68Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated 2 years ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆24Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆60Updated last month
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- ☆24Updated 2 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆71Updated last month
- JIGSAW is a fuzzing-based path constraint solver.☆70Updated 7 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 8 months ago
- ☆136Updated 3 months ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆19Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆37Updated 3 years ago