SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆340Updated 7 months ago
Alternatives and similar repositories for o3_finds_cve-2025-37899
Users that are interested in o3_finds_cve-2025-37899 are comparing it to the libraries listed below
Sorting:
- SAST + LLM Interprocedural Context Extractor☆174Updated 2 months ago
- CodeQL queries developed by Trail of Bits☆138Updated last week
- ☆544Updated last month
- ☆127Updated 4 months ago
- 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
- OGHarn: Oracle-guided Fuzzing Harness Generation☆50Updated last month
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆71Updated this week
- MCP stdio server for radare2☆120Updated last month
- A very simple open source implementation of Google's Project Naptime☆179Updated 9 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆308Updated last month
- MCP for Pwn☆183Updated last month
- Fuzz anything with Program Environment Fuzzing☆396Updated 11 months ago
- Experimental tools to backdoor large language models by re-writing their system prompts at a raw parameter level. This allows you to pote…☆201Updated 3 months ago
- Quarkslab conference talks☆311Updated 2 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 8 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆103Updated 2 years ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆101Updated 3 months ago
- ☆57Updated this week
- Python Command-Line Ghidra MCP☆165Updated last week
- A coverage-guided REST API fuzzer developed on top of LibAFL☆158Updated this week
- ☆262Updated 5 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆115Updated 2 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆73Updated last year
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆92Updated 8 months ago
- A de-socketing library for fuzzing.☆162Updated 5 months ago
- How effective are LLMs in identifying and exploiting security vulnerabilities?☆69Updated 10 months ago
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆59Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆87Updated last month
- ☆115Updated last week