title: Why is the CLR's jmp instruction unverifiable?
body: <p>I've known about the jmp instruction for awhile, but it never struck me as being even remotely unsafe. I recently had cause to check the CIL specs and <a href="http://higherlogics.blogspot.com/2010/05/cil-verification-and-safety.html" rel="nofollow noreferrer">was very surprised to discover jmp is considered unverifiable</a>.</p>