Package com.ibm.wala.shrike.shrikeBT.analysis

Class Analyzer

java.lang.Object

com.ibm.wala.shrike.shrikeBT.analysis.Analyzer

Direct Known Subclasses:

Verifier

public class Analyzer
extends Object

Author:

roca

Nested Class Summary

Nested Classes

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

thisType

public static final String thisType

See Also:

• Constant Field Values

topType

public static final String topType

See Also:

• Constant Field Values

isConstructor

protected final boolean isConstructor

isStatic

protected final boolean isStatic

classType

protected final String classType

signature

protected final 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 String[][] stacks

locals

protected String[][] locals

stackSizes

protected int[] stackSizes

basicBlockStarts

protected BitSet basicBlockStarts

backEdges

protected int[][] backEdges

instToBC

protected int[] instToBC

varTypes

protected String[][] varTypes

noStrings

protected static final String[] noStrings

noEdges

protected static final int[] noEdges

Constructor Details

Analyzer

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

Analyzer

protected Analyzer(MethodData info)

Analyzer

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

Method Details

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(String t1,
 String t2)

findCommonSupertype

public final String findCommonSupertype(String t1,
 String t2)

getBasicBlockStarts

public final BitSet getBasicBlockStarts()

getInstructions

public final IInstruction[] getInstructions()

getReachableFrom

public final BitSet getReachableFrom(int from)

getReachableFromUpdate

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

getReachableFrom

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

getReachingToUpdate

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

stripSharp

public static String stripSharp(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,
 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 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 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)