|
计算机科学 2010
Abnormal Behavior Model Based on Environment Constraint
|
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 analy...