Buttercup CRS as submitted to the AIxCC Final Competition
☆97Jul 14, 2025Updated 7 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.☆89Feb 23, 2026Updated last week
- Public Source code Release of Theori's AIxCC AFC Submission☆237Aug 5, 2025Updated 7 months ago
- ☆131Aug 27, 2025Updated 6 months ago
- ☆15Mar 19, 2022Updated 3 years ago
- ☆12Aug 8, 2019Updated 6 years ago
- ☆570Nov 25, 2025Updated 3 months ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- 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 4 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
- Mini-program Cross Page Request Forgery (MiniCPRF) Analysis Tool.☆18Oct 30, 2024Updated last year
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- ☆24Nov 17, 2025Updated 3 months ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- ☆17Sep 4, 2024Updated last year
- Revisiting Character-level Adversarial Attacks for Language Models, ICML 2024☆19Feb 12, 2025Updated last year
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- CyberBench: A Multi-Task Cyber LLM Benchmark☆30Apr 29, 2025Updated 10 months 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
- ☆45Apr 8, 2020Updated 5 years ago
- Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)☆61Apr 16, 2025Updated 10 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 3 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☆137Feb 5, 2025Updated last year
- ☆25Feb 6, 2024Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Feb 28, 2022Updated 4 years ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- ☆31Oct 14, 2025Updated 4 months ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- Security Harness Engineering for Robust Program Analysis☆112Jan 23, 2026Updated last month
- Piotr - IoT firmware emulation instrumentation for training and research☆65Nov 16, 2022Updated 3 years ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆379Jun 30, 2025Updated 8 months ago
- Repository for PrimeVul Vulnerability Detection Dataset☆221Sep 7, 2024Updated last year
- [NeurIPS 2024] Accelerating Greedy Coordinate Gradient and General Prompt Optimization via Probe Sampling☆34Nov 8, 2024Updated last year