Package com.tonic.analysis.verifier.structural

Verification of instruction operands and overall method structure.

Class Summary

Class	Description
OperandValidator	Verifier pass that checks each instruction's constant pool operand points at an entry of the kind the opcode requires.
StructuralVerifier	Bytecode checker for the structure of a method body - code length, opcode validity, wide prefixes, operands, branch targets landing on instruction boundaries, and the last instruction not falling off the end.