| ▲ | Ohentis 43 minutes ago | |
I think it makes more sense to verify that the jit is correct than to verify that it's output is correct at runtime. | ||
| ▲ | pizlonator 38 minutes ago | parent [-] | |
Nah It's damn near impossible to verify that the JIT is correct. But it is possible to verify at runtime that the code that the JIT emitted obeys some memory safety law. (V8's heap sandbox is an example of this; a sarcastic JIT would be an arguably stronger example of this.) | ||