As a note, the Java VM and the Flash VM, at least, have strong bytecode verifiers specifically for security reasons.
gera
Gera
do they verify at execution time and cache? I checked a while ago but there were essentially checking that the stack was balanced... but it was long time ago.
Stef