SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆347Updated 8 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☆143Updated 2 weeks ago
- Automatic Exploit Generation with LLMs☆454Updated last week
- SAST + LLM Interprocedural Context Extractor☆176Updated 3 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆231Updated 5 months ago
- ☆130Updated 5 months ago
- MCP stdio server for radare2☆130Updated this week
- Security Harness Engineering for Robust Program Analysis☆109Updated last week
- MCP for Pwn☆199Updated last month
- ☆551Updated 2 months ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆51Updated last month
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆80Updated this week
- Quarkslab conference talks☆312Updated 2 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆74Updated last year
- ☆157Updated last week
- A corpus generation tool☆26Updated 3 weeks ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆116Updated 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…☆202Updated 3 months ago
- A very simple open source implementation of Google's Project Naptime☆183Updated 10 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆322Updated last month
- A coverage-guided REST API fuzzer developed on top of LibAFL☆159Updated last week
- Witcher is the first framework for using AFL to fuzz web applications.☆104Updated 2 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 9 months ago
- ☆216Updated 5 months ago
- ☆59Updated 2 weeks ago
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆88Updated 2 months ago
- ☆267Updated 5 months ago
- Source code for the DEF CON 32 CTF Qualifiers.☆76Updated last year
- Python Command-Line Ghidra MCP☆182Updated 3 weeks ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆106Updated 2 weeks ago
- A study of V8 internals.☆74Updated 5 years ago