一种改进的补丁比较模型的研究与实现

作者：潘璠; 吴礼发; 孙传鲁; 李华波; 洪征

来源：南京邮电大学学报(自然科学版), 2012, (02): 75-83+113.

• 补丁比较
• 固定点传播
• 图同构
• 回溯搜索 patch comparison
• fixed-points propagation
• graph isomorphism
• backtracking search

补丁比较技术可以定位程序补丁前后的差异,在漏洞发掘、病毒变种分析等领域得到了广泛的应用。以结构化比较技术为基础,建立了层次化的补丁比较模型IPCTM(Improved Patch Comparison Technique Model);改进了固定点传播算法,提出了一种针对错误匹配的修正机制;设计了控制流图重构和代码辅助匹配策略,增加了对未配对函数和基本块的补充处理。实验结果表明,IPCTM能够准确识别语义变动,消除部分非语义变动带来误差,有效减少了后续分析的工作量。

• 单位
  中国人民解放军陆军工程大学