Modifier and Type	Class and Description
private static class	Pass3bVerifier.InstructionContextQueue An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure.

Modifier and Type	Field and Description
private static final boolean	DEBUG In DEBUG mode, the verification algorithm is not randomized.
private final int	methodNo The method number to verify.
private final Verifier	myOwner The Verifier that created this.

Access	Constructor and Description
public	Pass3bVerifier(final Verifier myOwner, final int methodNo) This class should only be instantiated by a Verifier.

Method Summary

Modifier and Type	Method and Description
private void	circulationPump(final MethodGen m, final ControlFlowGraph cfg, final InstructionContext start, final Frame vanillaFrame, final InstConstraintVisitor icv, final ExecutionVisitor ev) Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
public VerificationResult	do_verify() Implements abstract org.apache.bcel.verifier.PassVerifier.do_verify. Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
public int	getMethodNo() Returns the method number as supplied when instantiating.
public void	invalidReturnTypeError(final Type the type of the returned expression returnedType, final MethodGen the method we are processing m) Throws an exception indicating the returned type is not compatible with the return type of the given method.

Inherited from org.apache.bcel.verifier.PassVerifier:: addMessage getMessages getMessagesList verify

Field Detail

DEBUG	back to summary
private static final boolean DEBUG In DEBUG mode, the verification algorithm is not randomized.

methodNo	back to summary
private final int methodNo The method number to verify.

myOwner	back to summary
private final Verifier myOwner The Verifier that created this.

Pass3bVerifier	back to summary
public Pass3bVerifier(final Verifier myOwner, final int methodNo) This class should only be instantiated by a Verifier. See Also `org.apache.bcel.verifier.Verifier`

Method Detail

circulationPump	back to summary
private void circulationPump(final MethodGen m, final ControlFlowGraph cfg, final InstructionContext start, final Frame vanillaFrame, final InstConstraintVisitor icv, final ExecutionVisitor ev) Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited]. The proof of termination is about the existence of a fix point of frame merging.

circulationPump

back to summary

private void circulationPump(final MethodGen m, final ControlFlowGraph cfg, final InstructionContext start, final Frame vanillaFrame, final InstConstraintVisitor icv, final ExecutionVisitor ev)

Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited]. The proof of termination is about the existence of a fix point of frame merging.

do_verify back to summary

do_verify	back to summary
public VerificationResult do_verify() Implements abstract org.apache.bcel.verifier.PassVerifier.do_verify. Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition. Later versions will use LocalVariablesInfo objects to verify if the verifier-inferred types and the class file's debug information (LocalVariables attributes) match [TODO]. Returns:VerificationResult Doc from org.apache.bcel.verifier.PassVerifier.do_verify. The VerificationResult Annotations @Override See Also `org.apache.bcel.verifier.statics.LocalVariablesInfo`, `org.apache.bcel.verifier.statics.Pass2Verifier#getLocalVariablesInfo(int)`

public VerificationResult do_verify()

Implements abstract org.apache.bcel.verifier.PassVerifier.do_verify.

Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition. Later versions will use LocalVariablesInfo objects to verify if the verifier-inferred types and the class file's debug information (LocalVariables attributes) match [TODO].

Returns:VerificationResult

Doc from org.apache.bcel.verifier.PassVerifier.do_verify.

The VerificationResult

Annotations

@Override

getMethodNo	back to summary
public int getMethodNo() Returns the method number as supplied when instantiating.

invalidReturnTypeError	back to summary
public void invalidReturnTypeError(final Type returnedType, final MethodGen m) Throws an exception indicating the returned type is not compatible with the return type of the given method. Parameters returnedType:Type the type of the returned expression m:MethodGen the method we are processing Exceptions StructuralCodeConstraintException: always Since 6.0

invalidReturnTypeError

back to summary

public void invalidReturnTypeError(final Type returnedType, final MethodGen m)

Throws an exception indicating the returned type is not compatible with the return type of the given method.

Parameters

returnedType:Type: the type of the returned expression
m:MethodGen: the method we are processing

Exceptions

StructuralCodeConstraintException:: always

Since

6.0

org.apache.bcel.verifier.structurals back to summary

private final Class Pass3bVerifier.InstructionContextQueue

Class Inheritance

extends Object

java.lang.Object
org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue

