|array bounds checking email@example.com (dz) (2005-11-26)|
|Re: array bounds checking firstname.lastname@example.org (2005-11-27)|
|Re: array bounds checking email@example.com (Sudesh Chandna, Noida) (2005-11-29)|
|Re: array bounds checking firstname.lastname@example.org (glen herrmannsfeldt) (2005-12-03)|
|Re: array bounds checking email@example.com (2005-12-08)|
|Re: Array bounds checking firstname.lastname@example.org (1990-06-15)|
|Date:||26 Nov 2005 00:23:47 -0500|
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 ...
[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
Return to the
Search the comp.compilers archives again.