Chronon Systems, which offers technology for recording and playing back Java programs, contends that the bytecode verifier featured in Java 7 is a huge step backward for the Java virtual machine.

It’s possible to create byte code by hand that attempts to accomplish tasks Sun’s Java compiler would never let you do. The Java verifier examines all such application byte code and ...

Our guide to Java bytecode comes in two forms ... Examining the disassembled contents of HelloWorld is interesting; in particular, we can verify a few assumptions about the Java compiler right off.