10.3969/j.issn.1001-3695.2013.09.064
基于动态符号执行的二进制程序缺陷发现系统
以对二进制程序进行自动化缺陷发现为目标,基于软件虚拟机的动态二进制翻译机制和污点传播机制,对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究,改进了传统动态符号执行的路径调度部分,分析了程序缺陷的符号断言表达形式,构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷.实验验证了该方法在实际程序缺陷发现中的有效性.
语义提取、动态符号执行、路径调度、二进制程序缺陷发现
30
TP311(计算技术、计算机技术)
2013-10-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
2810-2812