ecnusse / BinPRE
☆27Updated 5 months ago
Alternatives and similar repositories for BinPRE:
Users that are interested in BinPRE are comparing it to the libraries listed below
- Defect Library for LLM-enabled Software☆10Updated 3 weeks ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆69Updated 8 months ago
- Property-based Testing for Mobile GUI Apps☆58Updated last week
- ☆80Updated last year
- ☆37Updated last year
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆67Updated 4 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆93Updated 2 months ago
- tool of llm-based indirect-call analyzer☆18Updated last month
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆56Updated 4 months ago
- Learning and Teaching Software Analysis and Verification via SVF☆23Updated 11 months ago
- ☆10Updated 2 years ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆24Updated 3 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆68Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆30Updated last month
- Mobile App Analysis and Testing Literature☆87Updated last month
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆52Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆35Updated 6 months ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆253Updated last month
- ☆92Updated last year
- ☆34Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated last week
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆89Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆49Updated last month
- Software Security Analysis Course☆57Updated last month
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆325Updated 6 months ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆230Updated 8 months ago
- ☆68Updated 9 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Program Vulnerability Repair via Inductive Inference☆19Updated last year