Package jasm.verifier

Provides classes for verifying that a given class file is valid with respect to the JVM Specification (e.g.

See: Description

Class Summary

Class	Description
ClassFileVerifier	The purpose of validation is to check that a given class conforms to the JVM spec.
TypeAnalysis	A forward flow analysis which determines the type of each variable and stack location in a given ClassFile.Method.

Exception Summary

Exception	Description
TypeAnalysis.VerificationException	Indicates that the bytecode being analysis is malformed in some manner.

Package jasm.verifier Description

Provides classes for verifying that a given class file is valid with respect to the JVM Specification (e.g. types are valid, names are valid, etc).

Author:

David J. Pearce