[122] in Software_Announce
gcc with bounds checking available again
daemon@ATHENA.MIT.EDU (Greg Hudson)
Thu Jun 13 14:41:26 1996
Date: Thu, 13 Jun 1996 14:30:07 -0400
From: Greg Hudson <ghudson@MIT.EDU>
To: software-announce@MIT.EDU, developers@MIT.EDU
Cc: sipb-staff@MIT.EDU
GCC with bounds checking, previously available in the gnu locker, is
now available in the bounds locker for Linux/ELF, Solaris 2.4, IRIX
5.3, and NetBSD. (I've installed symlinks for i386_linux1, sun4m_53,
and sgi_52 for now since the binaries will run on Linux 1.x, Solaris
2.3, and IRIX 5.2.) The simple way to use it is to "add bounds" and
then use "bgcc" as your compiler.
The bounds-checking patches to gcc provide thorough checking for
pointer manipulation errors, and will catch some kinds of errors which
Purify won't.
See /mit/bounds/README for more information.