面向危险操作的动态符号执行方法

发布时间：2017-09-04 02:38

  本文关键词：面向危险操作的动态符号执行方法

  更多相关文章： 危险操作 动态符号执行 污点分析 路径选择 缺陷检测

【摘要】：针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统Crash Finder,实验结果表明,该方法能够更快地发现更多缺陷.
【作者单位】： 计算机软件新技术国家重点实验室(南京大学);南京大学计算机科学与技术系;
【关键词】： 危险操作 动态符号执行 污点分析 路径选择 缺陷检测
【基金】：国家自然科学基金(61170070,61572248,61431008,61321491) 国家科技支撑计划(2012BAK26B01)~~
【分类号】：TP311.53
【正文快照】： 动态符号执行(dynamic symbolic execution)[1,2]是一种将具体执行与符号执行相结合的自动化测试技术,其目标是通过自动生成测试用例来尽量覆盖程序中的可行路径,进而发现程序内的缺陷.动态符号执行方法首先选择一个初始输入,以该输入同时具体执行与符号执行待测程序;执行过程

【参考文献】

中国期刊全文数据库 前1条

1 陈恺;冯登国;苏璞睿;;基于有限约束满足问题的溢出漏洞动态检测方法[J];计算机学报;2012年05期

【共引文献】

中国期刊全文数据库 前2条

1 曾诚;刘胜利;肖达;陈立根;;一种有效的Cisco IOS映像注入攻击分析方法[J];计算机应用研究;2013年12期

2 吕云芳;;计算机安全漏洞动态检测技术研究[J];电脑编程技巧与维护;2012年22期

【相似文献】

中国期刊全文数据库 前10条

1 洪宇;陈光;于见平;韩柯;;处理符号执行中数组元素混淆的一种新方法[J];计算机应用;2005年S1期

2 过辰楷;姬秀娟;许静;;基于分支混淆算法的符号执行技术[J];计算机科学;2012年09期

3 刘杰;曹琰;魏强;彭建山;;符号执行中的循环依赖分析方法[J];计算机工程;2012年22期

4 黄晖;陆余良;夏阳;;基于动态符号执行的二进制程序缺陷发现系统[J];计算机应用研究;2013年09期

5 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期

6 贾春福;王志;刘昕;刘昕海;;路径模糊:一种有效抵抗符号执行的二进制混淆技术[J];计算机研究与发展;2011年11期

7 周孔伟,蔡经球;符号执行—介于程序验证和程序调试之间的方法[J];小型微型计算机系统;1982年04期

8 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空学院学报;1988年04期

9 程绍银;蒋凡;林锦滨;唐艳武;;基于有限回溯符号执行的软件疑似缺陷的自动验证[J];清华大学学报(自然科学版);2009年S2期

10 梁娟娟;刘久富;朱丹丹;陈柯;;基于符号执行的软件静态测试研究[J];计算机技术与发展;2013年06期

中国重要会议论文全文数据库 前3条

1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

2 范海虹;;俄汉姓名称呼对比[A];外语语言教学研究——黑龙江省外国语学会第十一次学术年会论文集[C];1997年

3 刘峻宇;李强;余祥;何海洋;;基于符号执行的指挥信息系统软件缺陷检测技术[A];2014第二届中国指挥控制大会论文集（上）[C];2014年

中国博士学位论文全文数据库 前6条

1 张羽丰;符号执行可扩展性及可行性关键技术研究[D];国防科学技术大学;2013年

2 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年

3 安靖;动态符号执行关键技术研究[D];北京邮电大学;2014年

4 曹琰;面向软件脆弱性分析的并行符号执行技术研究[D];解放军信息工程大学;2013年

5 陈厅;动态程序分析技术在软件安全领域的研究[D];电子科技大学;2013年

6 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年

中国硕士学位论文全文数据库 前10条

1 李奇军;基于符号执行的代码静态检测方法研究与实现[D];电子科技大学;2015年

2 柯明敏;动态符号执行在软件漏洞自动化发掘领域的应用研究[D];电子科技大学;2015年

3 康文涛;符号执行工具KLEE约束求解优化设计与实现[D];电子科技大学;2014年

4 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年

5 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年

6 吉小丽;动态符号执行的性能优化[D];电子科技大学;2013年

7 邵巳航;基于过程间动态符号执行的自动测试工具设计与实现[D];华东师范大学;2014年

8 陈泓旭;基于选择性符号执行的补丁验证[D];上海交通大学;2014年

9 颜婷;分段式分析方法在动态符号执行中的应用[D];华东师范大学;2015年

10 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年

，

本文编号：788884