漏洞挖掘与源代码安全【宋程昱】基于源代码的自动程序分析在内核安全中的应用