array bounds checking

"dz" <drizzle76@gmail.com>
26 Nov 2005 00:23:47 -0500

          From comp.compilers
Related articles
array bounds checking drizzle76@gmail.com (dz) (2005-11-26)
Re: array bounds checking nmm1@cus.cam.ac.uk (2005-11-27)
Re: array bounds checking sudeshc@noida.hcltech.com (Sudesh Chandna, Noida) (2005-11-29)
Re: array bounds checking gah@ugcs.caltech.edu (glen herrmannsfeldt) (2005-12-03)
Re: array bounds checking neal.wang@gmail.com (2005-12-08)
Re: Array bounds checking pardo@june.cs.washington.edu (1990-06-15)
| List of all articles for this month |
From: "dz" <drizzle76@gmail.com>
Newsgroups: comp.compilers
Date: 26 Nov 2005 00:23:47 -0500
Organization: http://groups.google.com
Keywords: debug, question
Posted-Date: 26 Nov 2005 00:23:47 EST

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.


Any ideas/pointers to any papers ...
thanks
dz
[Depends on the language and implementation. If it has "fat" pointers that contain
type info, then the bounds can be in the pointers, or pointed to by fields in the
pointers. -John]


Post a followup to this message

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