ecnusse / BinPRE
☆24Updated 3 months ago
Alternatives and similar repositories for BinPRE:
Users that are interested in BinPRE are comparing it to the libraries listed below
- Mobile App Analysis and Testing Literature☆75Updated 3 months ago
- Property-based Testing for Mobile GUI Apps☆47Updated this week
- ☆36Updated last year
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆65Updated 6 months ago
- ☆79Updated last year
- ☆22Updated 2 years ago
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆65Updated 2 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆23Updated 5 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆28Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆59Updated 10 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- A lightweight HarmonyOS NEXT app tester.☆23Updated last month
- ☆91Updated last year
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆115Updated last year
- ☆74Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆49Updated 2 months ago
- ☆76Updated 2 years ago
- ☆25Updated last year
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 8 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆42Updated last year
- Two-Level Collaborative Fuzzing for Python Runtimes☆15Updated last year
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆44Updated 11 months ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆229Updated 5 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆126Updated 2 months ago
- A continuously updated collection of CodeLLM papers☆272Updated last week
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆19Updated last year
- A deep learning model for localizing bugs in C/C++ source code (USENIX'23)☆142Updated last year