收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

符号执行中的循环依赖分析方法

刘杰  曹琰  魏强  彭建山  
【摘要】:符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空航天大学学报;1988年04期
2 夏勇;薛云志;陶秋铭;赵琛;;基于CTL的循环优化变换描述方法[J];计算机应用研究;2007年07期
3 刘宗田,朱逸芬;符号执行技术在68000C反编译程序中的应用[J];计算机学报;1988年10期
4 周雷;陈克非;;基于符号运算的归纳变量识别与约化[J];计算机工程;2010年24期
5 王嘉捷;蒋凡;张涛;;一种多重循环程序内存访问越界检测方法[J];中国科学院研究生院学报;2010年01期
6 赫枫龄,刘磊,张孝志;用有向图法解决公式循环依赖问题[J];计算机工程与设计;2004年02期
7 赫枫龄,刘磊,张孝志;报表系统中的公式循环依赖问题[J];计算机工程;2004年03期
8 赫枫龄,刘磊,张孝志;用有向图法确定报表系统中的公式计算顺序[J];计算机工程与应用;2003年36期
9 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期
10 卢虹,徐宝文;一种Web应用的状态测试方法[J];计算机工程与应用;2002年02期
11 史桂红;一种基于对象状态的软件测试方法[J];电脑与信息技术;2005年02期
12 洪宇;陈光;于见平;韩柯;;处理符号执行中数组元素混淆的一种新方法[J];计算机应用;2005年S1期
13 崔宝江;国鹏飞;王建新;;基于符号执行与实际执行的二进制代码执行路径分析[J];清华大学学报(自然科学版);2009年S2期
14 林锦滨;蒋凡;;错误模式和程序切片的软件漏洞检测[J];信息安全与通信保密;2009年11期
15 林锦滨;蒋凡;;执行路径建模进程化代码分析[J];计算机工程;2010年09期
16 娄坚波;刘久富;李金奎;王伟;;基于条件值的C/C++预处理测试算法[J];计算机工程;2011年14期
17 陈福安,刘宗田,李力;8086 C语言反编译系统的设计及实现技术[J];小型微型计算机系统;1993年04期
18 刘磊,刘英,张晓东;面向Java操作的可交换性检测技术[J];吉林大学自然科学学报;2000年01期
19 林梦香;陈胤立;陈睿;周刚;;基于懒替换的C符号执行[J];北京航空航天大学学报;2009年06期
20 代子营;毛晓光;马晓东;王瑞;;基于抽象符号表的内存模型[J];计算机工程与科学;2011年06期
中国重要会议论文全文数据库 前8条
1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
3 高海昌;冯博琴;侯芸;;测试数据自动生成的研究进展[A];2006中国控制与决策学术年会论文集[C];2006年
4 王建东;曾庆凯;;整数漏洞现状研究[A];2011年全国通信安全学术会议论文集[C];2011年
5 徐玮;成伟华;严志民;张亮;;基于ACOM模型的业务逻辑变更研究[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
6 汪存友;余嘉元;吴慧红;田金亭;;一项关于CTT与IRT参数不变性的实证研究[A];全国教育与心理统计与测量学术年会暨第八届海峡两岸心理与教育测验学术研讨会论文摘要集[C];2008年
7 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 庄棪;;浅析基于Rootkit技术的手机安全[A];四川省通信学会2011年学术年会论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
2 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
3 高鹰;代码迷惑及其语义研究[D];中国科学技术大学;2007年
4 钟金鑫;恶意代码二进制程序行为分析关键技术研究[D];北京邮电大学;2012年
5 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
6 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
7 周乃慧;血管生成素在人毛囊中的表达及其促毛发生长的作用研究[D];南京医科大学;2008年
8 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
9 陈石坤;面向程序验证的循环不变式自动构造技术研究[D];国防科学技术大学;2010年
10 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院(软件研究所);2002年
中国硕士学位论文全文数据库 前10条
1 肖戌;基于符号执行的软件脆弱性分析技术研究[D];电子科技大学;2011年
2 倪康奇;基于二进制代码的动态符号执行工具[D];上海交通大学;2011年
3 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年
4 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年
5 国鹏飞;基于动态符号执行的二进制代码漏洞挖掘系统研究与设计[D];北京邮电大学;2011年
6 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年
7 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
8 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
9 丁保贞;基于动态符号执行的代码分析工具的研究[D];上海交通大学;2012年
10 翁子盛;基于符号执行的C程序单元测试研究与实现[D];国防科学技术大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978