小组研究成果被USENIX会议 ATC 2022 接收


清华大学软件系统安全保障小组研究成果论文“KSG: Augmenting Kernel Fuzzing with System Call Specification Generation”被2022 USENIX Annual Technical Conference (USENIX ATC '22)接受。该论文针对内核模糊测试中系统调用规范自动生成的两个挑战——入口识别困难、类型及约束收集复杂——提出了两个对应的解决方案。首先,为精确识别底层子模块的入口函数,KSG利用eBPF、kprobe实现了基于追踪的入口提取算法。其次,利用提取到的入口,KSG基于Clang Static Analyzer、利用类型比较实现了入口参数的类型、约束的提取算法。最后,利用提取到的入口、类型和约束,KSG执行语法转换、语义编码,从而完成最终的高质量规范生成。基于上述方法,KSG提取了2433个新接口规范,在使用新的规范后,内核模糊测试器的覆盖率可被提高22%,此外,基于KSG生成的规范,我们发现了26个过去未知的内核漏洞,其中13个已被修复、6个漏洞获得了CVE编号。该工作由硕士生孙浩、博士生沈煜恒、博士生刘健中和硕士生徐意如等人共同参与完成。

作为计算机系统领域的国际顶级学术会议,USENIX ATC 同样也是中国计算机学会推荐的A类系统会议,在计算机系统领域极具影响力。本届USENIX组委会在收到的393篇完整投稿中,经过严格评审,最终仅录用64 篇,录用率为16.2%。