SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆321Updated 3 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☆112Updated 2 months ago
- ☆329Updated 3 weeks ago
- ☆98Updated this week
- Security Harness Engineering for Robust Program Analysis☆67Updated last week
- A very simple open source implementation of Google's Project Naptime☆167Updated 5 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆215Updated last month
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆94Updated last month
- MCP stdio server for radare2☆76Updated last week
- A coverage-guided REST API fuzzer developed on top of LibAFL☆127Updated this week
- Public Source code Release of Theori's AIxCC AFC Submission☆140Updated 3 weeks ago
- Experimental tools to backdoor large language models by re-writing their system prompts at a raw parameter level. This allows you to pote…☆183Updated 4 months ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆41Updated last week
- Quarkslab conference talks☆302Updated last month
- A corpus generation tool☆22Updated 3 weeks ago
- XBOW Validation Benchmarks☆220Updated 2 months ago
- Fuzz anything with Program Environment Fuzzing☆389Updated 7 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 4 months ago
- A neurosymbolic framework for vulnerability detection in code☆215Updated 2 weeks ago
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆85Updated 8 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- Docker container with all required CTF tools.☆54Updated last year
- Reverse engineering assistant that uses a locally running LLM to aid with pseudo-code analysis.☆89Updated 2 months ago
- An educational Bochs-based snapshot fuzzer project☆185Updated last week
- https://arxiv.org/abs/2412.02776☆59Updated 8 months ago
- ☆102Updated 7 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆93Updated last year
- ☆244Updated 3 weeks ago
- ☆191Updated this week
- How effective are LLMs in identifying and exploiting security vulnerabilities?☆64Updated 6 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆127Updated last year