Chương trình theo javer.sf.net

Javer là một triển khai mở của Java Bytecode Verifier. Nó có thể được sử dụng như một ứng dụng độc lập hoặc cắm vào một JVM.