Static debugging tool and method

A method of detecting program errors or potential program errors in a binary program file, the method comprising the steps of:

• statically analyzing representation of the binary program file to detect program errors and potential program errors without executing the binary program file by searching through the binary program file while tracking the use of various program parameters for any inconsistent use of the various program parameters throughout the binary program file, wherein the representation of the binary program includes an intermediate file that represents the binary program file and includes flow paths and flow structure associated with the binary program;
• and
• outputting an error list of the errors or potential errors detected during the analyzing step.

A computer readable medium having program instructions for:

• causing a computer to statically analyze a representation of a binary program file that takes the form of an intermediate program file that includes flow paths and flow structure associated with the binary program, to detect the presence of program errors or potential program errors in the binary program file without executing the binary program file;
• and
• causing the computer to output an error list of the errors or potential errors detected.