Am 01.11.2011 16:42, schrieb Paul Hudson:
That is what i see too. So let me ask:
Do you want to verify that the (possibly created in bad faith) byte code will terminate?
Or do you want to verify that the bytecode only refer to "allowed" ("in-sandbox") variables/functions?