Package com.ibm.wala.dalvik.analysis.typeInference

Class DalvikTypeInference

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

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 com.ibm.wala.analysis.typeInference.TypeInference

TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeVarFactory

Nested classes/interfaces inherited from class com.ibm.wala.dataflow.ssa.SSAInference

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

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

AbstractFixedPointSolver.Statement

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference

BOTTOM, cha, doPrimitives, ir, 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	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 com.ibm.wala.analysis.typeInference.TypeInference

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

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

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)