Программы javer.sf.net

Javer является открытой реализацией Java Bytecode Verifier. Он может быть использован в качестве самостоятельного приложения или подключен к JVM.