A METHOD FOR PROGRAM ANALYSIS BASED ON PROGRAM PLAN
一种基于格局的程序分析方法

his paper describes a method for automatically analyzing programs. Its implication is that a program consists of some elementary components which interact each other in stereotyped models, hence the authors may give some standard analyzing methods to analyze and understand programs automatically.