SeanHeelan / o3_finds_cve-2025-37899Links
Artefacts for blog post on finding CVE-2025-37899 with o3
☆319Updated 2 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☆108Updated 2 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆192Updated 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…☆179Updated 4 months ago
- The D-CIPHER and NYU CTF baseline LLM Agents built for NYU CTF Bench☆91Updated last week
- A neurosymbolic framework for vulnerability detection in code☆188Updated last week
- A coverage-guided REST API fuzzer developed on top of LibAFL☆126Updated last week
- OGHarn: Oracle-guided Fuzzing Harness Generation☆42Updated last month
- MCP stdio server for radare2☆69Updated last week
- Fuzz anything with Program Environment Fuzzing☆389Updated 6 months ago
- XBOW Validation Benchmarks☆200Updated last month
- Quarkslab conference talks☆301Updated 2 weeks ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 3 months ago
- Witcher is the first framework for using AFL to fuzz web applications.☆91Updated last year
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆85Updated 7 months ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆85Updated 3 months ago
- Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system…☆339Updated last month
- A corpus generation tool☆22Updated last week
- ☆101Updated 7 months ago
- An educational Bochs-based snapshot fuzzer project☆185Updated 2 months ago
- Reverse engineering assistant that uses a locally running LLM to aid with pseudo-code analysis.☆81Updated last month
- Trail of Bits Testing Handbook☆77Updated last week
- ☆238Updated last week
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆59Updated last week
- Code snippets to reproduce MCP tool poisoning attacks.☆173Updated 4 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆125Updated last year
- A study of V8 internals.☆65Updated 4 years ago
- A de-socketing library for fuzzing.☆155Updated this week
- ☆134Updated last year
- local language model for radare2☆291Updated last week