Variable dependency analysis of a computer program

To keep pace with the advancement of technology, software products are overlooking the chances of soft errors in the program. Program analysis to check program execution flow is an effective way to detect soft errors. High level language computer program execution can be analyzed on the basis of the dependence of the variables used in the program. This paper illustrates a novel method to analyze variable dependencies of program based on automated generation of dependence graph. Dependence graph depicts the connectivity between the program variables where variables works as the vertices and dependence between variables perform as edges. The automated generated dependence graph also discovers the critical variables of a program and these critical variables perform as the key to detect the sequential execution of a program outperforming the existing methods of program analysis.