Package com.tonic.analysis.verifier.structural

Class StructuralVerifier

java.lang.Object

com.tonic.analysis.verifier.structural.StructuralVerifier

public class StructuralVerifier
extends Object

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.

Constructor Summary

Constructors

Constructor	Description
StructuralVerifier(ClassFile classFile)	Creates a verifier whose operand checks resolve pool references against a class.

Method Summary

Modifier and Type	Method	Description
void	verify(MethodEntry method, ErrorCollector collector)	Walks a method body and reports every structural fault to the collector, stopping early once the collector says to.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StructuralVerifier

public StructuralVerifier(ClassFile classFile)

Creates a verifier whose operand checks resolve pool references against a class.

Parameters:

classFile - the class supplying the constant pool, or null to skip pool checks

Method Detail

verify

public void verify(MethodEntry method,
                   ErrorCollector collector)

Walks a method body and reports every structural fault to the collector, stopping early once the collector says to.

Parameters:

method - the method to verify

collector - receives the verification errors