JVM Bytecode tools

BCEL

​http://bcel.sourceforge.net/downloads/BCEL.jar

BCEL verifier

java -cp bcel.jar \
   org.apache.bcel.verifier.Verifier <CLASSFILE-TO-BE-VERIFIED>

​http://www.jresearchsoft.com:9091/nexus/content/repositories/thirdparty/org/apache/bcel/bcel/5.3-beta-694866/bcel-5.3-beta-694866.jar

java -cp bcel-5.3-beta-694866.jar \
                   org.apache.bcel.verifier.GraphicalVerifier \
                   <CLASSFILE-TO-BE-VERIFIED>

jvm-verifier

​Kersten's Verifier for Java Byte Codes

JustIce?

​http://bcel.sourceforge.net/justice/justice.html

A command line tool that produces diagnostics about incorrect bytecode. Now folded as part of BCEL.