基于动态符号执行的二进制程序缺陷发现系统

• 作者: 夏阳 陆余良 黄晖
• 来源期刊: 计算机应用研究
• 关键词: 语义提取 动态符号执行 路径调度 二进制程序缺陷发现
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2810-2812
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.09.064

摘要

以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷的符号断言表达形式,构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷.实验验证了该方法在实际程序缺陷发现中的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆余良	解放军电子工程学院网络系	42	682	12.0	25.0
2	夏阳	解放军电子工程学院网络系	23	277	10.0	16.0
3	黄晖	解放军电子工程学院网络系	2	13	1.0	2.0