☆660Nov 25, 2025Updated 11 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Public Source code Release of Theori's AIxCC AFC Submission☆274Aug 5, 2025Updated last year
- Buttercup CRS as submitted to the AIxCC Final Competition☆98Jul 14, 2025Updated last year
- ☆144Aug 27, 2025Updated last year
- Security Harness Engineering for Robust Program Analysis☆147Jan 23, 2026Updated 9 months ago
- ☆51Aug 6, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LLM-powered system that discovers and patches zero-day vulnerabilities in open source projects. 4th place, DARPA AIxCC.☆151Updated this week
- Buttercup finds and patches software vulnerabilities☆1,742Updated this week
- ☆27Aug 6, 2025Updated last year
- Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software☆178Updated this week
- ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.☆114Sep 14, 2026Updated last month
- LLM powered fuzzing via OSS-Fuzz.☆1,452Oct 26, 2026Updated last week
- The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection …☆1,588Updated this week
- SAST + LLM Interprocedural Context Extractor☆213Oct 28, 2025Updated last year
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆190Oct 26, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆348May 15, 2026Updated 5 months ago
- ExploitBench measures how far AI agents climb, from reaching vulnerable code, to triggering the bug, to building exploit primitives, to a…☆446Jul 4, 2026Updated 4 months ago
- Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_st…☆2,677Updated this week
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,626Updated this week
- ☆55Aug 26, 2022Updated 4 years ago
- ☆64Updated this week
- XBOW Validation Benchmarks☆747Jul 7, 2026Updated 4 months ago
- [42-b3yond-6ug] This repository hosts BugBuster, our team’s submission to the AI Cyber Challenge Final Competition.☆31Aug 19, 2025Updated last year
- SymCC: efficient compiler-based symbolic execution☆889Oct 28, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An uninitialized read vulnerability by incorrect Turboshaft Store-Store Elimination in V8.☆30Jan 29, 2026Updated 9 months ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,392Aug 25, 2026Updated 2 months ago
- wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kerne…☆1,815Aug 28, 2026Updated 2 months ago
- A lightweight dynamic instrumentation library☆1,361Aug 31, 2026Updated 2 months ago
- Automatic Exploit Generation with LLMs☆638Jan 30, 2026Updated 9 months ago
- Source code for LLMxCPG paper☆165Mar 26, 2026Updated 7 months ago
- Code Analysis and Semantic Retrieval Library with Smart Strategies☆52Apr 14, 2026Updated 6 months ago
- A JavaScript Engine Fuzzer☆2,379Updated this week
- Zero shot vulnerability discovery using LLMs☆2,815Feb 6, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Recent Fuzzing Paper☆2,766Sep 30, 2026Updated last month
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆59Apr 3, 2024Updated 2 years ago
- Userland memcpy related technique☆21Apr 6, 2025Updated last year
- A neurosymbolic framework for vulnerability detection in code☆447Jul 2, 2026Updated 4 months ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆1,010Aug 28, 2026Updated 2 months ago
- A LLVM Sanitizer for Symbolic Tracing and Under-Constrained Execution☆243Updated this week
- Vulnerability detection framework by Binarly's REsearch team☆896Updated this week