A Method for the Static Analysis of a Program
-
-
Abstract
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.
-
-