wang-yongpan / BinEnhanceView external linksLinks
The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search》(https://arxiv.org/abs/2411.01102)
☆30Nov 13, 2025Updated 3 months ago
Alternatives and similar repositories for BinEnhance
Users that are interested in BinEnhance are comparing it to the libraries listed below
Sorting:
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆83Dec 10, 2024Updated last year
- The code and dataset of the paper.☆15Mar 27, 2025Updated 10 months ago
- ☆21Sep 10, 2024Updated last year
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Jun 6, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Jan 26, 2026Updated 2 weeks ago
- A toolkit for conducting multiple static binary analysis based on Ghidra.☆24May 1, 2025Updated 9 months ago
- gradient-based symbolic execution engine implemented from scratch☆36Dec 16, 2023Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 4 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated 11 months ago
- ☆17Aug 31, 2023Updated 2 years ago
- ☆18Mar 18, 2024Updated last year
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 2 years ago
- Multi-granularity vulnerability detection with a novel pre-trained code model☆19Dec 15, 2025Updated 2 months ago
- The official repository for the paper "VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs".☆24Dec 9, 2025Updated 2 months ago
- An implementation for Sugyama's algorithm for displaying a layered graph.☆23Sep 21, 2025Updated 4 months ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- ☆25Aug 6, 2025Updated 6 months ago
- (NDSS 2024) Optimizing Decompiler Output with LLM☆129Sep 8, 2024Updated last year
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- This is the official repository for VulHawk.☆74Mar 28, 2023Updated 2 years ago
- ☆43Jun 14, 2022Updated 3 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated 11 months ago
- ☆22Dec 6, 2023Updated 2 years ago
- IDB parser☆22Nov 24, 2025Updated 2 months ago
- Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.☆20Apr 6, 2023Updated 2 years ago
- egui library for displaying control flow graphs using petgraph, and rust sugiyama.☆34Dec 28, 2025Updated last month
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- yara and radare2, better together☆27Jan 17, 2026Updated 3 weeks ago
- ☆70Jul 24, 2025Updated 6 months ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆63Jul 6, 2025Updated 7 months ago
- ROSA: Finding Backdoors with Fuzzing☆40Jun 30, 2025Updated 7 months ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Feb 5, 2026Updated last week
- ☆32Jan 9, 2026Updated last month
- ☆64Dec 17, 2025Updated last month
- the datasets and source code of the paper 《LibAM: An Area Matching Framework for Detecting Third-party Libraries in Binaries》☆28May 7, 2024Updated last year
- ☆39Dec 31, 2025Updated last month