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

  • Method Summary

    Modifier and Type
    Method
    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 Details

    • DalvikTypeInference

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

  • Method Details

    • 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)