Package com.tonic.analysis.frame

StackMapTable frame computation and the type lattice it infers over.

Class Summary

Class	Description
FrameGenerator	Generates StackMapTable frames for a method.
TypeInference	Type inference engine for bytecode analysis.
TypeState	Immutable representation of the type state at a specific point in bytecode execution.
VerificationType	A verification type in a StackMapTable frame, as a sealed hierarchy.
VerificationType.ObjectType	Object verification type implementation.
VerificationType.PrimitiveType	Primitive verification type implementation.
VerificationType.UninitializedType	Uninitialized verification type implementation.