SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆340Updated 6 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:
- CodeQL queries developed by Trail of Bits☆136Updated last month
- SAST + LLM Interprocedural Context Extractor☆156Updated last month
- ☆509Updated this week
- ☆123Updated 3 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆193Updated 3 months ago
- Security Harness Engineering for Robust Program Analysis☆104Updated 3 months ago
- MCP stdio server for radare2☆106Updated 3 weeks ago
- Quarkslab conference talks☆308Updated 3 weeks ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆46Updated 3 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…☆191Updated last month
- An autonomous LLM-agent for large-scale, repository-level code auditing☆272Updated 2 weeks ago
- An MCP extension for Ghidra☆346Updated this week
- MCP for Pwn☆153Updated 3 weeks ago
- Fuzz anything with Program Environment Fuzzing☆394Updated 10 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆59Updated this week
- A very simple open source implementation of Google's Project Naptime☆173Updated 8 months ago
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆87Updated 2 weeks ago
- ☆257Updated 3 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆102Updated 2 years ago
- A neurosymbolic framework for vulnerability detection in code☆268Updated this week
- An educational Bochs-based snapshot fuzzer project☆220Updated last month
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months ago
- A de-socketing library for fuzzing.☆161Updated 3 months ago
- A collection of Ghidra scripts, including the GPT-3 powered code analyser and annotator, G-3PO.☆311Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆91Updated 7 months ago
- XBOW Validation Benchmarks☆352Updated 5 months ago
- A corpus generation tool☆22Updated 3 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…☆58Updated last year
- ☆210Updated 3 months ago