Extended Static Checking
Described is a system for detecting automatically at compile time certain errors that are normally not detected until run time, and sometimes not even then. For example, array bounds error...
ResearchChannel
-
Thu, 12 Feb 2009 20:53:50 -0500
Found on Truveo