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 11 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☆39Updated this week
- A toolkit for conducting multiple static binary analysis based on Ghidra.☆24May 1, 2025Updated 10 months ago
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- gradient-based symbolic execution engine implemented from scratch☆37Dec 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 5 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated last year
- ☆18Mar 18, 2024Updated last year
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- 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".☆23Dec 9, 2025Updated 2 months ago
- An implementation for Sugyama's algorithm for displaying a layered graph.☆24Sep 21, 2025Updated 5 months ago
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- ☆25Aug 6, 2025Updated 7 months ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years 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
- ☆43Jun 14, 2022Updated 3 years ago
- IDB parser☆23Nov 24, 2025Updated 3 months ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- ☆22Dec 6, 2023Updated 2 years ago
- This is the official repository for VulHawk.☆74Mar 28, 2023Updated 2 years ago
- Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.☆20Apr 6, 2023Updated 2 years ago
- yara and radare2, better together☆27Mar 2, 2026Updated last week
- 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
- breaking decompilers☆56May 9, 2025Updated 10 months ago
- egui library for displaying control flow graphs using petgraph, and rust sugiyama.☆35Dec 28, 2025Updated 2 months ago
- ☆71Jul 24, 2025Updated 7 months ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆63Jul 6, 2025Updated 8 months ago
- Get statically linked utilities☆21Aug 16, 2022Updated 3 years ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- ☆32Feb 26, 2026Updated last week