From owner-freebsd-hackers Fri Jun 30 07:05:46 1995 Return-Path: hackers-owner Received: (from majordom@localhost) by freefall.cdrom.com (8.6.10/8.6.6) id HAA02626 for hackers-outgoing; Fri, 30 Jun 1995 07:05:46 -0700 Received: from labinfo.iet.unipi.it (labinfo.iet.unipi.it [131.114.9.5]) by freefall.cdrom.com (8.6.10/8.6.6) with ESMTP id HAA02610 for ; Fri, 30 Jun 1995 07:04:54 -0700 Received: from localhost (luigi@localhost) by labinfo.iet.unipi.it (8.6.5/8.6.5) id QAA03404; Fri, 30 Jun 1995 16:03:45 +0200 Date: Fri, 30 Jun 1995 16:03:45 +0200 From: Luigi Rizzo Message-Id: <199506301403.QAA03404@labinfo.iet.unipi.it> To: hackers@freebsd.org Subject: GCC 2.6.3 with bounds checking - gnu.gcc.announce #63 Sender: hackers-owner@freebsd.org Precedence: bulk Is anyone working on this ? Looks interesting... In article <3sp3p9$llq@frigate.doc.ic.ac.uk>, rj3@doc.ic.ac.uk (Richard William Jones) writes: |> GCC 2.6.3 / Bounds Checking is released. |> Version 0.1 alpha. |> By Richard W.M. Jones |> |> You can now download patches to give full, fine-grained bounds & pointer |> checking for GCC. It will catch errors in C code such as the following: |> |> int i; |> char array[10]; |> |> for (i = 0; i <= 10; ++i) |> array[i] = 0; |> |> and |> |> struct linked_list *p = first; |> |> for (; p; p = p->next) free (p); |> |> You will need to have a fresh source tree for GCC 2.6.3. The patches |> are located in |> |> ftp://dse.doc.ic.ac.uk/pub/misc/bcc |> |> There is a README file there which you should read first. |> |> Rich. |> |> -- -- ==================================================================== Luigi Rizzo Dip. di Ingegneria dell'Informazione email: luigi@iet.unipi.it Universita' di Pisa tel: +39-50-568533 via Diotisalvi 2, 56126 PISA (Italy) fax: +39-50-568522 http://www.iet.unipi.it/~luigi/ ====================================================================