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.