wang-yongpan / BinEnhanceLinks
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)
☆26Updated 2 months ago
Alternatives and similar repositories for BinEnhance
Users that are interested in BinEnhance are comparing it to the libraries listed below
Sorting:
- A toolkit for conducting multiple static binary analysis based on Ghidra.☆22Updated 4 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆107Updated 4 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆109Updated 3 weeks ago
- Symbolic Execution Over Processor Traces☆122Updated last year
- ☆61Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆30Updated 4 years ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆58Updated last month
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆35Updated 3 months ago
- GitHub Cloner & Compiler☆72Updated 3 years ago
- ☆50Updated 3 months ago
- ☆102Updated 10 months ago
- Binary Code Similarity Analysis (BCSA) Tool☆123Updated 3 months ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆19Updated last year
- ☆85Updated 10 months ago
- Full implementaion of Genius☆32Updated 2 years ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆161Updated last year
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Updated 2 years ago
- ☆31Updated 2 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago
- ☆25Updated 2 years ago
- ☆29Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- A data-flow-guided fuzzer☆122Updated 2 years ago
- ☆79Updated 2 weeks ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- ☆25Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆54Updated 9 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆10Updated 4 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago