We should introduce a byte code verifier. This should ideally support the verification of class files with versions up to 1.7 and it should support the alternative verification mechanism introduced in JSR 202.
One alternative is to use verifiers from other projects such as justice from BCEL. Note that we cannot use GPL code (e.g. from Maxine) because the GPL is not compatible with our license (the Eclipse Public License).