Class TypeInference

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

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<TypeVariable>, VerboseAction

Direct Known Subclasses:

AstTypeInference, DalvikTypeInference

public class TypeInference
extends SSAInference<TypeVariable>
implements FixedPointConstants

This class performs intraprocedural type propagation on an SSA IR.

Nested Class Summary

Nested Classes

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
protected class	TypeInference.TypeOperatorFactory
class	TypeInference.TypeVarFactory

Nested classes/interfaces inherited from class SSAInference

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

Nested classes/interfaces inherited from class AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

Field Summary

Fields

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

Fields inherited from interface FixedPointConstants

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

Constructor Summary

Constructors

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

Method Summary

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	initialize()
protected void	initializeVariables()	Initialize all lattice vars in the system.
protected void	initializeWorkList()	Initialize the work list for iteration.j
boolean	isUndefined(int valueNumber)
static TypeInference	make(IR ir, boolean doPrimitives)
protected TypeVariable[]	makeStmtRHS(int size)
boolean	solve()
boolean	solve(MonitorUtil.IProgressMonitor monitor)	Solve the set of dataflow graph.

Methods inherited from class SSAInference

getVariable, init, toString

Methods inherited from class DefaultFixedPointSolver

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

Methods inherited from class Object

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

Field Details

ir

protected final IR ir

The governing SSA form

cha

protected final IClassHierarchy cha

The governing class hierarchy

language

protected final Language language

BOTTOM

protected final TypeAbstraction BOTTOM

A cone type for java.lang.Object

doPrimitives

protected final boolean doPrimitives

should type inference track primitive types?

Constructor Details

TypeInference

protected TypeInference(IR ir,
 boolean doPrimitives)

Method Details

make

public static TypeInference make(IR ir,
 boolean doPrimitives)

solve

public boolean solve()

solve

public boolean solve(MonitorUtil.IProgressMonitor monitor)

Description copied from class: AbstractFixedPointSolver

Solve the set of dataflow graph.

PRECONDITION: graph is set up

Specified by:

solve in interface IFixedPointSolver<TypeVariable>

Overrides:

solve in class AbstractFixedPointSolver<TypeVariable>

Returns:

true iff the evaluation of some equation caused a change in the value of some variable.

initialize

protected void initialize()

initializeVariables

protected void initializeVariables()

Description copied from class: AbstractFixedPointSolver

Initialize all lattice vars in the system.

Specified by:

initializeVariables in class AbstractFixedPointSolver<TypeVariable>

initializeWorkList

protected void initializeWorkList()

Description copied from class: AbstractFixedPointSolver

Initialize the work list for iteration.j

Specified by:

initializeWorkList in class AbstractFixedPointSolver<TypeVariable>

getIR

public IR getIR()

getType

public TypeAbstraction getType(int valueNumber)

Return the type computed for a particular value number

getConstantType

public TypeAbstraction getConstantType(int valueNumber)

getConstantPrimitiveType

public TypeAbstraction getConstantPrimitiveType(int valueNumber)

isUndefined

public boolean isUndefined(int valueNumber)

extractAllResults

public TypeAbstraction[] extractAllResults()

Extract all results of the type inference analysis.

Returns:

an array, where the i'th variable holds the type abstraction of the i'th value number.

makeStmtRHS

protected TypeVariable[] makeStmtRHS(int size)

Specified by:

makeStmtRHS in class AbstractFixedPointSolver<TypeVariable>