Static Testing Tool

For static testing, there are static program analysers which scan the source program and detect possible faults and anomalies. These static tools parse the program text, recognize the various sentences, and detect the following:

• Statements are well-formed.
• Inferences about the control flow of the program.
• Compute the …