Class DalvikTypeInference

java.lang.Object

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<TypeVariable>

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<TypeVariable>

com.ibm.wala.dataflow.ssa.SSAInference<TypeVariable>

com.ibm.wala.analysis.typeInference.TypeInference

com.ibm.wala.dalvik.analysis.typeInference.DalvikTypeInference

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<TypeVariable>, VerboseAction

public class DalvikTypeInference
extends TypeInference

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	DalvikTypeInference.DalvikTypeVarFactory
protected class	DalvikTypeInference.TypeOperatorFactory

Nested classes/interfaces inherited from class TypeInference

TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeVarFactory

Modifier and Type	Class	Description
protected static final class	TypeInference.DeclaredTypeOperator	An operator which initializes a type to a declared type.
protected static class	TypeInference.PrimitivePropagateOperator
class	TypeInference.TypeVarFactory

Nested classes/interfaces inherited from class SSAInference

SSAInference.OperatorFactory<T>, SSAInference.VariableFactory<T>

Modifier and Type	Class	Description
static interface	SSAInference.OperatorFactory<T extends IVariable<T>>
static interface	SSAInference.VariableFactory<T extends IVariable<T>>

Nested classes/interfaces inherited from class AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

Modifier and Type	Class	Description
protected class	AbstractFixedPointSolver.Statement

Field Summary

Fields inherited from class TypeInference

BOTTOM, cha, doPrimitives, ir, language

Modifier and Type	Field	Description
protected final TypeAbstraction	BOTTOM	A cone type for java.lang.Object
protected final IClassHierarchy	cha	The governing class hierarchy
protected final boolean	doPrimitives	should type inference track primitive types?
protected final IR	ir	The governing SSA form
protected final Language	language

Fields inherited from class AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Modifier and Type	Field	Description
static final int	DEFAULT_PERIODIC_MAINTENANCE_INTERVAL
static final int	DEFAULT_VERBOSE_INTERVAL
static final boolean	verbose
protected Worklist	workList	worklist for the iterative solver

Fields inherited from interface FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Modifier and Type	Field	Description
static final byte	CHANGED	A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.
static final byte	CHANGED_AND_FIXED	A return value which indicates that lhs has changed, and the statement need not be evaluated again.
static final int	CHANGED_MASK	The bit-mask which defines the "CHANGED" flag
static final int	FIXED_MASK	The bit-mask which defines the "FIXED" flag
static final byte	NOT_CHANGED	A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.
static final byte	NOT_CHANGED_AND_FIXED	A return value which indicates that lhs has not changed, and the statement need not be evaluated again.
static final int	SIDE_EFFECT_MASK	The bit-mask which defines the "SIDE EFFECT" flag

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DalvikTypeInference(IR ir, boolean doPrimitives)

Method Summary

Modifier and Type	Method	Description
protected void	initialize()
static DalvikTypeInference	make(IR ir, boolean doPrimitives)
protected TypeVariable[]	makeStmtRHS(int size)

Methods inherited from class TypeInference

extractAllResults, getConstantPrimitiveType, getConstantType, getIR, getType, initializeVariables, initializeWorkList, isUndefined, solve, solve

Modifier and Type	Method	Description
TypeAbstraction[]	extractAllResults()	Extract all results of the type inference analysis.
TypeAbstraction	getConstantPrimitiveType(int valueNumber)
TypeAbstraction	getConstantType(int valueNumber)
IR	getIR()
TypeAbstraction	getType(int valueNumber)	Return the type computed for a particular value number
protected void	initializeVariables()	Initialize all lattice vars in the system.
protected void	initializeWorkList()	Initialize the work list for iteration.j
boolean	isUndefined(int valueNumber)
boolean	solve()
boolean	solve(MonitorUtil.IProgressMonitor monitor)	Solve the set of dataflow graph.

Methods inherited from class SSAInference

getVariable, init, toString

Modifier and Type	Method	Description
protected TypeVariable	getVariable(int valueNumber)
protected void	init(IR ir, SSAInference.VariableFactory<TypeVariable> varFactory, SSAInference.OperatorFactory<TypeVariable> opFactory)	initializer for SSA Inference equations.
String	toString()	Return a string representation of the system

Methods inherited from class DefaultFixedPointSolver

getFixedPointSystem

Modifier and Type	Method	Description
IFixedPointSystem<TypeVariable>	getFixedPointSystem()

Methods inherited from class AbstractFixedPointSolver

addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor

Modifier and Type	Method	Description
void	addAllStatementsToWorkList()	Add all to the work list.
void	addToWorkList(AbstractStatement s)	Add a step to the work list.
void	changedVariable(TypeVariable v)	Call this method when the contents of a variable changes.
boolean	emptyWorkList()
int	getMaxEvalBetweenTopo()
int	getMinSizeForTopSort()
int	getNumberOfEvaluations()
protected int	getPeriodicMaintainInterval()	subclasses should override as desired.
Iterator<? extends INodeWithNumber>	getStatements()
double	getTopologicalGrowthFactor()
protected int	getVerboseInterval()	subclasses should override as desired.
void	incNumberOfEvaluations()
void	initForFirstSolve()	Some setup which occurs only before the first solve
static boolean	isChanged(byte code)
static boolean	isFixed(byte code)
static boolean	isSideEffect(byte code)
static String	lineBreak(String string, int wrap)
boolean	newStatement(TypeVariable lhs, NullaryOperator<TypeVariable> operator, boolean toWorkList, boolean eager)	Add a step with zero operands on the right-hand side.
boolean	newStatement(TypeVariable lhs, AbstractOperator<TypeVariable> operator, TypeVariable[] rhs, boolean toWorkList, boolean eager)	Add a step to the system with an arbitrary number of operands on the right-hand side.
boolean	newStatement(TypeVariable lhs, AbstractOperator<TypeVariable> operator, TypeVariable op1, TypeVariable op2, boolean toWorkList, boolean eager)	Add an equation with two operands on the right-hand side.
boolean	newStatement(TypeVariable lhs, AbstractOperator<TypeVariable> operator, TypeVariable op1, TypeVariable op2, TypeVariable op3, boolean toWorkList, boolean eager)	Add a step with three operands on the right-hand side.
boolean	newStatement(TypeVariable lhs, UnaryOperator<TypeVariable> operator, TypeVariable rhs, boolean toWorkList, boolean eager)	Add a step with one operand on the right-hand side.
void	orderStatements()
void	performVerboseAction()	optional method used for performance debugging
protected void	periodicMaintenance()	a method that will be called every N evaluations.
void	removeStatement(AbstractStatement<TypeVariable, ?> s)
void	setMaxEvalBetweenTopo(int i)
void	setMinEquationsForTopSort(int i)
void	setTopologicalGrowthFactor(double d)

Methods inherited from class Object

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

Constructor Details

DalvikTypeInference

protected DalvikTypeInference(IR ir,
 boolean doPrimitives)

Method Details

makeStmtRHS

protected TypeVariable[] makeStmtRHS(int size)

Overrides:

makeStmtRHS in class TypeInference

initialize

protected void initialize()

Overrides:

initialize in class TypeInference

make

public static DalvikTypeInference make(IR ir,
 boolean doPrimitives)