A general and formal method for the program static analysis

This paper tries to provide a general and formal method for the program static analysis. For this purpose, a projecting model of directed graph is developed. The regularity of control flow and data flow as well as programs are defined. How to analyse the programs by means of projecting is discussed. The method proposed here is called “projecting technique”, which has been successfully used in a fine automated analysis system for FORTRAN programs. It appears more general, simpler and more flexiable than those methods proposed before.