论文部分内容阅读
软件规范中的函数调用约定指出,caller和callee都需要保存函数调用前后的程序状态.根据数据流分析和过程间分析,caller和callee会保存和恢复的程序状态有不同的分工.数据流分析方法在决定对callcc-save的寄存器是否要保存恢复时是从理论上在函数的入口保存寄存器状态而在函数的出口恢复寄存器状态,然而在特定控制流路径上并没有对一些保存的全局寄存器的状态进行修改,所以这些控制流路径上的寄存器保存恢复实际上是冗余的.该文提出了一种简单快捷的反向数据流分析方法,对特定控制流路径上的callee-