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

Weiteng Chen Yu Wang Zheng Zhang Zhiyun Qian

Published in: CCS (2021)

Keyphrases

semi automated
generation process
manual inspection
natural language
data driven
user defined
specification language
information systems
database systems
software engineering
programming language
computer aided
computer assisted
multi source
key factors