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.fixedpoint.impl.DefaultFixedPointSolver<T>
- com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
- com.ibm.wala.fixpoint.UnaryOperator<T>
- 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.PropagationCallGraphBuilder.FilterOperator (implements com.ibm.wala.ipa.callgraph.propagation.IPointerOperator)
- com.ibm.wala.fixpoint.UnaryOperator<T>
- com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis (implements com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T>)
- 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.ReturnValueKey
- com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey
- com.ibm.wala.ipa.callgraph.propagation.StaticFieldKey
- com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceFieldPointerKey)
- 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.ZeroLengthArrayInNode
- com.ibm.wala.ipa.callgraph.propagation.SmushedAllocationSiteInNode
- com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNode
- 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.CPAContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
- 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.UnaryStatement<T>
- 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.fixpoint.IntSetVariable<T>
- com.ibm.wala.fixpoint.AbstractStatement<T,
- com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.HModel (implements com.ibm.wala.ipa.callgraph.propagation.HeapModel)
- 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<I>)
- 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.SelectiveCPAContext (implements com.ibm.wala.ipa.callgraph.Context)
- com.ibm.wala.ipa.callgraph.propagation.CPAContextSelector.CPAContext
- 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.SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer (implements com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer)
- 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)
- 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)
Interface Hierarchy
- com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter
- com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter
- com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter
- 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.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<T>
- 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.SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer