Re: Bytecode: Safe or not? / luac manual

[Frank Meier-Dörnberg <frank@...>]

Stefan,

Am 01.11.2011 16:42, schrieb Paul Hudson:

[...]
Lua is more than powerful enough to have the halting-problem - you can't tell if some bytecode you receive will terminate or not.[...]

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?

Cheers
Frank