[sweetjuly]

Or, for an even more analogous example, see Google's pNaCl which was a native compilation target that provided many of the same security guarantees as wasm does while avoiding the need for complex JITs. pNaCl utilized a set of rules about control flow transitions and address formation which were enforced by a verifier to allow direct native code execution.

[actionfromafar]

Such a shame this didn’t take off. Couldn’t LLVM in theory be made to target pNaCL instructions?