Team-Atlanta / aixcc-afc-atlantisLinks
☆544Updated 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:
- Public Source code Release of Theori's AIxCC AFC Submission☆224Updated 5 months ago
- Security Harness Engineering for Robust Program Analysis☆108Updated 4 months ago
- Fuzz anything with Program Environment Fuzzing☆396Updated 11 months ago
- A neurosymbolic framework for vulnerability detection in code☆298Updated last month
- Witcher is the first framework for using AFL to fuzz web applications.☆103Updated 2 years ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆114Updated 2 months ago
- Large Language Model guided Protocol Fuzzing (NDSS'24)☆366Updated 6 months ago
- SAST + LLM Interprocedural Context Extractor☆174Updated 2 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆92Updated 8 months ago
- ☆91Updated 8 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆133Updated 11 months ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆308Updated last week
- An autonomous LLM-agent for large-scale, repository-level code auditing☆308Updated last month
- XBOW Validation Benchmarks☆422Updated 6 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆195Updated last year
- ☆127Updated 4 months ago
- SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.☆174Updated last year
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆165Updated 10 months ago
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆71Updated this week
- CodeQL queries developed by Trail of Bits☆138Updated last week
- Buttercup CRS as submitted to the AIxCC Final Competition☆93Updated 5 months ago
- MCP for Pwn☆183Updated last month
- An interactive module to help you learn how to fuzz your first target☆203Updated last year
- A coverage-guided REST API fuzzer developed on top of LibAFL☆158Updated this week
- YuraScanner☆70Updated 10 months ago
- ☆106Updated 3 months ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆72Updated 9 months ago
- ☆237Updated last year
- Docker container with all required CTF tools.☆60Updated last year
- CodeQL zero to hero blog post series challenges☆161Updated 3 months ago