Proj EULibHarn Paper Reading: SyzGen: Automated Generation of Syscall Specification of ClosedSource macOS Drivers

Abstract

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

  1. syscall的迭代细化只是
  2. 提取、推测依赖关系
    实验：
    目标：25个targets
    效果：高质量的规格，34bugs，2个CVEs
【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/xuesu/p/15773009.html