trailofbits / afc-buttercupLinks
Buttercup CRS as submitted to the AIxCC Final Competition
☆95Updated 6 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:
- LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.☆84Updated this week
- Security Harness Engineering for Robust Program Analysis☆111Updated 2 weeks ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆100Updated this week
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆66Updated 10 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆231Updated 6 months ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆116Updated this week
- ☆131Updated 5 months ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆76Updated 10 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆122Updated 3 months ago
- ☆561Updated 2 months ago
- ☆25Updated 2 years ago
- ☆171Updated 3 weeks ago
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆59Updated last year
- SAST + LLM Interprocedural Context Extractor☆178Updated 3 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆74Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆329Updated 2 months ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆80Updated 3 months ago
- ☆39Updated 7 months ago
- CodeQL queries developed by Trail of Bits☆145Updated 3 weeks ago
- CVE-Bench: A Benchmark for AI Agents’ Ability to Exploit Real-World Web Application Vulnerabilities☆146Updated 3 weeks ago
- Testability Pattern Catalogs for SAST☆31Updated 11 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆58Updated last year
- Python library for CPGQL server☆41Updated last year
- ☆34Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆67Updated 4 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆160Updated 3 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆104Updated 2 years ago
- ☆117Updated 4 months ago
- ☆134Updated last year
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆377Updated 7 months ago