SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆276Updated 2 weeks 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☆99Updated 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…☆169Updated 2 months ago
- A very simple open source implementation of Google's Project Naptime☆151Updated 2 months ago
- MCP stdio server for radare2☆54Updated last month
- local language model for radare2☆278Updated last week
- OGHarn: Oracle-guided Fuzzing Harness Generation☆37Updated this week
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated last month
- Witcher is the first framework for using AFL to fuzz web applications.☆90Updated last year
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆70Updated last year
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆53Updated last year
- Fuzz anything with Program Environment Fuzzing☆386Updated 4 months ago
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆84Updated 5 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆122Updated last year
- Trail of Bits Testing Handbook☆74Updated last week
- ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. T…☆47Updated 7 months ago
- Sort input lines semantically with llm☆119Updated last week
- Project Mantis: Hacking Back the AI-Hacker; Prompt Injection as a Defense Against LLM-driven Cyberattacks☆68Updated last week
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆56Updated last week
- A study of V8 internals.☆63Updated 4 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆193Updated 2 years ago
- ☆65Updated 4 months ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆123Updated this week
- A de-socketing library for fuzzing.☆148Updated this week
- An educational Bochs-based snapshot fuzzer project☆181Updated 2 weeks ago
- ☆77Updated last year
- Quarkslab conference talks☆297Updated 3 weeks ago
- MCPSafetyScanner - Automated MCP safety auditing and remediation using Agents. More info: https://www.arxiv.org/abs/2504.03767☆68Updated last month
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system…☆326Updated 2 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆81Updated last month