Abstract 中文 Linux 内核更新频繁，更新过程会提供新的特性和提供代码补丁，但也会引入新的代码问题和安全问题。同时，当前的工具中虽然具有静态检测漏洞的能力，但由于完整的分析会缺乏时效性，无法跟上Linux更新频率。针对这个问题，…