OSUSecLab / SymLM
Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings"
☆51Updated last year
Related projects ⓘ
Alternatives and complementary repositories for SymLM
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆78Updated this week
- Full implementaion of Genius☆30Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆37Updated 11 months ago
- ☆36Updated 8 months ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- ☆60Updated last year
- This is the official repository for VulHawk.☆65Updated last year
- Supplementary Material for XFL☆15Updated last month
- Code for the paper "A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries"☆12Updated 3 years ago
- cinspector - a static C source code analysis framework☆21Updated 5 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- ☆81Updated 2 weeks ago
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆47Updated 2 months ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆134Updated 11 months ago
- ☆45Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- ☆68Updated 4 months 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
- ☆44Updated 2 years ago
- A data-flow-guided fuzzer☆111Updated last year
- ☆33Updated 2 years ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆25Updated 6 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆115Updated 2 years ago
- ☆25Updated last year
- angr's exploration technique to perform taint analysis☆52Updated 4 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- ☆91Updated last month
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆22Updated 11 months ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆32Updated last month