摘要
阐述了程序静态分析方法,指出如何建立程序调用关系结构树、程序控制流和数据流,以及如何找出程序的结构错误、异常控制流和数据流.
A method for the static analysis of a program is presented.It describes how the structure tree, control flow and data flow for the program are created, and how the structure errors,anomalous control flows and data flows are found.
出处
《北京理工大学学报》
EI
CAS
CSCD
1995年第5期61-66,共6页
Transactions of Beijing Institute of Technology
关键词
软件工程
软件工具/结构树
控制流
数据流
静态分析
software engineering
software tools/structure tree
control flow
data flow
static analysis