Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis

本文研究高度可配置的C/C++系统中安全补丁与编译时配置选项空间之间的映射关系。作者正式定义了“漏洞影响条件”（VIC）——一个关于配置选项的布尔谓词，用于描述所有包含原始缺陷的变体。他们提出了一种纯静态技术PatchLens，通过将AST

历史摘要 · 未重新核验 · arXiv cs.CR