论文部分内容阅读
在控制流模型中加入影响程序运行的环境因素，结合静态分析方法的优点，建立了程序异常行为分析模型，用以标记函数调用指令，并在动态运行时进行返回值一致性约束，从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理，将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。