Viewer-HX / BinProv
☆8Updated 2 years ago
Alternatives and similar repositories for BinProv:
Users that are interested in BinProv are comparing it to the libraries listed below
- ☆21Updated 7 months ago
- This is the official repository for VulHawk.☆69Updated 2 years ago
- ☆44Updated 2 years ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆25Updated last year
- This is a deep learning dataset for cross-version binary code similarity detection.☆27Updated 6 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆38Updated last year
- ☆22Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆32Updated 2 months ago
- ☆60Updated last year
- ☆24Updated 2 years ago
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆57Updated last year
- Full implementaion of Genius☆31Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆34Updated 2 years ago
- Codee☆17Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- ☆96Updated 5 months ago
- ☆15Updated 4 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆20Updated last year
- Recent Paper About Bug Detection☆31Updated 5 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Updated 8 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- The scalable bug search for binaries☆68Updated 8 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆86Updated 2 months ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- ☆41Updated last year
- ☆34Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago