PROGRAMS BY javer.sf.net

Javer is an open implementation of the Java Bytecode Verifier. It can be used as a stand alone application or plugged into a JVM.