Date: Fri, 30 Jun 1995 16:03:45 +0200 From: Luigi Rizzo <luigi@labinfo.iet.unipi.it> To: hackers@freebsd.org Subject: GCC 2.6.3 with bounds checking - gnu.gcc.announce #63 Message-ID: <199506301403.QAA03404@labinfo.iet.unipi.it>
next in thread | raw e-mail | index | archive | help
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 <rj3@doc.ic.ac.uk> |> |> 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/ ====================================================================
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199506301403.QAA03404>