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

符号执行技术研究

林锦滨  张晓菲  刘晖  
【摘要】:本文首先介绍了符号执行的过程内分析和程序全局分析的基本原理;接着介绍了其中的路径状态空间爆炸、复杂结构语义和操作语义建模及程序全局分析这三个关键技术的难点及相关研究;最后介绍了一些使用符号执行技术开发的研究型工具。本文从基本原理到技术难点,从理论基础到工具,系统全面地展现了符号执行技术。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 林梦香;陈胤立;陈睿;周刚;;基于懒替换的C符号执行[J];北京航空航天大学学报;2009年06期
2 洪宇;陈光;于见平;韩柯;;处理符号执行中数组元素混淆的一种新方法[J];计算机应用;2005年S1期
3 过辰楷;姬秀娟;许静;;基于分支混淆算法的符号执行技术[J];计算机科学;2012年09期
4 刘杰;曹琰;魏强;彭建山;;符号执行中的循环依赖分析方法[J];计算机工程;2012年22期
5 黄晖;陆余良;夏阳;;基于动态符号执行的二进制程序缺陷发现系统[J];计算机应用研究;2013年09期
6 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期
7 贾春福;王志;刘昕;刘昕海;;路径模糊:一种有效抵抗符号执行的二进制混淆技术[J];计算机研究与发展;2011年11期
8 周孔伟,蔡经球;符号执行—介于程序验证和程序调试之间的方法[J];小型微型计算机系统;1982年04期
9 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空学院学报;1988年04期
10 程绍银;蒋凡;林锦滨;唐艳武;;基于有限回溯符号执行的软件疑似缺陷的自动验证[J];清华大学学报(自然科学版);2009年S2期
11 梁娟娟;刘久富;朱丹丹;陈柯;;基于符号执行的软件静态测试研究[J];计算机技术与发展;2013年06期
12 曹琰;欧阳永基;魏强;王清贤;;基于混合输入的环境交互问题研究[J];计算机应用研究;2013年11期
13 牛伟纳;丁雪峰;刘智;张小松;;基于符号执行的二进制代码漏洞发现[J];计算机科学;2013年10期
14 范彧;;基于符号执行和数据挖掘的路径可达性检测研究[J];计算机与现代化;2013年03期
15 易晓东;杨学军;;一种C程序断言的全自动静态验证方法[J];计算机科学;2006年09期
16 赵跃华;阚俊杰;;基于符号执行的测试数据生成方法的研究与设计[J];计算机应用与软件;2014年02期
17 代子营;毛晓光;马晓东;王瑞;;基于抽象符号表的内存模型[J];计算机工程与科学;2011年06期
18 邵巳航;苏亭;顾斌;王政;杨孟飞;;基于过程间动态符号执行的C语言测试框架[J];计算机工程与设计;2014年08期
19 陆萍萍;李慧;穆文思;韩青;;基于混合符号执行的Fuzzing测试技术[J];计算机应用研究;2014年07期
20 聂森;李骁;王轶骏;薛质;;一种改进的智能Fuzzing平台设计方案[J];信息安全与通信保密;2013年12期
中国重要会议论文全文数据库 前2条
1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 刘峻宇;李强;余祥;何海洋;;基于符号执行的指挥信息系统软件缺陷检测技术[A];2014第二届中国指挥控制大会论文集(上)[C];2014年
中国博士学位论文全文数据库 前4条
1 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
2 曹琰;面向软件脆弱性分析的并行符号执行技术研究[D];解放军信息工程大学;2013年
3 陈厅;动态程序分析技术在软件安全领域的研究[D];电子科技大学;2013年
4 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年
2 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年
3 吉小丽;动态符号执行的性能优化[D];电子科技大学;2013年
4 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年
5 肖戌;基于符号执行的软件脆弱性分析技术研究[D];电子科技大学;2011年
6 倪康奇;基于二进制代码的动态符号执行工具[D];上海交通大学;2011年
7 朱聪;动态符号执行中的外部函数调用处理[D];电子科技大学;2013年
8 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
9 范彧;基于符号执行和数据挖掘的路径可达性检测[D];上海交通大学;2013年
10 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978