Package com.tonic.analysis.verifier.stackmap

Verification of a method against its StackMapTable.

Class Summary

Class	Description
FrameComparator	Slot-by-slot comparison of declared StackMapTable frames against dataflow-computed frames.
FrameComparator.FrameMismatch	One difference between a declared and a computed frame slot; critical mismatches are stack-side.
StackMapVerifier	Verification pass that validates a method's StackMapTable against frames recomputed by dataflow.

Enum Summary

Enum	Description
FrameComparator.FrameMismatch.Location	Which frame area the mismatch is in.