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

com.ibm.wala.analysis.typeInference.TypeInference

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

All Implemented Interfaces:

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

public class DalvikTypeInference
extends com.ibm.wala.analysis.typeInference.TypeInference

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from class com.ibm.wala.analysis.typeInference.TypeInference

com.ibm.wala.analysis.typeInference.TypeInference.DeclaredTypeOperator, com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator, com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory

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

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

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

com.ibm.wala.fixedpoint.impl.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 and Description
protected	DalvikTypeInference(com.ibm.wala.ssa.IR ir, boolean doPrimitives)

Method Summary

Modifier and Type	Method and Description
protected void	initialize()
static DalvikTypeInference	make(com.ibm.wala.ssa.IR ir, boolean doPrimitives)
protected com.ibm.wala.analysis.typeInference.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 Detail

DalvikTypeInference

protected DalvikTypeInference(com.ibm.wala.ssa.IR ir,
                              boolean doPrimitives)

Method Detail

makeStmtRHS

protected com.ibm.wala.analysis.typeInference.TypeVariable[] makeStmtRHS(int size)

Overrides:

makeStmtRHS in class com.ibm.wala.analysis.typeInference.TypeInference

initialize

protected void initialize()

Overrides:

initialize in class com.ibm.wala.analysis.typeInference.TypeInference

make

public static DalvikTypeInference make(com.ibm.wala.ssa.IR ir,
                                       boolean doPrimitives)