jasm.verifier (Jasm API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV PACKAGE NEXT PACKAGE

FRAMES NO FRAMES

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
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`.
TypeAnalysis.Store	An abstract representation of the typing environment used in the JVM bytecode verifier.

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

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).