Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
本文研究高度可配置的C/C++系统中安全补丁与编译时配置选项空间之间的映射关系。作者正式定义了“漏洞影响条件”（VIC）——一个关于配置选项的布尔谓词，用于描述所有包含原始缺陷的变体。他们提出了一种纯静态技术PatchLens，通过将AST
#static analysis
共收录 3 条相关情报。
← 返回所有主题DISPATCH: Unraveling Security Patches from Entangled Code Changes.
该论文提出了一种名为DISPATCH的方法，旨在从纠缠的代码变更中自动分离和识别安全补丁。在实际开发中，安全补丁往往与其他非安全相关的代码修改（如功能增强、重构等）混合提交，这种纠缠使得安全补丁的识别和回溯变得困难。DISPATCH通过分析
On the Security of Research Artifacts
该论文系统性地研究了安全领域研究人工制品（research artifacts）的安全性。研究人工制品通常用于支持实验可复现性，并被广泛共享，但现有的artifact evaluation（AE）主要关注功能正确性和可复现性，忽略了潜在的安