Team-Atlanta / aixcc-afc-atlantisLinks
☆509Updated this week
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☆193Updated 3 months ago
- Fuzz anything with Program Environment Fuzzing☆394Updated 10 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆91Updated 7 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆102Updated 2 years ago
- Security Harness Engineering for Robust Program Analysis☆104Updated 3 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆123Updated 9 months ago
- ☆88Updated 6 months ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆362Updated 4 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆195Updated last year
- ☆123Updated 3 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆272Updated 2 weeks ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆303Updated 4 months ago
- A neurosymbolic framework for vulnerability detection in code☆268Updated this week
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆105Updated last month
- SAST + LLM Interprocedural Context Extractor☆156Updated last month
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆59Updated this week
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆157Updated 9 months ago
- CodeQL queries developed by Trail of Bits☆136Updated last month
- Source code for the DEF CON 32 CTF Qualifiers.☆75Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆87Updated 2 weeks ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆89Updated 4 months ago
- An interactive module to help you learn how to fuzz your first target☆193Updated last year
- ☆237Updated last year
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆75Updated last month
- ☆257Updated 3 months ago
- Collection of browser challenges☆138Updated 4 years ago
- SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.☆174Updated 10 months ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆70Updated 7 months ago
- XBOW Validation Benchmarks☆352Updated 5 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆118Updated 7 months ago