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

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T> (implements com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<T>, com.ibm.wala.util.debug.VerboseAction)
    • com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>
      • com.ibm.wala.ipa.callgraph.propagation.PropagationSystem
  • com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.fixpoint.UnaryOperator<T> (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.ArrayContentsKey (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.StandardSolver
  • com.ibm.wala.ipa.callgraph.propagation.AbstractTypeInNode (implements com.ibm.wala.analysis.reflection.InstanceKeyWithNode)
    • com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNode
      • com.ibm.wala.ipa.callgraph.propagation.MultiNewArrayInNode
      • com.ibm.wala.ipa.callgraph.propagation.NormalAllocationInNode
    • com.ibm.wala.ipa.callgraph.propagation.SmushedAllocationSiteInNode
  • com.ibm.wala.ipa.callgraph.propagation.AllocationSite (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNodeFactory (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<T> (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ipa.callgraph.propagation.ContainerUtil
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.MultipleClassesFilter (implements com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter)
  • 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.fixpoint.AbstractStatement<T,O> (implements com.ibm.wala.fixpoint.IFixedPointStatement<T>)
      • com.ibm.wala.fixpoint.UnaryStatement<T>
        • com.ibm.wala.ipa.callgraph.propagation.AssignEquation
    • com.ibm.wala.fixpoint.AbstractVariable<T> (implements com.ibm.wala.fixpoint.IVariable<T>)
      • com.ibm.wala.fixpoint.IntSetVariable<T>
        • com.ibm.wala.ipa.callgraph.propagation.PointsToSetVariable
  • 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<T>)
  • 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.SSAPropagationCallGraphBuilder.ConstraintVisitor
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor
  • com.ibm.wala.ipa.callgraph.propagation.StringConstantCharArray (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.callgraph.ContextItem
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter
  • com.ibm.wala.ipa.callgraph.propagation.InstanceKey
• 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
• 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