计算机科学 ›› 2010, Vol. 37 ›› Issue (5): 112-114142.
• 软件工程 • 上一篇 下一篇
何加浪,徐建,张宏
出版日期:
发布日期:
基金资助:
HE Jia-lang,XU Jian,ZHANG Hong
Online:
Published:
摘要: 在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。
关键词: 控制流,运行环境,程序行为
Abstract: Including environmental factors for the procedure operation in the control-flow model, combining with the advantages of static analysis methods, this paper established the model for analysis of procedure behaviors. It marked function call instructions, using consistency constraint to return value to overcome the indirect call problems that the general method produces for avoiding the function pointer in a dynamic run-time. At the same time, using the local principle of the procedure limited the scope of the analysis in the functions. The experimental results show that the model has good accuracy and lower performance impact.
Key words: Control flow,Operating environment,Program behavior
何加浪,徐建,张宏. 一种基于环境约束的异常程序行为模型[J]. 计算机科学, 2010, 37(5): 112-114142. https://doi.org/
HE Jia-lang,XU Jian,ZHANG Hong. Abnormal Behavior Model Based on Environment Constraint[J]. Computer Science, 2010, 37(5): 112-114142. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2010/V37/I5/112
Cited