%0 Journal Article
%T 一个程序静态分析方法
%J 北京理工大学学报
%D 1995
%X 阐述了程序静态分析方法，指出如何建立程序调用关系结构树、程序控制流和数据流，以及如何找出程序的结构错误、异常控制流和数据流．
%K 软件工程
%K 软件工具／结构树
%K 控制流
%K 数据流
%K 静态分析
%U http://journal.bit.edu.cn/zr/ch/reader/view_abstract.aspx?file_no=199505107&flag=1