论文部分内容阅读
将含有库函数名的汇编代码程序翻译成中间语言程序,然后再转换成高级语言程序可降低逆编译的复杂性.文章介绍了从汇编程序到中间语言程序的转换过程中,采用基于数据流和控制流分析的符号执行方法.该方法已在基于知识的逆编译系统DECLER中实现.
符号执行过程的DFA和CFA
【摘 要】
：
将含有库函数名的汇编代码程序翻译成中间语言程序,然后再转换成高级语言程序可降低逆编译的复杂性.文章介绍了从汇编程序到中间语言程序的转换过程中,采用基于数据流和控制
【机 构】
：
中国科学技术大学计算机科学技术系,上海大学计算机学院,中国科学技术大学计算机科学技术系
【出 处】
：
计算机工程
【发表日期】
：
2002年11期
【基金项目】
：
高等学校博士学科点专项科研项目
其他文献
金钱化、权力化和形式化是科研异化现象三个最显著的特征，分别有其深刻的经济、体制和观念上的根源。三者的共同特点是，都使科研活动趋于过度外在化，从而使科研活动和从事科研活
任务型教学是高中英语教学中非常重要的内容,在学生英语学习中具有重要意义。在高中英语教学中,应用任务驱动法可以提高英语教学的效益。
传统发展理论蕴涵的价值评判在于发展就是一切。可持续发展理论立足于人类居住的地球只有一个，强调发展必须以人的健康生存、人的长远利益和人类种族的持续繁衍为目标。基于可
介绍一种基于Visual C++6.0开发平台的大型信息处理系统的软件并发性实现的方法.
分析了传统拨号连接方式在嵌入式Internet应用中存在的问题,即由于嵌入式系统的特殊性,嵌入式终端既不适合作为拨号客户,也不适合作为拨号服务器.然后提出了一种新的适于嵌入
主动网络是可编程网络.主动网络中的网络结点具有计算能力,它能对流经本地的数据进行计算和修改.介绍了主动网络(activenerwork)的应用,实现方案并通过具体实例Bowman和CANEs
由于时代不同、境遇不同，人们常常会对教师的职责进行不同的界定。作为古希腊哲人的苏格扭底，倾其一生，努力塑造了启迪他人智慧、捍卫法律尊严、执着追求至善的教师形象，其影响跨