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