trailofbits / afc-buttercupView external linksLinks
Buttercup CRS as submitted to the AIxCC Final Competition
☆95Jul 14, 2025Updated 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:
- Official Implementation of implicit reference attack☆11Oct 16, 2024Updated last year
- LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.☆84Updated this week
- Public Source code Release of Theori's AIxCC AFC Submission☆231Aug 5, 2025Updated 6 months ago
- ☆131Aug 27, 2025Updated 5 months ago
- ☆561Nov 25, 2025Updated 2 months ago
- ☆15Mar 19, 2022Updated 3 years ago
- ☆12Aug 8, 2019Updated 6 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- CFG and scripts for fuzzing the PHP interpreter with Domato☆28Jan 4, 2020Updated 6 years ago
- afl/afl++ with a hierarchical seed scheduler☆56Feb 19, 2022Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Human-In-The-Loop Automatic Program Repair☆19Dec 18, 2019Updated 6 years ago
- ☆24Nov 17, 2025Updated 2 months ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- Mini-program Cross Page Request Forgery (MiniCPRF) Analysis Tool.☆18Oct 30, 2024Updated last year
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- ☆17Sep 4, 2024Updated last year
- Revisiting Character-level Adversarial Attacks for Language Models, ICML 2024☆18Feb 12, 2025Updated last year
- CyberBench: A Multi-Task Cyber LLM Benchmark☆30Apr 29, 2025Updated 9 months ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆19Sep 18, 2020Updated 5 years 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…☆59Apr 3, 2024Updated last year
- Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)☆61Apr 16, 2025Updated 9 months ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 2 years ago
- Rust语言安全相关分析☆23Jan 20, 2022Updated 4 years ago
- ☆28Oct 4, 2021Updated 4 years ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆135Feb 5, 2025Updated last year
- ☆31Oct 14, 2025Updated 3 months ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- Security Harness Engineering for Robust Program Analysis☆111Jan 23, 2026Updated 3 weeks ago
- Piotr - IoT firmware emulation instrumentation for training and research☆65Nov 16, 2022Updated 3 years ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆377Jun 30, 2025Updated 7 months ago
- Presented hardware reverse engineering workshops since 2019☆61Aug 8, 2024Updated last year
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆57May 4, 2019Updated 6 years ago
- Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing☆33Mar 25, 2021Updated 4 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- ☆30Oct 25, 2021Updated 4 years ago