前往Shuct.Net首页

Shudepb PB反编译专家长时间以来,为业内同类软件事实上的唯一选择.细节,彰显专业.态度,决定品质.

关于反编译的搜索

C反编译控制流恢复的形式描述及算法--《计算机学报》1998年01期 收藏本站 首页 期刊全文库 学位论文库 会议论文库 年鉴全文库 学术百科 工具书 CNKI学问 注册|登录|我的账户 基础科学|工程科技I辑|工程科技II辑|医药卫生科技|信息科技|农业科技|哲学与人文科学|社会科学I辑|社会科学II辑|经济管理 高级搜索:用" 反编译 C语言 "到知网平台检索,点击这里搜索更多... 《计算机学报》 1998年01期 加入收藏 投稿 C反编译控制流恢复的形式描述及算法 赵蕾 王开铸 【摘要】:反编译是软件逆向工程的重要组成部分.控制流恢复是C反编译的重要组成部分.本文首先描述了验证反编译结果与原程序功能等价的模型;其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质(从函数的观点出发);再次根据对C控制语句编译结果的分析,以扩展的BNF形式描述了C控制语句反编译的约束属性文法;最后给出并说明了C反编译控制流恢复的算法及其运行示例. 【作者单位】: 哈尔滨工业大学计算机科学与工程系!哈尔滨 150001 哈尔滨工业大学计算机科学与工程系!哈尔滨 150001 【关键词】: 反编译 C语言 软件工具 软件逆向工程 【基金】:国防科工委项目基金 【分类号】:TP314【正文快照】: 1引言反编译器是一种将以机器语言形式存在的目标代码翻译成与其功能等价的高级语言形式代码的软件工具"'.可以通过测试反编译结果再编译连接生成的可执行代码与原始输入(可执行文件)对于不同输入的运行结果是否完全一致来验证功能等价,见图1.作为软件逆向工程的一个重 下载全文 更多同类文献 团体订阅中心 PDF全文下载 CAJ全文下载 (如何获取全文? 欢迎:购买知网充值卡、在线充值、在线咨询) CAJViewer阅读器支持CAJ、PDF文件格式,AdobeReader仅支持PDF格式 【引证文献】 中国期刊全文数据库 前3条 1 陈凯明,刘宗田,王武荣,叶勇;符号执行过程的DFA和CFA[J];计算机工程;2002年11期 2 陈凯明,刘宗田;逆编译系统中开关结构的识别与恢复[J];小型微型计算机系统;2000年12期 3 陈凯明,刘宗田,任传胜;逆编译中面向用户的中间语言设计和实现[J];小型微型计算机系统;2002年10期 中国博士学位论文全文数据库 前1条 1 陈凯明;逆编译中几项关键技术研究[D];合肥工业大学;2004年 中国硕士学位论文全文数据库 前3条 1 倪晓辉;支持多平台的逆向分析系统[D];浙江大学;2007年 2 厉蒋;SmartASM:面向嵌入式系统的目标代码协同分析工具[D];浙江大学;2006年 3 孙维新;静态二进制翻译中基本数据类型分析的研究与实现[D];解放军信息工程大学;2007年 【共引文献】 中国期刊全文数据库 前10条 1 赵蕾,王开铸;C 反编译库函数特点及识别[J];哈尔滨工业大学学报;1997年05期 2 刘宗田,兰群;C子集程序到C语言程序的变换[J];计算机研究与发展;1991年03期 3 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期 4 刘宗田;;从机器代码到高级语言程序的转换技术[J];计算机研究与发展;1992年11期 5 赵蕾,王开铸;C反编译库函数识别的算法研究及实现[J];计算机研究与发展;1997年04期 6 刘宗田,朱逸芬;符号执行技术在68000C反编译程序中的应用[J];计算机学报;1988年10期 7 李军,张翰英;C语言反编译系统的研究与实现[J];计算机工程与设计;1991年03期 8 刘宗田;68000C反编译系统中的变量类型恢复[J];微计算机应用;1989年06期 9 刘宗田;68000C反编译程序中的语句翻译器的设计与实现[J];小型微型计算机系统;1988年02期 10 陈福安,刘宗田,李力;8086 C语言反编译系统的设计及实现技术[J];小型微型计算机系统;1993年04期 中国硕士学位论文全文数据库 前2条 1 周正;HCO网络操作系统的Cx51实现[D];合肥工业大学;2006年 2 胡政;C++逆编译中模板库函数识别研究[D];中国科学技术大学;2006年 【同被引文献】 中国期刊全文数据库 前10条 1 赵东范;反汇编基本方法及Z280指令系统反汇编的实现[J];长春邮电学院学报;1994年02期 2 刘宗田,兰群;C子集程序到C语言程序的变换[J];计算机研究与发展;1991年03期 3 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期 4 赵蕾,王开铸;C反编译库函数识别的算法研究及实现[J];计算机研究与发展;1997年04期 5 宋海刚,陈学广;计算机支持的协同工作(CSCW)发展述评[J];计算机工程与应用;2004年01期 6 许向阳,雷涛,朱虹;反编译中的静态库识别研究[J];计算机工程与应用;2004年09期 7 吴金波,蒋烈辉,赵鹏;基于控制流的静态反汇编算法研究[J];计算机工程与应用;2005年30期 8 胡政;陈凯明;;C++逆编译中库函数识别研究[J];计算机工程与应用;2006年03期 9 王魁生,李人厚,李宏敏,张鹏程,任艳华;CSCW系统中实时协同设计模型的研究[J];计算机工程;2001年01期 10 林建明,陈庆章,赵小敏,吕灵燕;CSCW系统中群体感知技术的研究[J];计算机工程;2001年09期 中国博士学位论文全文数据库 前2条 1 齐宁;静态二进制翻译中基于软件规范的函数识别及恢复技术研究[D];解放军信息工程大学;2006年 2 苏铭;对IA-64结构特性优化代码的二进制翻译技术研究[D];解放军信息工程大学;2006年 【二级引证文献】 中国期刊全文数据库 前2条 1 陈凯明,刘宗田,王武荣,叶勇;符号执行过程的DFA和CFA[J];计算机工程;2002年11期 2 陈凯明,刘宗田,任传胜;逆编译中面向用户的中间语言设计和实现[J];小型微型计算机系统;2002年10期 中国博士学位论文全文数据库 前2条 1 陈凯明;逆编译中几项关键技术研究[D];合肥工业大学;2004年 2 齐宁;静态二进制翻译中基于软件规范的函数识别及恢复技术研究[D];解放军信息工程大学;2006年 中国硕士学位论文全文数据库 前1条 1 周正;HCO网络操作系统的Cx51实现[D];合肥工业大学;2006年 【相似文献】 中国期刊全文数据库 前10条 1 刘絮颖;尹青;蒋烈辉;刘建林;;基于结构语义树的高级控制结构恢复技术[J];计算机工程与设计;2011年09期 2 忽朝俭;李舟军;郭涛;时志伟;;写污点值到污点地址漏洞模式检测[J];计算机研究与发展;2011年08期 3 吕君可;;.NET软件代码分析与保护[J];计算机系统应用;2011年07期 4 邵长侠;;提取Flash脚本的三款软件的使用与比较[J];电脑知识与技术;2011年19期 5 胡刚;张翠艳;赵远;崔晨;;混合编码模式下的静态反汇编算法[J];信息工程大学学报;2011年03期 6 吴滨;蒋烈辉;舒辉;方霞;;基于模糊匹配的专用库函数识别技术[J];计算机工程;2011年16期 7 ;[J];;年期 8 ;[J];;年期 9 ;[J];;年期 10 ;[J];;年期 中国重要会议论文全文数据库 前6条 1 王颖;孙文靖;朱琳;闫昆;;应用软件逆向工程开展大系统软件时序分析[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年 2 王道堂;王菁;;AUTOCAD的字体库管理工具[A];中国土木工程学会计算机应用学会第六届年会土木工程计算机应用文集[C];1995年 3 朱建启;刘衍珩;汤岩;田奇;;软件保护技术[A];2006年全国理论计算机科学学术年会论文集[C];2006年 4 陈凯明;钱海;张军;王煦法;;获取用户库函数接口及源代码[A];2005年“数字安徽”博士科技论坛论文集[C];2005年 5 韦振锦;方华;成春艳;;三层结构在医保数据传输中的应用[A];广西计算机学会2007年年会论文集[C];2007年 6 邓超国;谷大武;胡维奇;;一种基于动态指令流的恶意程序检测方法[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年 中国重要报纸全文数据库 前10条 1 湖北 张海;阻止.NET程序反编译的利器——Dotfuscator[N];电脑报;2005年 2 河北 刘亚杰;芝麻,开门![N];中国电脑教育报;2001年 3 陈劲宏;深入虎穴寻文档[N];中国电脑教育报;2002年 4 小珍;把图书馆揣进兜里[N];电脑报;2005年 5 杨兴平;CHM文件编译利器[N];中国电脑教育报;2004年 6 杨兴平;制作CHM文件的利器——QuickCHM[N];电脑报;2004年 7 巧克力;让电子书“源”形毕露[N];中国电脑教育报;2003年 8 叶凡;CNNIC声明:奇虎应表明态度并公布立案信息[N];中国高新技术产业导报;2007年 9 呼啦互联 mayvu;解除电子书的“封印”[N];电脑报;2002年 10 本报记者 白斌;软件更新 用户有权说NO[N];中国电脑教育报;2007年 中国博士学位论文全文数据库 前6条 1 王新宇;大型遗留系统再工程研究[D];浙江大学;2007年 2 杨晓奇;事务存储编程和KD-50-I万亿次机软件库优化的若干问题研究[D];中国科学技术大学;2008年 3 张雪松;软件迷惑技术研究[D];吉林大学;2008年 4 张秀峰;AOP技术及其在软件安全中的应用[D];北京邮电大学;2008年 5 刁俊峰;软件安全中的若干关键技术研究[D];北京邮电大学;2007年 6 付剑晶;遥感软件知识产权与数字遥感影像版权保护[D];浙江大学;2012年 中国硕士学位论文全文数据库 前10条 1 雷涛;可执行程序的反编译[D];华中科技大学;2004年 2 车少敏;基于逆向工程的工资管理系统的设计与实现[D];南昌大学;2010年 3 邢锐;C++反编译技术研究及应用[D];南京大学;2012年 4 孟凡宇;软件再工程中的类层次重构与简化[D];吉林大学;2005年 5 屈翔珍;基于UML和RUP的逆向工程及其对注塑分析软件(MPI)建模的应用[D];南昌大学;2007年 6 王成;基于Win32的软件逆向工程的研究与应用[D];吉林大学;2008年 7 王飞;Java软件保护技术研究及实现[D];北京邮电大学;2007年 8 霍建雷;用于Java软件保护的代码混淆技术研究与实现[D];西北大学;2009年 9 张柏年;基于动态二进制翻译技术的反编译研究[D];上海交通大学;2008年 10 张晓锋;软件逆向工程相关技术研究与实现[D];电子科技大学;2007年 相关期刊 >计算机系统应用 >电脑知识与技术 >计算机研究与发展 >信息工程大学学报 >电脑爱好者 >计算机工程与设计 >计算机工程 相关机构 >山东师范大学传媒学院; >信息工程大学信息工程学院... >解放军信息工程大学信息工... >北京航空航天大学计算机学... >解放军信息工程大学信息工... >浙江师范大学行知学院; 相关作者 >张翠艳 >吴滨 >尹青 >吕君可 >霏非 >舒辉 >邵长侠 >刘建林 >崔晨 >胡刚 >忽朝俭 >赵远 >刘絮颖 >李舟军 >蒋烈辉 >方霞 >时志伟 >郭涛 快捷付款方式 订购知网充值卡 订购热线 帮助中心 银行卡 支付宝 神州行 知网卡 手机短信 更多>> 免费送卡上门 银行汇款购卡 邮局汇款购卡 400-819-9993 800-810-6613 010-62985026 常见问题 在线咨询 阅读器下载 广告服务 知网卡 关于知网 主办:中国知网 数字出版:《中国学术期刊(光盘版)》电子杂志社 地址:北京清华大学 84-48信箱 知识超市公司京ICP证040431号互联网出版许可证 新出网证(京)字008号 订购热线:400-819-9993 010-62982499 服务热线:800-810-6613 010-62791813 在线咨询:http://help.cnki.net 传真:010-62780361 北京市公安局海淀分局 备案号110 1081725