Abstract: A method of automatically detecting errors in computer program caused by erroneous memory allocations and deallocations, flawed logic structure, and/or hardware malfunctions. The inventive method uses a pre-defined first table structure to monitor all data storage allocations and deallocations of a computer program. Another aspect of the invention is the use of a second table to track existing memory allocations that are not properly deallocated at the end of a program. The invention also includes a method for detecting program errors that inadvertently overwrite memory locations whose values should remain constant during the execution of a program.