☆617Nov 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☆269Aug 5, 2025Updated 10 months ago
- ☆138Aug 27, 2025Updated 9 months ago
- LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.☆119May 8, 2026Updated last month
- Security Harness Engineering for Robust Program Analysis☆135Jan 23, 2026Updated 4 months ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆99Jul 14, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆27Aug 6, 2025Updated 10 months ago
- Buttercup finds and patches software vulnerabilities☆1,605Jun 1, 2026Updated 2 weeks ago
- Code Analysis and Semantic Retrieval Library with Smart Strategies☆47Apr 14, 2026Updated 2 months ago
- attachments and (some) writeups/source code for RWCTF 6th☆125Feb 2, 2024Updated 2 years ago
- ☆21Apr 6, 2025Updated last year
- ☆47Aug 6, 2025Updated 10 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.☆69May 5, 2026Updated last month
- The repo of "BugLens"☆41Nov 12, 2025Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- IDA Hexrays To Joern☆45Nov 7, 2024Updated last year
- A reversing plugin for cross-decompiler collaboration, built on git.☆727Jun 7, 2026Updated last week
- 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 4 months ago
- My challenges for SECCON CTF 2022 Finals☆18Feb 15, 2023Updated 3 years ago
- CodeQL queries developed by Trail of Bits☆167Jun 9, 2026Updated last week
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆88May 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)☆17Oct 3, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software☆102Updated this week
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆338May 15, 2026Updated last month
- LLM powered fuzzing via OSS-Fuzz.☆1,407Mar 17, 2026Updated 3 months ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆3,264Updated this week
- ☆134May 6, 2024Updated 2 years ago
- A lightweight dynamic instrumentation library☆1,345Mar 13, 2026Updated 3 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LLM-based automated patch diffing☆100Sep 15, 2025Updated 9 months ago
- ☆56Aug 30, 2022Updated 3 years ago
- Zero shot vulnerability discovery using LLMs☆2,687Feb 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.☆249Dec 28, 2025Updated 5 months ago
- SymCC: efficient compiler-based symbolic execution☆869Mar 16, 2026Updated 3 months ago
- ☆30Aug 26, 2021Updated 4 years ago