In my bytecode instrumentation project, I stumble frequently on VerifyErrors. However, the default java Verifier gives little information on which instruction resulted in th
ASM CheckClassAdaptor.verify() gives great feedback: http://asm.ow2.org/