lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


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?