论文部分内容阅读
本文给出了对于IA-64体系结构可执行程序逆向恢复中过程识别和抽象的技术实现方法.采用自动机理论与模板匹配相结合的方法解决IA-64体系结构模板中不确定指令的识别问题.实现了基于数据流分析对过程调用的参数和返回值进行恢复的算法,有效地完成了过程调用的二进制代码向与硬件无关中间语言代码转换的恢复工作.