一种基于环境约束的异常程序行为模型

摘要：

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

关键词：控制流、运行环境、程序行为

所属期刊栏目：37

分类号：TP309.7(计算技术、计算机技术)

资助基金：国家自然科学基金重大研究计划项目90718021

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：112-114,142