Team-Atlanta / aixcc-afc-atlantisLinks
☆533Updated 3 weeks 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☆210Updated 4 months ago
- Fuzz anything with Program Environment Fuzzing☆395Updated 10 months ago
- Security Harness Engineering for Robust Program Analysis☆106Updated 4 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆102Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆91Updated 8 months ago
- ☆88Updated 7 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆124Updated 10 months ago
- A neurosymbolic framework for vulnerability detection in code☆286Updated 2 weeks ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆364Updated 5 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆110Updated last month
- ☆126Updated 3 months ago
- SAST + LLM Interprocedural Context Extractor☆166Updated last month
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆305Updated 4 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆284Updated 2 weeks ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆157Updated this week
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆67Updated this week
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆194Updated last year
- XBOW Validation Benchmarks☆387Updated 6 months ago
- Source code for the DEF CON 30 CTF Qualifiers.☆267Updated last year
- SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.☆174Updated 11 months ago
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆158Updated 10 months ago
- CodeQL queries developed by Trail of Bits☆137Updated this week
- Source code for the DEF CON 32 CTF Qualifiers.☆76Updated last year
- MCP for Pwn☆169Updated last week
- ☆237Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆87Updated last month
- An interactive module to help you learn how to fuzz your first target☆198Updated last year
- Collection of browser challenges☆138Updated 4 years ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆91Updated 5 months ago
- Binary Exploitation Skill. Gain RCE from arbitrary write.☆237Updated 11 months ago