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.