trailofbits / afc-buttercupLinks
Buttercup CRS as submitted to the AIxCC Final Competition
☆82Updated 2 months ago
Alternatives and similar repositories for afc-buttercup
Users that are interested in afc-buttercup are comparing it to the libraries listed below
Sorting:
- Security Harness Engineering for Robust Program Analysis☆94Updated last month
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆45Updated last week
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆89Updated 5 months ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆64Updated 6 months ago
- ☆33Updated 3 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆166Updated 2 months ago
- Python library for CPGQL server☆33Updated last year
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆58Updated last year
- ☆25Updated last year
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆64Updated 6 months ago
- ☆417Updated this week
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- ☆17Updated last month
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆96Updated 2 months ago
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆41Updated 2 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago
- ☆79Updated last month
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆57Updated 5 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆234Updated this week
- A neurosymbolic framework for vulnerability detection in code☆242Updated this week
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆70Updated 2 weeks ago
- Parsing-based Analyzer☆51Updated 4 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆95Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆64Updated 4 years ago
- A GPT-Based Fuzz Driver Generator☆48Updated last year
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- ☆115Updated last month
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆353Updated 3 months ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆74Updated 2 months ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆169Updated 2 years ago