计算机科学 ›› 2010, Vol. 37 ›› Issue (5): 112-114142.

• 软件工程 • 上一篇    下一篇

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

何加浪,徐建,张宏   

  1. (南京理工大学计算机科学与技术学院 南京210094),(南京大学计算机软件新技术国家重点实验室 南京210093)
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金重大研究计划项目(No. 90718021)资助。

Abnormal Behavior Model Based on Environment Constraint

HE Jia-lang,XU Jian,ZHANG Hong   

  • Online:2018-12-01 Published:2018-12-01

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

关键词: 控制流,运行环境,程序行为

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!