This package adds full, fine-grained array bounds and pointer checking to GCC (C only). The level of checking is similar to, and in some respects exceeds, that of languages like Pascal and Modula-2.
Download
gcc-4.0.2 - gcc-4.0.2
Last Update: Sep 30 2005