基于关键路径测试的安全补丁存在性检测
【摘要】 漏洞的修复对于应用软件的安全至关重要。为了能够及时地修复所有已知漏洞，安全防护人员需要准确地检测一个安全补丁是否被应用。提出一个基于关键路径的语义层面的漏洞补丁存在性检测工具Patch-Checker，通过找寻一条在漏洞修复前后发生改变的路径，分析其语义特征，生成能代表漏洞补丁的签名信息;利用这一签名信息，在目标程序中找出对应路径进行比较，判断漏洞补丁的应用情况。PatchChecker通过聚焦于单一路径，在提升对细节变化检测能力的同时，避免了未知代码修改带来的干扰。实验表明，PatchChecker能够以较高的准确率检测漏洞补丁是否被应用。
