SyzForge: An Automated System Call Specification Generation Process for Efficient Kernel Fuzzing
Authors:
- 10 July 2025
- book chapter
- Published by Springer Nature
- p. 118-139
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing2024
- SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers2023
- A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity2023
- No Grammar, No Problem: Towards Fuzzing the Linux Kernel without System-Call Descriptions2023
- SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers2021
- Where Does It Go?2019
- DIFUZE2017
- Z3: An Efficient SMT Solver2008