☆610Nov 25, 2025Updated 6 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☆259Aug 5, 2025Updated 9 months ago
- LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.☆109May 8, 2026Updated 3 weeks ago
- ☆137Aug 27, 2025Updated 9 months ago
- Security Harness Engineering for Robust Program Analysis☆133Jan 23, 2026Updated 4 months ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆98Jul 14, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆27Aug 6, 2025Updated 9 months ago
- Buttercup finds and patches software vulnerabilities☆1,586May 20, 2026Updated last week
- Code Analysis and Semantic Retrieval Library with Smart Strategies☆47Apr 14, 2026Updated last month
- attachments and (some) writeups/source code for RWCTF 6th☆125Feb 2, 2024Updated 2 years ago
- ☆21Apr 6, 2025Updated last year
- ☆46Aug 6, 2025Updated 9 months ago
- [42-b3yond-6ug] This repository hosts BugBuster, our team’s submission to the AI Cyber Challenge Final Competition.☆30Aug 19, 2025Updated 9 months ago
- AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.☆68May 5, 2026Updated 3 weeks ago
- The repo of "BugLens"☆41Nov 12, 2025Updated 6 months ago
- 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.
- IDA Hexrays To Joern☆45Nov 7, 2024Updated last year
- A reversing plugin for cross-decompiler collaboration, built on git.☆718May 2, 2026Updated 3 weeks ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- Remove WPP calls from hexrays decompiled code☆56Jan 31, 2026Updated 3 months ago
- My challenges for SECCON CTF 2022 Finals☆18Feb 15, 2023Updated 3 years ago
- CodeQL queries developed by Trail of Bits☆162May 14, 2026Updated 2 weeks ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆89May 12, 2022Updated 4 years ago
- Source code for the DEF CON 30 CTF Qualifiers.☆267May 27, 2024Updated 2 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆16Oct 3, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆336May 15, 2026Updated 2 weeks ago
- LLM powered fuzzing via OSS-Fuzz.☆1,399Mar 17, 2026Updated 2 months ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,212Updated this week
- ☆134May 6, 2024Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,341Mar 13, 2026Updated 2 months ago
- Source code for the DEF CON 32 CTF Qualifiers.☆76May 24, 2024Updated 2 years ago
- A linux exploitation skill facilitates heap address leaking or performs overflow from BSS to heap☆20May 3, 2024Updated 2 years ago
- Challenge repository for ACSC 2024☆13Apr 2, 2024Updated 2 years ago
- LLM-based automated patch diffing☆99Sep 15, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆56Aug 30, 2022Updated 3 years ago
- Zero shot vulnerability discovery using LLMs☆2,665Feb 6, 2025Updated last year
- A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4, Claude, and local models supported!☆700Mar 24, 2026Updated 2 months ago
- Challenges I created for CTF competitions.☆245Dec 28, 2025Updated 5 months ago
- SymCC: efficient compiler-based symbolic execution☆867Mar 16, 2026Updated 2 months ago
- ☆30Aug 26, 2021Updated 4 years ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,364Mar 2, 2026Updated 2 months ago