Re: [Caja] Functional auditor for Cajita

On Tue, Dec 8, 2009 at 12:26 AM, David Wagner <[email protected]> wrote:
> Does Cajita have the equivalent of Java's OutOfMemoryError,
> which can be thrown under effectively non-deterministic conditions?
> (The condition under which it is thrown is a deeply non-local
> condition.)

I'm sure there is some interpreter-dependent equivalent. The
"interpreter dependent" part is what makes it thorny though.

> Are we guaranteed in Cajita that whether an exception is thrown at
> any point is a deterministic function of the local state of named
> values involved in a specified computation (not the global state
> of the interpreter; not as a function of values not named explicitly
> in the code)?

I personally don't know; that said, I suspect that, in our world, we
would have to go through each possible state of madness that each JS
embedding in each Web browser could wedge itself into. Nontrivial. :/

Ihab

-- 
Ihab A.B. Awad, Palo Alto, CA