杨克峤 作品数:16 被引量:7 H指数:2 供职机构: 复旦大学 更多>> 发文基金: 河南省杰出人才创新基金 国家科技重大专项 更多>> 相关领域: 自动化与计算机技术 更多>>
二进制翻译中的函数返回类型恢复技术 2007年 函数返回类型恢复分为库函数和用户函数返回类型恢复两类。分析IA-64体系结构在函数调用和返回方面的特性得知,用户函数返回类型恢复不是只能从调用者的角度进行分析,还可从被调用者的角度进行分析。综合两种分析方法的优缺点,提出了一种全新的函数返回类型恢复方法。介绍了静态二进制翻译系统ITA中基于控制流和数据流分析的函数返回类型恢复技术,并给出相应的实现算法。由IA-64体系结构的实例验证证明,该方法是一种实用的函数返回类型恢复方法。 吴伟峰 赵荣彩 齐宁 杨克峤关键词:IA-64 数据流 控制流 二进制翻译 基于对象拥有关系的动态数据竞争检测 并发错误的检测对开发多线程程序非常重要。动态数据竞争检测技术比静态竞争检测相对精确,但执行被插桩的代码和记录访问信息引入了巨大的时间开销,这限制了动态竞争检测的广泛使用。本文在已有研究的基础上,基于对象拥有关系,提出了三... 杨克峤 胡益斌文献传递 利用NJMCT构建IA-64反汇编器 2005年 IA-64作为64位处理器架构,代表了一种新型微处理器的发展方向。在研究IA-64指令特点的基础上,利用NJMCT能对指令流进行操作的功能,构建了IA-64反汇编器。 杨克峤 赵荣彩 丁渊关键词:IA-64 软件逆向工程 一种自动流水并行的实现方法 本发明属于程序编译技术领域,具体为一种自动流水并行的实现方法。本发明方法主要包括:(1)流水并行的识别,具有跨循环迭代的依赖且依赖距离向量为常量的循环结构;(2)线程间同步,依据依赖距离向量插入同步,删除具有相同距离向量... 杨克峤 李弋 臧斌宇IA-64解码器自动生成器的设计与实现 2007年 IA-64体系结构使用64位指令集,该指令集应用显式并行指令计算(EPIC)技术,可提供更高的指令级并行性(ILP),但同时也给IA-64二进制代码流的分析和变换带来了困难。介绍了一个IA-64解码器自动生成器的结构与实现,该生成器的输入为IA-64指令集的SLED描述,自动生成用于IA-64指令解码器的C代码。通过该生成器可有效减少解码器的开发时间,确保解码器的正确性,提高解码器的执行效率。实现的自动生成器可应用于IA-64二进制翻译及逆向工程中。 齐宁 杨克峤 苏铭 赵荣彩关键词:IA-64 解码器 生成器 二进制翻译 逆向工程 在静态编译器中实现Java异常机制的算法 被引量:2 2009年 将Java程序静态编译成可执行程序是使用Java虚拟机动态编译/解释执行Java程序的另一种运行Java程序的方式。针对Java异常机制的特点和静态编译的需求,在介绍Java异常处理逻辑的基础上,提出一种在静态编译器中实现Java异常机制的算法,结合Open64开源编译器,给出该算法的具体步骤以及实现方式,以SPECjvm98为测试集,验证该算法的有效性。 曹志伟 杨克峤 王伟 周寻 杨珉关键词:JAVA语言 WHIRL SSA:一种基于高级中间表示的优化结构 中间表示对编译器的性能、效率和可扩展性都起着决定性作用。Open64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息。本文基于WHIRL对SSA(Static Single... 杨克峤 李健一种基于谓词的自动并行优化方法 本发明属于程序编译技术领域,具体为一种基于谓词的自动并行优化方法。该方法主要包括:(1)谓词的构建,通过用户程序的多种已知信息,构建程序的并行谓词,消除程序的简单依赖;(2)构建并行循环结构,在谓词条件的约束下,展开后续... 杨克峤 李弋 臧斌宇文献传递 一种自动流水并行的实现方法 本发明属于程序编译技术领域,具体为一种自动流水并行的实现方法。本发明方法主要包括:(1)流水并行的识别,具有跨循环迭代的依赖且依赖距离向量为常量的循环结构;(2)线程间同步,依据依赖距离向量插入同步,删除具有相同距离向量... 杨克峤 李弋 臧斌宇文献传递 反编译器中针对不同编译器的过程识别技术 2007年 过程识别技术及相关参数的提取是二进制翻译中过程调用恢复的基础。为较好实现对过程的识别,首先设计了针对GCC编译的ELF(executable and linkable format)文件的过程识别技术,取得了良好的效果。不过随着研究的深入,要求对C编译器和ICC(Intel C++compiler)编译器同时具有良好的支持,但在测试中发现这种识别技术在处理ICC编译的ELF程序指令流时存在的一些问题,为此提出了改进算法,这个算法已经在IA-64-Alpha反编译中实现,从而使系统对C编译器和ICC编译器编译的ELF文件都能进行正确的过程识别和参数提取。 朱晓珺 庞建民 杨克峤 崔平非关键词:反编译