cla7aye15I4nd / PatchAgentLinks
[USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.
☆46Updated this week
Alternatives and similar repositories for PatchAgent
Users that are interested in PatchAgent are comparing it to the libraries listed below
Sorting:
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated 11 months ago
- Automatic checker synthesis for system-level static analysis☆20Updated 3 weeks ago
- CovRL-Fuzz: Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation☆27Updated 7 months ago
- CLAP(Contrastive Language-Assembly Pre-training) learns transferable binary code representations with natural language supervision☆60Updated 8 months ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆20Updated this week
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆55Updated 4 months ago
- 20 benchmark programs☆47Updated 4 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- ☆36Updated this week
- Lifting network implementation to precise format specification☆24Updated 2 months ago
- ☆18Updated 10 months ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆40Updated last year
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆38Updated 9 months ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆94Updated last year
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- ☆36Updated last year
- ☆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…☆33Updated 3 months ago
- Offical Implementation for PalmTree☆143Updated last year
- ☆23Updated 9 months ago
- Bug detection framework for finding Finger tracable bugs in Linux☆21Updated 3 months ago
- ☆88Updated 2 months ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆15Updated last month
- A browser extension that enhance your paper writting with ChatGPT☆27Updated last year
- ☆63Updated this week
- Modified qemu for binary-only kernel tracing, address sanitizer and so on☆19Updated 4 months ago
- Code for tracelet-level symbolic execution☆18Updated 2 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆14Updated 2 years ago
- ☆47Updated 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 …☆54Updated last year