Team-Atlanta / aixcc-afc-atlantisLinks
☆381Updated last month
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:
- Fuzz anything with Program Environment Fuzzing☆390Updated 7 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆154Updated last month
- ☆82Updated 4 months ago
- Security Harness Engineering for Robust Program Analysis☆84Updated last month
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆87Updated 5 months ago
- ☆109Updated 3 weeks ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆108Updated 7 months ago
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆157Updated 7 months ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆127Updated this week
- Witcher is the first framework for using AFL to fuzz web applications.☆94Updated last year
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆187Updated last year
- CodeQL queries developed by Trail of Bits☆118Updated last week
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆353Updated 2 months ago
- Source code for the DEF CON 32 CTF Qualifiers.☆73Updated last year
- ☆231Updated last year
- ☆247Updated last month
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆85Updated 8 months ago
- ☆132Updated last year
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆289Updated last month
- A neurosymbolic framework for vulnerability detection in code☆233Updated 3 weeks ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆77Updated 2 months ago
- PASTIS: Collaborative Fuzzing Framework☆162Updated 2 weeks ago
- SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.☆160Updated 8 months ago
- Source code for the DEF CON 30 CTF Qualifiers.☆264Updated last year
- An autonomous LLM-agent for large-scale, repository-level code auditing☆231Updated 2 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆95Updated last month
- Source code for the DEF CON 31 CTF Qualifiers.☆124Updated 2 years ago
- My fuzzing corpus☆282Updated 5 years ago
- Collection of browser challenges☆138Updated 4 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year