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

符号执行技术在68000C反编译程序中的应用

刘宗田  朱逸芬  
【摘要】:正 1.引言 符号执行是介于程序验证和程序调试之间的判断程序可靠性的技术,在68000C反编译程序的语句翻译器中,我们借用这一技术将68000汇编代码翻译成仅含有条件转移和无条件转移结构的C子集语句,68000C的总体结构及各部分功能可参阅[2,3]。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
2 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期
3 高敏芬;王志;;二进制代码分析与反分析技术开放实验的探索[J];实验室科学;2011年03期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前5条
1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
3 高海昌;冯博琴;侯芸;;测试数据自动生成的研究进展[A];2006中国控制与决策学术年会论文集[C];2006年
4 王建东;曾庆凯;;整数漏洞现状研究[A];2011年全国通信安全学术会议论文集[C];2011年
5 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前7条
1 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
2 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
3 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
4 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
5 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
6 陈石坤;面向程序验证的循环不变式自动构造技术研究[D];国防科学技术大学;2010年
7 梁晓兵;面向二进制程序漏洞挖掘的相关技术研究[D];北京邮电大学;2012年
中国硕士学位论文全文数据库 前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