Team-Atlanta / aixcc-afc-atlantisLinks
☆551Updated 2 months ago
Alternatives and similar repositories for aixcc-afc-atlantis
Users that are interested in aixcc-afc-atlantis are comparing it to the libraries listed below
Sorting:
- Public Source code Release of Theori's AIxCC AFC Submission☆231Updated 5 months ago
- Fuzz anything with Program Environment Fuzzing☆398Updated last year
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆93Updated 9 months ago
- Security Harness Engineering for Robust Program Analysis☆109Updated last week
- Witcher is the first framework for using AFL to fuzz web applications.☆104Updated 2 years ago
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆80Updated this week
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆116Updated 3 months ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆371Updated 7 months ago
- SAST + LLM Interprocedural Context Extractor☆176Updated 3 months ago
- A neurosymbolic framework for vulnerability detection in code☆311Updated last month
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆134Updated 11 months ago
- ☆92Updated 8 months ago
- ☆157Updated last week
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆166Updated 11 months ago
- ☆130Updated 5 months ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆159Updated last week
- CodeQL queries developed by Trail of Bits☆143Updated 2 weeks ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆198Updated last year
- An interactive module to help you learn how to fuzz your first target☆204Updated last year
- XBOW Validation Benchmarks☆452Updated 7 months ago
- ☆115Updated 4 months ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆307Updated 3 weeks ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆322Updated last month
- Buttercup CRS as submitted to the AIxCC Final Competition☆93Updated 6 months ago
- MCP for Pwn☆199Updated last month
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆88Updated 2 months ago
- SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.☆174Updated last year
- My fuzzing corpus☆312Updated 5 years ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆51Updated last month
- ☆267Updated 5 months ago