Proj EULibHarn Paper Reading: SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers

Abstract

Kernel drivers是kernel代码的重要组成部分
挑战: 复杂的input structure和未知的dependencies
本文：SyzGen
自动生成闭源macOS驱动程序的系统调用规范，以此协助interface-aware fuzzing
主要方法：

  1. syscall的迭代细化只是
  2. 提取、推测依赖关系
    实验：
    目标：25个targets
    效果：高质量的规格，34bugs，2个CVEs
posted @ 2022-01-06 21:34  雪溯  阅读(98)  评论(0)  编辑  收藏  举报