二进制翻译中的函数返回类型恢复技术

函数返回类型恢复分为库函数和用户函数返回类型恢复两类。分析IA-64体系结构在函数调用和返回方面的特性得知,用户函数返回类型恢复不是只能从调用者的角度进行分析，还可从被调用者的角度进行分析。综合两种分析方法的优缺点,提出了一种全新的函数返回类型恢复方法。介绍了静态二进制翻译系统ITA中基于控制流和数据流分析的函数返回类型恢复技术，并给出相应的实现算法。由IA-64体系结构的实例验证证明，该方法是一种实用的函数返回类型恢复方法。

Technology of recovering function return type in binary translation

Function return type recovery includes two types,one is library function return type;the other is user function return type.By analyzing the characteristics of call and return for function in IA-64 architecture,we know that the work could be done not only in the caller's position,but also in the callee's position.A new method used to recover function return type was introduced combining with the relative merits of them.The technology of recover function return type in ITA binary translator,which is based on the control-flow and data-flow,was introduced,and the corresponding algorithm was also proposed.The instance verification under IA-64 architecture proves that the method is a practical way to recover function return type.