北京航空航天大学副教授，博士生导师白家驹分享了题为《操作系统的自动化缺陷检测》的报告，介绍了他在系统软件的自动化缺陷检测和漏洞挖掘中取得的成果。

Linux内核作为广泛应用的开源操作系统，其代码量庞大，调用关系复杂，自动化缺陷检测面临诸多挑战。针对这些挑战，白老师提出了大规模复杂被动式系统的静态分析，解决静态分析效率低和准确性差的问题。提出了多维输入和运行状态指导的动态分析，解决动态分析缺陷检测覆盖度不足的问题，提出了兼顾覆盖度和准确度的动静结合分析以充分结合静态分析和动态分析的各自优势。研究成果在主流开源操作系统中发现真实缺陷4500多个，成果被LWN和Margin Research等国际权威杂志和研究机构报道。