基于函数语义分析的软件补丁比对技术

• 作者: 刘龙 曹琰 王清贤 王禹
• 来源期刊: 网络与信息安全学报
• 学科: 工学
• 关键词: 漏洞分析 补丁比对 符号执行 语义分析
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 56-63
• 页数: 8页
• 分类号: TP393
• 字数: 5578字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-109x.2019051

摘要

基于结构化的补丁比对是软件漏洞辅助分析的重要方法.在分析总结已有补丁比对技术及反补丁比对技术的基础上,针对结构化比对存在无法进行语义分析而导致误报的问题,提出了基于函数语义分析的软件补丁比对方法.利用传统的结构化比对方法,在函数级进行语法差异比较得到最大同构子图;通过程序依赖分析,构建函数输入输出之间的路径包络,基于符号执行以包络为对象计算函数输出特征;通过函数摘要进行语义级比对,结合最大同构子图的匹配函数结果,进一步分析得出发生语义变化的函数.最终,通过实验比对测试,验证了所提方法的可行性和优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤		19	58	4.0	7.0
2	刘龙		6	32	2.0	5.0
3	王禹		9	6	2.0	2.0
4	曹琰		3	5	1.0	2.0