org.plumelib.bcelutil

Class StackVer

java.lang.Object

org.plumelib.bcelutil.StackVer

public final class StackVer
extends java.lang.Object

This is a slightly modified version of Pass3bVerifier from BCEL. It uses LimitedConstaintVisitor rather than InstConstraintVisitor to implement the constraints. The LimitedConstraintVisitor doesn't do any checking outside of the current class and removes some checks so that this will pass on the JDK. This version also provides the ability to get the contents of the stack for each instruction in the method.

This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition. More detailed information is to be found at the do_verify() method's documentation.

See Also:

get_stack_types()

Constructor Summary

Constructors

Constructor and Description
StackVer() This class should only be instantiated by a Verifier.

Method Summary

Modifier and Type	Method and Description
void	addMessage(java.lang.String message) This method adds a (warning) message to the message pool of this PassVerifier.
org.apache.bcel.verifier.VerificationResult	do_stack_ver(org.apache.bcel.generic.MethodGen mg) Implements the pass 3b data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
StackTypes	get_stack_types() Return the types on the stack at each byte code offset.

Methods inherited from class java.lang.Object

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

Constructor Detail

StackVer

public StackVer()

This class should only be instantiated by a Verifier.

See Also:

Verifier

Method Detail

get_stack_types

public StackTypes get_stack_types()

Return the types on the stack at each byte code offset. Only valid after do_stack_ver() is called.

Returns:

the StackTypes object for the method being verified

do_stack_ver

public org.apache.bcel.verifier.VerificationResult do_stack_ver(org.apache.bcel.generic.MethodGen mg)

Implements the pass 3b data flow analysis as described in the Java Virtual Machine Specification, Second Edition. As it is doing so it keeps track of the stack and local variables at each instruction.

Parameters:

mg - MethodGen for the method to be verified

Returns:

the VerificationResult

See Also:

Pass2Verifier.getLocalVariablesInfo(int)

addMessage

public void addMessage(java.lang.String message)

This method adds a (warning) message to the message pool of this PassVerifier.

Parameters:

message - the String containing the warning message