Package com.tonic.analysis.verifier.controlflow

Class ExceptionTableVerifier

java.lang.Object

com.tonic.analysis.verifier.controlflow.ExceptionTableVerifier

public class ExceptionTableVerifier
extends Object

Verification pass over a method's exception table: range validity, handler targets, and overlaps.

Constructor Summary

Constructors

Constructor	Description
ExceptionTableVerifier(ClassFile classFile)	Creates the pass for one class.

Method Summary

Modifier and Type	Method	Description
void	verify(MethodEntry method, ErrorCollector collector)	Checks each exception-table entry's ranges, handler target, catch type, and overlap with other handlers.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionTableVerifier

public ExceptionTableVerifier(ClassFile classFile)

Creates the pass for one class.

Parameters:

classFile - the class whose constant pool resolves catch types

Method Detail

verify

public void verify(MethodEntry method,
                   ErrorCollector collector)

Checks each exception-table entry's ranges, handler target, catch type, and overlap with other handlers.

Parameters:

method - the method to check

collector - the sink for findings