Esthetics (or worse?) of Secure Pointers

[Joern Rennecke]

> Hmmm... I suppose I was looking at it from a different perspective.  It
> seems that if all pointers are bounded pointers, it becomes trivial to
> propogate information about the "real" pointed to object (ie, because I
> pointer could be at an offset from the 'real' object).  Now if you
> introduce transitions between bounded and unbounded pointers, you somehow
> have to do a search to resolve what an unbounded pointer points to.

No search is needed - you just have to accept that an unbounded pointer is
just that, unbounded.  So when you translate it into a bounded pointer,
the bounds become the start and end of the address space.