Hierarchy For Package com.ibm.wala.ipa.callgraph.propagation

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.ipa.callgraph.propagation.AbstractAllocationSiteKey (implements com.ibm.wala.analysis.reflection.InstanceKeyWithNode)
    • com.ibm.wala.ipa.callgraph.propagation.AllocationSiteKey
      • com.ibm.wala.ipa.callgraph.propagation.MultiNewArrayAllocationSiteKey
      • com.ibm.wala.ipa.callgraph.propagation.NormalAllocationSiteKey
    • com.ibm.wala.ipa.callgraph.propagation.SmushedAllocationSiteKey
  • com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver (implements com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver, com.ibm.wala.util.debug.VerboseAction)
    • com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver
      • com.ibm.wala.ipa.callgraph.propagation.PropagationSystem
  • com.ibm.wala.util.graph.AbstractGraph<T> (implements com.ibm.wala.util.graph.Graph<T>)
    • com.ibm.wala.ipa.callgraph.propagation.PointerFlowGraph
  • com.ibm.wala.fixedpoint.impl.AbstractOperator (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.fixedpoint.impl.UnaryOperator (implements com.ibm.wala.fixpoint.FixedPointConstants)
      • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.FilterOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
        • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InverseFilterOperator
      • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstanceArrayStoreOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
      • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstancePutFieldOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
      • com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect
        • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.ArrayLoadOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
        • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.ArrayStoreOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
        • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.GetFieldOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
        • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.PutFieldOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
  • com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis (implements com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis)
    • com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
  • com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey (implements com.ibm.wala.ipa.callgraph.propagation.PointerKey)
    • com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceFieldPointerKey)
      • com.ibm.wala.ipa.callgraph.propagation.ArrayInstanceKey (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey)
      • com.ibm.wala.ipa.callgraph.propagation.InstanceFieldKey
        • com.ibm.wala.ipa.callgraph.propagation.InstanceFieldKeyWithFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey)
    • com.ibm.wala.ipa.callgraph.propagation.AbstractLocalPointerKey
      • com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey
        • com.ibm.wala.ipa.callgraph.propagation.LocalPointerKeyWithFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey)
      • com.ibm.wala.ipa.callgraph.propagation.NodeKey
        • com.ibm.wala.ipa.callgraph.propagation.ReturnValueKey
          • com.ibm.wala.ipa.callgraph.propagation.ReturnValueKeyWithFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey)
    • com.ibm.wala.ipa.callgraph.propagation.StaticFieldKey
  • com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver (implements com.ibm.wala.ipa.callgraph.propagation.IPointsToSolver)
    • com.ibm.wala.ipa.callgraph.propagation.PreTransitiveSolver
    • com.ibm.wala.ipa.callgraph.propagation.StandardSolver
  • com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
  • com.ibm.wala.ipa.callgraph.propagation.ClassBasedInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
  • com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ipa.callgraph.propagation.ConcreteTypeKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ipa.callgraph.propagation.ConstantKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ipa.callgraph.propagation.ContainerUtil
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.SingleClassFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter)
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.SingleInstanceFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter)
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TargetMethodFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter)
  • com.ibm.wala.util.graph.impl.NodeWithNumber (implements com.ibm.wala.util.graph.INodeWithNumber)
    • com.ibm.wala.fixedpoint.impl.AbstractStatement (implements com.ibm.wala.fixpoint.IFixedPointStatement)
      • com.ibm.wala.fixedpoint.impl.UnaryStatement
        • com.ibm.wala.ipa.callgraph.propagation.AssignEquation (implements com.ibm.wala.util.debug.VerboseAction)
    • com.ibm.wala.fixedpoint.impl.AbstractVariable (implements com.ibm.wala.fixpoint.IVariable)
      • com.ibm.wala.fixpoint.IntSetVariable
        • com.ibm.wala.ipa.callgraph.propagation.PointsToSetVariable
  • com.ibm.wala.ipa.callgraph.propagation.PointerFlowGraphFactory
  • com.ibm.wala.ipa.callgraph.propagation.PointerKeyComparator (implements java.util.Comparator<T>)
  • com.ibm.wala.ipa.callgraph.propagation.PointsToMap
  • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder (implements com.ibm.wala.ipa.callgraph.CallGraphBuilder)
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder (implements com.ibm.wala.ipa.callgraph.propagation.HeapModel)
  • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.MutableBoolean
  • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.TypedPointerKey (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey)
  • com.ibm.wala.ipa.callgraph.propagation.PropagationGraph (implements com.ibm.wala.fixpoint.IFixedPointSystem)
  • com.ibm.wala.ipa.callgraph.propagation.ReceiverInstanceContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.ipa.callgraph.propagation.ReceiverTypeContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ipa.callgraph.propagation.ReflectionHandler
  • com.ibm.wala.ipa.callgraph.propagation.SmushedAllocationSiteInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
  • com.ibm.wala.ssa.SSAInstruction.Visitor (implements com.ibm.wala.ssa.SSAInstruction.IVisitor)
    • com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor
    • com.ibm.wala.ipa.callgraph.propagation.PointerFlowGraph.InstructionVisitor
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor
  • com.ibm.wala.ipa.callgraph.propagation.StringConstantKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ipa.callgraph.propagation.TargetMethodContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)

Interface Hierarchy

• com.ibm.wala.ipa.cfg.CFGProvider
  • com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter (also extends com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter)
• com.ibm.wala.ipa.callgraph.ContextItem
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter
  • com.ibm.wala.ipa.callgraph.propagation.InstanceKey
• com.ibm.wala.util.graph.EdgeManager<T>
  • com.ibm.wala.util.graph.Graph<T> (also extends com.ibm.wala.util.graph.NodeManager<T>)
    • com.ibm.wala.ipa.callgraph.propagation.AbstractAnalysis
• com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory
  • com.ibm.wala.ipa.callgraph.propagation.HeapModel (also extends com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory)
• com.ibm.wala.ipa.callgraph.propagation.IPointerOperator
• com.ibm.wala.ipa.callgraph.propagation.IPointsToSolver
• java.lang.Iterable<T>
  • com.ibm.wala.util.graph.NodeManager<T>
    • com.ibm.wala.util.graph.Graph<T> (also extends com.ibm.wala.util.graph.EdgeManager<T>)
      • com.ibm.wala.ipa.callgraph.propagation.AbstractAnalysis
• com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis
• com.ibm.wala.ipa.callgraph.propagation.PointerKey
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey
  • com.ibm.wala.ipa.callgraph.propagation.InstanceFieldPointerKey
• com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory
  • com.ibm.wala.ipa.callgraph.propagation.HeapModel (also extends com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
• com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter
  • com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter (also extends com.ibm.wala.ipa.cfg.CFGProvider)