SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆334Updated 4 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☆124Updated 3 weeks ago
- SAST + LLM Interprocedural Context Extractor☆113Updated last month
- An autonomous LLM-agent for large-scale, repository-level code auditing☆234Updated this week
- Security Harness Engineering for Robust Program Analysis☆94Updated last month
- OGHarn: Oracle-guided Fuzzing Harness Generation☆46Updated last month
- Public Source code Release of Theori's AIxCC AFC Submission☆163Updated 2 months ago
- ☆411Updated last month
- ☆112Updated last month
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆95Updated 2 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- Fuzz anything with Program Environment Fuzzing☆391Updated 8 months ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆137Updated this week
- Quarkslab conference talks☆305Updated last week
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆70Updated last week
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 5 months ago
- A very simple open source implementation of Google's Project Naptime☆169Updated 6 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆95Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆85Updated 9 months ago
- A de-socketing library for fuzzing.☆158Updated last month
- MCP stdio server for radare2☆93Updated this week
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆89Updated 5 months ago
- ☆132Updated last year
- A neurosymbolic framework for vulnerability detection in code☆236Updated last week
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆128Updated last year
- An educational Bochs-based snapshot fuzzer project☆198Updated 2 weeks ago
- Linux kernel privilege escalation techniques☆144Updated last year
- ☆65Updated 3 weeks ago
- MCP for Pwn☆118Updated 3 weeks ago
- Golem automates C/C++ vulnerability discovery with SemGrep+LLVM+LLM☆91Updated 3 months ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago