Introduction

SyzGen attempts to automate the generation of syscall specifications for closed-source macOS drivers and facilitate interface-aware fuzzing. We leverage two insights to overcome the challenges of binary analysis:(1) iterative refinement of syscall knowledge and (2) extraction and extrapolation of dependencies from a small number of execution traces.

SyzGen_setup

./setup.sh

Overview

Instruction

SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers

kcov: Kernel module to provide coverage feedback

hook: Driver hook to collect logs

Citation

Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian. "SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers." Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (CCS)

About

MIT License

Languages

Language:Go 68.1%Language:C 16.1%Language:Python 9.3%Language:Roff 3.2%Language:C++ 1.3%Language:Shell 0.8%Language:HTML 0.3%Language:Makefile 0.3%Language:Assembly 0.2%Language:Yacc 0.1%Language:Ragel 0.1%Language:CSS 0.0%Language:Dockerfile 0.0%Language:JavaScript 0.0%Language:SourcePawn 0.0%