An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure. This is used to hold information about InstructionContext objects externally --- i.e. that information is not saved inside the InstructionContext object itself. This is useful to save the execution path of the symbolic execution of the Pass3bVerifier - this is not information that belongs into the InstructionContext object itself. Only at "execute()"ing time, an InstructionContext object will get the current information we have about its symbolic execution predecessors.

Field Summary

Modifier and Type	Field and Description
private final List<ArrayList<InstructionContext>>	ecs The second elements from pairs in the queue.
private final List<InstructionContext>	ics The first elements from pairs in the queue.

Constructor Summary

Access	Constructor and Description
private	InstructionContextQueue()

Method Summary

Modifier and Type	Method and Description
public void	add(final InstructionContext the InstructionContext ic, final ArrayList<InstructionContext> the ExecutionChain executionChain) Adds an (InstructionContext, ExecutionChain) pair to this queue.
public ArrayList<InstructionContext>	Returns: the indicated ExecutionChain getEC(final int the index of the item to be fetched i) Gets a specific ExecutionChain from the queue.
public InstructionContext	Returns: the indicated InstructionContext getIC(final int the index of the item to be fetched i) Gets a specific InstructionContext from the queue.
public boolean	Returns: true if the InstructionContext queue is empty. isEmpty() Tests if InstructionContext queue is empty.
public void	remove(final int the index of the items to be removed i) Removes a specific (InstructionContext, ExecutionChain) pair from their respective queues.
public int	Returns: the size of the InstructionQueue size() Gets the size of the InstructionContext queue.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

ecs	back to summary
private final List<ArrayList<InstructionContext>> ecs The second elements from pairs in the queue.

ics	back to summary
private final List<InstructionContext> ics The first elements from pairs in the queue.

Constructor Detail

InstructionContextQueue	back to summary
private InstructionContextQueue()

Method Detail

add	back to summary
public void add(final InstructionContext ic, final ArrayList<InstructionContext> executionChain) Adds an (InstructionContext, ExecutionChain) pair to this queue. Parameters ic:InstructionContext the InstructionContext executionChain:ArrayList<InstructionContext> the ExecutionChain

add

back to summary

public void add(final InstructionContext ic, final ArrayList<InstructionContext> executionChain)

Adds an (InstructionContext, ExecutionChain) pair to this queue.

Parameters

ic:InstructionContext: the InstructionContext
executionChain:ArrayList<InstructionContext>: the ExecutionChain

getEC	back to summary
public ArrayList<InstructionContext> getEC(final int i) Gets a specific ExecutionChain from the queue. Parameters i:int the index of the item to be fetched Returns:ArrayList<InstructionContext> the indicated ExecutionChain

getEC

back to summary

public ArrayList<InstructionContext> getEC(final int i)

Gets a specific ExecutionChain from the queue.

Parameters

i:int: the index of the item to be fetched

Returns:ArrayList<InstructionContext>

the indicated ExecutionChain

getIC	back to summary
public InstructionContext getIC(final int i) Gets a specific InstructionContext from the queue. Parameters i:int the index of the item to be fetched Returns:InstructionContext the indicated InstructionContext

getIC

back to summary

public InstructionContext getIC(final int i)

Gets a specific InstructionContext from the queue.

Parameters

i:int: the index of the item to be fetched

Returns:InstructionContext

the indicated InstructionContext

isEmpty	back to summary
public boolean isEmpty() Tests if InstructionContext queue is empty. Returns:boolean true if the InstructionContext queue is empty.

isEmpty

back to summary

public boolean isEmpty()

Tests if InstructionContext queue is empty.

Returns:boolean: true if the InstructionContext queue is empty.

remove	back to summary
public void remove(final int i) Removes a specific (InstructionContext, ExecutionChain) pair from their respective queues. Parameters i:int the index of the items to be removed

remove

back to summary

public void remove(final int i)

Removes a specific (InstructionContext, ExecutionChain) pair from their respective queues.

Parameters

i:int: the index of the items to be removed

size	back to summary
public int size() Gets the size of the InstructionContext queue. Returns:int the size of the InstructionQueue

size

back to summary

public int size()

Gets the size of the InstructionContext queue.

Returns:int: the size of the InstructionQueue

public final Class Pass3bVerifier

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

private final Class Pass3bVerifier.InstructionContextQueue

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail