Viewer-HX / BinProv
☆8Updated last year
Related projects ⓘ
Alternatives and complementary repositories for BinProv
- ☆19Updated 2 months ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆25Updated 6 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 5 months ago
- Full implementaion of Genius☆30Updated last year
- ☆15Updated 3 years ago
- ☆22Updated last year
- This is the official repository for VulHawk.☆65Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆36Updated 10 months ago
- ☆59Updated last year
- ☆90Updated 3 weeks ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆51Updated last year
- Codee☆17Updated 3 years ago
- ☆44Updated 2 years ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆22Updated 10 months ago
- ☆31Updated 3 years ago
- ☆24Updated last year
- Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection☆68Updated last year
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated 11 months ago
- ☆33Updated 2 years ago
- ☆48Updated 4 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆20Updated 7 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- ☆36Updated 8 months ago
- User Guided API Misuse Detection☆27Updated last year
- The scalable bug search for binaries☆66Updated 7 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆36Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Supplementary Material for XFL☆15Updated last month
- The dataset used in the experiments for Esh (http://binsim.com)☆20Updated 8 years ago
- B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder …☆54Updated 5 years ago