We are writing a paper titled "A Survey of Fuzzing Open-Source Operating Systems" and would appreciate your feedback, including any criticisms or corrections regarding missing papers and misrepresentations.
☆25Jul 6, 2025Updated 11 months ago
Alternatives and similar repositories for Survey-OSF
Users that are interested in Survey-OSF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆23Dec 21, 2024Updated last year
- Source-level code analysis toolkit for SAST, context engineering, and AI coding☆35Jun 7, 2026Updated last week
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆57Apr 2, 2026Updated 2 months ago
- Replication Package of Task-Oriented ML/DL Library Recommendation based on Knowledge Graph☆17Nov 30, 2022Updated 3 years ago
- ☆32Apr 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆55Feb 20, 2024Updated 2 years ago
- ☆15Dec 18, 2021Updated 4 years ago
- Linux Kernel Fuzzer Corpus☆162Jun 7, 2026Updated last week
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆44Mar 15, 2023Updated 3 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- CTF Writeups☆14Aug 20, 2023Updated 2 years ago
- ☆20Dec 4, 2023Updated 2 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆26Dec 23, 2025Updated 5 months ago
- ☆21Jun 15, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面 的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- ☆17Dec 30, 2023Updated 2 years ago
- ☆27Mar 26, 2025Updated last year
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated last year
- ☆39Feb 14, 2020Updated 6 years ago
- Seminar 2022☆25Mar 19, 2026Updated 2 months ago
- ☆25Mar 18, 2026Updated 2 months ago
- ☆26Apr 6, 2018Updated 8 years ago
- Checkpot Honeypot Checker☆26Aug 13, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆407Feb 10, 2026Updated 4 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆172Aug 25, 2025Updated 9 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Mar 5, 2024Updated 2 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago
- ☆41May 31, 2024Updated 2 years ago
- Automatically fuzz Rust projects from scratch☆59Jul 8, 2025Updated 11 months ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆142May 25, 2026Updated 2 weeks ago
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆287May 7, 2026Updated last month
- A collection of analysis tools for Kconfig and Kbuild constraints.☆68Jan 30, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- fuzz the linux kernel bpf verifier☆82Oct 9, 2021Updated 4 years ago
- 毕业设计，基于事理图谱的事件推理系统☆71Jun 2, 2020Updated 6 years ago
- ☆69Oct 8, 2021Updated 4 years ago
- K-Miner☆75Jun 5, 2019Updated 7 years ago
- ☆82Sep 7, 2023Updated 2 years ago
- ☆397Oct 2, 2022Updated 3 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆88May 12, 2022Updated 4 years ago