中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
一种面向程序动态分析的循环摘要生成方法
Alternative Title: A loop summarization method for dynamic binary program analysis
Author: 聂楚江 ; 刘海峰 ; 苏璞睿 ; 冯登国
Corresponding Author: Nie, Chu-Jiang
Keyword: 循环 ; 软件测试 ; 漏洞分析 ; 符号计算 ; loop ; software testing ; vulnerability analysis ; symbol computation
Source: 电子学报
Issued Date: 2014
Volume: 42, Issue:6, Pages:1110-1117
Indexed Type: EI
Department: 中国科学院软件研究所可信计算与信息保障实验室,北京,100190 北京信息安全测评中心,北京,100101
Abstract: 动态测试数据生成方法相对于传统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 .
English Abstract: 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.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16974
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
聂楚江,刘海峰,苏璞睿,等. 一种面向程序动态分析的循环摘要生成方法[J]. 电子学报,2014-01-01,42(6):1110-1117.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[聂楚江]'s Articles
[刘海峰]'s Articles
[苏璞睿]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[聂楚江]‘s Articles
[刘海峰]‘s Articles
[苏璞睿]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace