SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆338Updated 5 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☆133Updated 2 weeks ago
- Public Source code Release of Theori's AIxCC AFC Submission☆175Updated 2 months ago
- Security Harness Engineering for Robust Program Analysis☆98Updated 2 months ago
- ☆118Updated 2 months ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆46Updated 2 months ago
- SAST + LLM Interprocedural Context Extractor☆123Updated this week
- ☆447Updated 3 weeks ago
- MCP stdio server for radare2☆101Updated last week
- An autonomous LLM-agent for large-scale, repository-level code auditing☆258Updated last week
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆84Updated 3 weeks ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆99Updated last week
- Quarkslab conference talks☆306Updated 3 weeks ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 6 months ago
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆55Updated this week
- Experimental tools to backdoor large language models by re-writing their system prompts at a raw parameter level. This allows you to pote…☆186Updated 3 weeks ago
- An educational Bochs-based snapshot fuzzer project☆217Updated this week
- Fuzz anything with Program Environment Fuzzing☆391Updated 9 months ago
- A de-socketing library for fuzzing.☆159Updated 2 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆101Updated last year
- Golem automates C/C++ vulnerability discovery with SemGrep+LLVM+LLM☆92Updated 4 months ago
- Reverse engineering assistant that uses a locally running LLM to aid with pseudocode analysis.☆104Updated last week
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆87Updated this week
- Lightweight fuzzing of a memory snapshot using KVM☆461Updated last year
- A study of V8 internals.☆69Updated 4 years ago
- ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.☆52Updated last week
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆90Updated 6 months ago
- ☆249Updated 2 months ago
- ☆208Updated 2 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