com.ibm.wala.analysis.typeInference

Class TypeInference

java.lang.Object

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

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

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

com.ibm.wala.analysis.typeInference.TypeInference

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<TypeVariable>, com.ibm.wala.util.debug.VerboseAction

public class TypeInference
extends SSAInference<TypeVariable>
implements com.ibm.wala.fixpoint.FixedPointConstants

This class performs intraprocedural type propagation on an SSA IR.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static 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 com.ibm.wala.dataflow.ssa.SSAInference

SSAInference.OperatorFactory<T extends com.ibm.wala.fixpoint.IVariable>, SSAInference.VariableFactory

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement

Field Summary

Fields

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

Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and 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()
protected void	initializeWorkList()
boolean	isUndefined(int valueNumber)
static TypeInference	make(IR ir, boolean doPrimitives)
protected TypeVariable[]	makeStmtRHS(int size)
boolean	solve()
boolean	solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Methods inherited from class com.ibm.wala.dataflow.ssa.SSAInference

getVariable, init, toString

Methods inherited from class com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver

getFixedPointSystem

Methods inherited from class com.ibm.wala.fixedpoint.impl.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 java.lang.Object

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

Field Detail

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 Detail

TypeInference

protected TypeInference(IR ir,
             boolean doPrimitives)

Method Detail

make

public static TypeInference make(IR ir,
                 boolean doPrimitives)

solve

public boolean solve()

solve

public boolean solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Specified by:

solve in interface com.ibm.wala.fixpoint.IFixedPointSolver<TypeVariable>

Overrides:

solve in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<TypeVariable>

initialize

protected void initialize()

initializeVariables

protected void initializeVariables()

Specified by:

initializeVariables in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<TypeVariable>

initializeWorkList

protected void initializeWorkList()

Specified by:

initializeWorkList in class com.ibm.wala.fixedpoint.impl.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 com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<TypeVariable>