符号执行过程的DFA和CFA

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