AssertionViolatedException ClassConstraintException CodeConstraintException InvalidMethodException LinkingConstraintException LoadingException LocalVariableInfoInconsistentException StaticCodeConstraintException StaticCodeInstructionConstraintException StaticCodeInstructionOperandConstraintException StructuralCodeConstraintException Utility VerificationException VerifierConstraintViolatedException