Package com.tonic.analysis.verifier.controlflow

Verification of branch targets and exception table ranges.

Class Summary

Class	Description
ControlFlowVerifier	Verification pass over a method's control-flow graph: reachability and path termination.
ExceptionTableVerifier	Verification pass over a method's exception table: range validity, handler targets, and overlaps.