com.ibm.wala.shrikeBT.analysis

Class Analyzer

java.lang.Object

com.ibm.wala.shrikeBT.analysis.Analyzer

Direct Known Subclasses:

Verifier

public class Analyzer
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Analyzer.FailureException This exception is thrown by verify() when it fails.
static class	Analyzer.PathElement
static class	Analyzer.TypeVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected int[][]	backEdges
protected java.util.BitSet	basicBlockStarts
protected java.lang.String	classType
protected ExceptionHandler[][]	handlers
protected ClassHierarchyProvider	hierarchy
protected IInstruction[]	instructions
protected int[]	instToBC
protected boolean	isConstructor
protected boolean	isStatic
protected java.lang.String[][]	locals
protected int	maxLocals
protected int	maxStack
protected static int[]	noEdges
protected static java.lang.String[]	noStrings
protected java.lang.String	signature
protected java.lang.String[][]	stacks
protected int[]	stackSizes
static java.lang.String	thisType
static java.lang.String	topType
protected java.lang.String[][]	varTypes

Constructor Summary

Constructors

Modifier	Constructor and Description
	Analyzer(boolean isConstructor, boolean isStatic, java.lang.String classType, java.lang.String signature, IInstruction[] instructions, ExceptionHandler[][] handlers, int[] instToBC, java.lang.String[][] vars)
protected	Analyzer(MethodData info)
protected	Analyzer(MethodData info, int[] instToBC, java.lang.String[][] vars)

Method Summary

Modifier and Type	Method and Description
void	computeTypes(Analyzer.TypeVisitor v, java.util.BitSet makeTypesAt, boolean wantPath) Verify the method and compute types at every program point.
static Analyzer	createAnalyzer(MethodData info)
java.lang.String	findCommonSupertype(java.lang.String t1, java.lang.String t2)
int[][]	getBackEdges()
java.util.BitSet	getBasicBlockStarts()
IInstruction[]	getInstructions()
java.lang.String[][]	getLocalTypes()
java.util.BitSet	getReachableFrom(int from)
java.util.BitSet	getReachableFrom(int from, boolean followHandlers, java.util.BitSet mask)
void	getReachableFromUpdate(int from, java.util.BitSet reachable, boolean followHandlers, java.util.BitSet mask)
void	getReachingToUpdate(int to, java.util.BitSet reaching, java.util.BitSet mask)
int[]	getStackSizes()
java.lang.String[][]	getStackTypes()
protected void	initTypeInfo()
boolean	isSubtypeOf(java.lang.String t1, java.lang.String t2)
void	setClassHierarchy(ClassHierarchyProvider h) Use class hierarchy information in 'h'.
static java.lang.String	stripSharp(java.lang.String type)

Methods inherited from class java.lang.Object

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

Field Detail

thisType

public static final java.lang.String thisType

See Also:

Constant Field Values

topType

public static final java.lang.String topType

See Also:

Constant Field Values

isConstructor

protected final boolean isConstructor

isStatic

protected final boolean isStatic

classType

protected final java.lang.String classType

signature

protected final java.lang.String signature

instructions

protected final IInstruction[] instructions

handlers

protected final ExceptionHandler[][] handlers

hierarchy

protected ClassHierarchyProvider hierarchy

maxStack

protected int maxStack

maxLocals

protected int maxLocals

stacks

protected java.lang.String[][] stacks

locals

protected java.lang.String[][] locals

stackSizes

protected int[] stackSizes

basicBlockStarts

protected java.util.BitSet basicBlockStarts

backEdges

protected int[][] backEdges

instToBC

protected int[] instToBC

varTypes

protected java.lang.String[][] varTypes

noStrings

protected static final java.lang.String[] noStrings

noEdges

protected static final int[] noEdges

Constructor Detail

Analyzer

public Analyzer(boolean isConstructor,
                boolean isStatic,
                java.lang.String classType,
                java.lang.String signature,
                IInstruction[] instructions,
                ExceptionHandler[][] handlers,
                int[] instToBC,
                java.lang.String[][] vars)

Analyzer

protected Analyzer(MethodData info)

Analyzer

protected Analyzer(MethodData info,
                   int[] instToBC,
                   java.lang.String[][] vars)

Method Detail

setClassHierarchy

public final void setClassHierarchy(ClassHierarchyProvider h)

Use class hierarchy information in 'h'. If this method is not called or h provides only partial hierarchy information, the verifier behaves optimistically.

getBackEdges

public final int[][] getBackEdges()

isSubtypeOf

public final boolean isSubtypeOf(java.lang.String t1,
                                 java.lang.String t2)

findCommonSupertype

public final java.lang.String findCommonSupertype(java.lang.String t1,
                                                  java.lang.String t2)

getBasicBlockStarts

public final java.util.BitSet getBasicBlockStarts()

getInstructions

public final IInstruction[] getInstructions()

getReachableFrom

public final java.util.BitSet getReachableFrom(int from)

getReachableFromUpdate

public final void getReachableFromUpdate(int from,
                                         java.util.BitSet reachable,
                                         boolean followHandlers,
                                         java.util.BitSet mask)

getReachableFrom

public final java.util.BitSet getReachableFrom(int from,
                                               boolean followHandlers,
                                               java.util.BitSet mask)

getReachingToUpdate

public final void getReachingToUpdate(int to,
                                      java.util.BitSet reaching,
                                      java.util.BitSet mask)

stripSharp

public static java.lang.String stripSharp(java.lang.String type)

getStackSizes

public int[] getStackSizes()
                    throws Analyzer.FailureException

Throws:

Analyzer.FailureException

initTypeInfo

protected final void initTypeInfo()
                           throws Analyzer.FailureException

Throws:

Analyzer.FailureException

computeTypes

public final void computeTypes(Analyzer.TypeVisitor v,
                               java.util.BitSet makeTypesAt,
                               boolean wantPath)
                        throws Analyzer.FailureException

Verify the method and compute types at every program point.

Throws:

Analyzer.FailureException - the method contains invalid bytecode

getLocalTypes

public final java.lang.String[][] getLocalTypes()

Returns:

an array indexed by instruction index; each entry is an array of Strings giving the types of the locals at that instruction.

getStackTypes

public final java.lang.String[][] getStackTypes()

Returns:

an array indexed by instruction index; each entry is an array of Strings giving the types of the stack elements at that instruction. The top of the stack is the last element of the array.

createAnalyzer

public static Analyzer createAnalyzer(MethodData info)