alt Hacker NewsIt sounds technically possible to build a JIT where a verifier checks that the JIT-generated code is correctly pizlonated before allowing it to become executable. :)
Replies
pizlonator • today at 4:10 AM
Yes
I have a new tech called SaRCAsm, which is a memory-safe assembler. So the next step is a "Sarcastic JIT" :-)
I think it makes more sense to verify that the jit is correct than to verify that it's output is correct at runtime.