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
- Security Harness Engineering for Robust Program Analysis☆109Updated last week
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆371Updated 7 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆134Updated 11 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆93Updated 9 months ago
- SAST + LLM Interprocedural Context Extractor☆176Updated 3 months ago
- ☆93Updated 8 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆104Updated 2 years ago
- A neurosymbolic framework for vulnerability detection in code☆311Updated last month
- 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
- ☆157Updated last week
- Source code for the DEF CON 32 CTF Qualifiers.☆76Updated last year
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆80Updated this week
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆166Updated 11 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆322Updated last month
- XBOW Validation Benchmarks☆452Updated 7 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆198Updated last year
- ☆130Updated 5 months ago
- CodeQL queries developed by Trail of Bits☆143Updated 2 weeks ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆116Updated 3 months ago
- An interactive module to help you learn how to fuzz your first target☆204Updated last year
- Source code for the DEF CON 30 CTF Qualifiers.☆268Updated last year
- MCP for Pwn☆199Updated last month
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆80Updated 3 months ago
- ☆267Updated 5 months ago
- ☆238Updated 2 years ago
- 🐛 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