Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
☆36Dec 4, 2025Updated 3 months ago
Alternatives and similar repositories for cottontail
Users that are interested in cottontail are comparing it to the libraries listed below
Sorting:
- Resources accompanying the LibAFL workshop blog post☆20Sep 28, 2024Updated last year
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆13Mar 9, 2022Updated 3 years ago
- ☆12Jul 5, 2024Updated last year
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- D^3CTF 2022 d3bpf, d3bpf-v2 attachment, exp and official writeup☆12Mar 8, 2022Updated 3 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Nov 28, 2018Updated 7 years ago
- Protocol Inspection and State Machine Analysis☆23May 26, 2018Updated 7 years ago
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆36Aug 24, 2017Updated 8 years ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆116Jan 22, 2026Updated last month
- ☆19Aug 30, 2024Updated last year
- DBGBench Website:☆19Feb 24, 2021Updated 5 years ago
- ☆78Sep 2, 2022Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- ☆49Oct 27, 2024Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated 11 months ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆31May 16, 2023Updated 2 years ago
- Public version of CNEPS☆24Dec 30, 2024Updated last year
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆137Feb 5, 2025Updated last year
- ☆26Mar 31, 2023Updated 2 years ago
- Exploit Development: Case Studies 🔮☆25Jun 10, 2018Updated 7 years ago
- ROSA: Finding Backdoors with Fuzzing☆45Jun 30, 2025Updated 8 months ago
- ☆62Jan 3, 2024Updated 2 years ago
- ☆33Oct 7, 2023Updated 2 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated 2 months ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- A Dolev-Yao-model-guided fuzzer for TLS☆150Feb 27, 2026Updated last week
- ☆73Jun 26, 2024Updated last year
- GitHub Cloner & Compiler☆76Sep 24, 2021Updated 4 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated 11 months ago
- A neurosymbolic framework for vulnerability detection in code☆329Dec 5, 2025Updated 3 months ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- my writeups (mainly pwnable)☆35Sep 22, 2024Updated last year
- Fuzzing with the generated argument☆33Jan 6, 2023Updated 3 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago