What is the "Java verifier"?

John Mitchell

The so-called Java verifier isn't really a separate thing -- it is really just part of the definition of the Java Virtual Machine. Basically, all conformant JREs must verify that the class files which it is attempting to load and run conform to all of the static constraints of the JVM. To learn all of the gory details, check out chapters 4 and 5 of The Java Virtual Machine Specification.