Re: array bounds checking
8 Dec 2005 02:34:30 -0500

          From comp.compilers

Related articles
array bounds checking (dz) (2005-11-26)
Re: array bounds checking (2005-11-27)
Re: array bounds checking (Sudesh Chandna, Noida) (2005-11-29)
Re: array bounds checking (glen herrmannsfeldt) (2005-12-03)
Re: array bounds checking (2005-12-08)
Re: Array bounds checking (1990-06-15)
| List of all articles for this month |

Newsgroups: comp.compilers
Date: 8 Dec 2005 02:34:30 -0500
References: 05-11-121
Keywords: debug
Posted-Date: 08 Dec 2005 02:34:30 EST

dz wrote:
> Hi
> I am wondering if anybody knew how array bounds checks worked when
> they are references through multiple indirections of pointers. Eg: p =
> A ; q= &p; ***q+100=0; So q is referencing A. And hence I would like
> a check inserted there.
> Do array bounds checking handle these cases, because this
> also would need pointer analysis.

It's mostly hopeless if you want static bounds checks.
Please check Necula's "CCured: Type-Safe Retrofitting of Legacy Code",
It automatically does pointer kind type inference and insert runtime
bounds check
for wild pointers. pointer analysis is also needed to find the correct


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.