trailofbits / afc-buttercupLinks
Buttercup CRS as submitted to the AIxCC Final Competition
☆89Updated 4 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☆102Updated 2 months ago
- ☆466Updated last week
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆90Updated 7 months ago
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆57Updated 2 weeks ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆65Updated 7 months ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆90Updated last month
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆102Updated 3 weeks ago
- ☆25Updated last year
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆69Updated 7 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆185Updated 3 months ago
- ☆36Updated 4 months ago
- ☆120Updated 2 months ago
- Python library for CPGQL server☆37Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆268Updated this week
- 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
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆60Updated last week
- A neurosymbolic framework for vulnerability detection in code☆263Updated 2 weeks ago
- SAST + LLM Interprocedural Context Extractor☆139Updated 3 weeks ago
- CVE-Bench: A Benchmark for AI Agents’ Ability to Exploit Real-World Web Application Vulnerabilities☆113Updated last week
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- ☆86Updated 3 weeks ago
- Witcher is the first framework for using AFL to fuzz web applications.☆102Updated last year
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆360Updated 4 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- ☆18Updated 2 months ago
- ☆133Updated last year
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆63Updated 6 months ago
- CodeQL queries developed by Trail of Bits☆135Updated last month
- Testability Pattern Catalogs for SAST☆31Updated 9 months ago
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆42Updated 2 years ago