基于延后策略的动态多路径分析方法

ISCAS OpenIR > 信息安全国家重点实验室

	基于延后策略的动态多路径分析方法
Alternative Title	exploring multiple execution paths based on dynamic lazy analysis
	陈恺; 冯登国; 苏璞睿
	2010
Source	计算机学报
ISSN	0254-4164
Volume	33 Issue:3 Pages:493-503
English Abstract	多路径分析是弥补传统动态分析方法的不足、对可执行程序全面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题.文中通过对路径条件分析,确定了检测条件的基本组成元素,提出了弱控制依赖和路径引用集的概念和计算规则,并以此为基础提出一种延后策略的多路径分析方法.在程序分析过程中,对特定的程序检测点和检测点条件,有针对性地进行路径筛选,从语义上进行路径表达式简化,在保证检测点可达和检测表达式具有相同构造形式的前提下,简化检测表达式,减少分析路径的数量.对7款恶意软件的分析实验结果表明,该方法提高了分析效率和准确性.
Keyword	多路径分析可执行程序漏洞检测动态分析延后策略dynamic Analysis
Department	中国科学院研究生院信息安全国家重点实验室;中国科学院软件研究所信息安全国家重点实验室;信息安全共性技术国家工程研究中心;
Subject	Computer Science
Language	中文
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/9946
Collection	信息安全国家重点实验室
Recommended Citation GB/T 7714	陈恺,冯登国,苏璞睿. 基于延后策略的动态多路径分析方法[J]. 计算机学报,2010,33(3):493-503.
APA	陈恺,冯登国,&苏璞睿.(2010).基于延后策略的动态多路径分析方法.计算机学报,33(3),493-503.
MLA	陈恺,et al."基于延后策略的动态多路径分析方法".计算机学报 33.3(2010):493-503.

Files in This Item:
File Name/Size	DocType	Version	Access	License
基于延后策略的动态多路径分析方法.pdf（846KB）			开放获取	--	Application Full Text

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库