一种面向程序动态分析的循环摘要生成方法
文献类型：期刊论文
| 作者 | 聂楚江 ; 刘海峰 ; 苏璞睿 ; 冯登国 |
| 刊名 | 电子学报
 |
| 出版日期 | 2014 |
| 卷号 | 42期号:6页码:1110-1117 |
| 关键词 | 循环 软件测试 漏洞分析 符号计算 loop software testing vulnerability analysis symbol computation |
| ISSN号 | 3722112 |
| 其他题名 | A loop summarization method for dynamic binary program analysis |
| 通讯作者 | Nie, Chu-Jiang |
| 中文摘要 | 动态测试数据生成方法相对于传统Fuzz测试方法能有效的提高软件测试与漏洞分析的效率。本文针对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题，提出了一种使用归纳变量构建循环，并通过符号计算提取循环的方法。本文通过将循环应用于软件动态分析过程中，验证了使用循环能有效的提高约束求解与循环路径遍历的效率。 Compared to the traditional Fuzz testing ,dynamic test generation can improve the efficiency of software testing and vulnerability analysis .This paper focuses on the performance of path covering and constraint solving in dynamic test genera-tion ,and proposes a method which constructs loop summary with induce variables and abstracts loop summary by symbolic computa-tion .This paper uses the loop summary in software dynamic analysis ,and proves that the loop summary can improve the efficiency of loop constraint solving and loop path traversal . |
| 英文摘要 | Compared to the traditional Fuzz testing, dynamic test generation can improve the efficiency of software testing and vulnerability analysis. This paper focuses on the performance of path covering and constraint solving in dynamic test generation, and proposes a method which constructs loop summary with induce variables and abstracts loop summary by symbolic computation. This paper uses the loop summary in software dynamic analysis, and proves that the loop summary can improve the efficiency of loop constraint solving and loop path traversal. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16974]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 聂楚江,刘海峰,苏璞睿,等. 一种面向程序动态分析的循环摘要生成方法[J]. 电子学报,2014,42(6):1110-1117. |
| APA | 聂楚江,刘海峰,苏璞睿,&冯登国.(2014).一种面向程序动态分析的循环摘要生成方法.电子学报,42(6),1110-1117. |
| MLA | 聂楚江,et al."一种面向程序动态分析的循环摘要生成方法".电子学报 42.6(2014):1110-1117. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。