论文部分内容阅读
IA-64体系结构支持判断执行，提高指令级并行性，但是编译器为了充分利用该特性而做的优化将程序代码进行深度重构，对逆向工程来说很难从优化后的可执行代码中恢复原程序逻辑。该文提出了消除谓词的反优化技术，提高了可执行代码逆向工程的质量。
IA-64逆向工程中谓词消除技术研究
【摘 要】
：
IA-64体系结构支持判断执行，提高指令级并行性，但是编译器为了充分利用该特性而做的优化将程序代码进行深度重构，对逆向工程来说很难从优化后的可执行代码中恢复原程序逻辑。该
【机 构】
：
解放军信息工程大学计算机科学与技术系
【出 处】
：
计算机工程
【发表日期】
：
2007年6期
【基金项目】
：
国防科研基金资助重点项目
其他文献
端夯扩碎石桩复合地基作为一种新的地基处理方式,由于其扩大桩头的存在大大提高了桩土应力比和地基承载能力,并导致其工作机理有别于夯扩桩和夯扩碎石桩复合地基。工程实践中
检察机关提起环境民事公益诉讼从提出以来一直伴随着各种争议,主要有检察机关的诉讼身份认识上的争议、违背了民事诉讼中当事人平等原则的争议、打破了原有的权力配置体系的
针对带缺省属性值的不完备信息系统,对已提出的容差关系、非对称相似关系、限制容差关系和修正容差关系等相似关系的局限性进行了剖析,提出了一种权衡容差关系,实例和分析说
介绍数字电源的主要特点和发展现状,提出一套基于便携式设备的数字电源系统的实现方案,论述了智能电池、智能充电器、负载功率转换器和PMBus/SMBus主机的硬件设计及软件设计
朊病毒病（Prion diseases）是一种在人和动物中均能发生的传染性疾病,主要是由朊蛋白（prion protein,PrP）在体内发生错误折叠和聚集而引起的。研究表明,细胞型PrPC向致病型PrPSc的
研究已有攻击图生成方法，提出基于权限提升的攻击图关联算法，实现一种有效的网络攻击图自动生成工具。该工具利用数据库对网络攻击进行建模，包括主机描述、网络连接、利用规则3
通过对模型描述语言的语法结构和语义表达特性的抽象分析,提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型,基于源模型语义域在目标语义域中
目的探索使用SimMan 3G模拟人进行心肺复苏情景模拟教学的应用效果。方法选择参加规培第2年的学员为研究对象,使用SimMan 3G模拟人进行心肺复苏的情景模拟教学,分析授课前后
随着高校不断扩招,大学毕业生已不再稀有,所面临的就业困境越来越显著。就业是民生问题,关系到经济发展和构建和谐社会,政府作为公共服务部门,对促进就业工作责无旁贷。高职
Mega-Volume Fat Transplantation to the Breast and Buttocks: A New Surgical Technique That Brings New
Objective: Autologous fat-grafting for the purpose of breast augmentation has gained widespread acceptance as a viable and safe alternative to classical breast