10.3969/j.issn.1002-137X.2010.05.026
一种基于环境约束的异常程序行为模型
在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题.同时根据程序的局部运行原理,将分析范围限定在函数范围内.实验结果表明模型具有较好的精确性和较低的性能影响.
控制流、运行环境、程序行为
37
TP309.7(计算技术、计算机技术)
国家自然科学基金重大研究计划项目90718021
2010-06-30(万方平台首次上网日期,不代表论文的发表时间)
共4页
112-114,142