Hierarchy For All Packages

Package Hierarchies:

• com.ibm.wala.analysis.arraybounds,
• com.ibm.wala.analysis.arraybounds.hypergraph,
• com.ibm.wala.analysis.arraybounds.hypergraph.algorithms,
• com.ibm.wala.analysis.arraybounds.hypergraph.weight,
• com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights,
• com.ibm.wala.analysis.exceptionanalysis,
• com.ibm.wala.analysis.nullpointer,
• com.ibm.wala.analysis.pointers,
• com.ibm.wala.analysis.reflection,
• com.ibm.wala.analysis.reflection.java7,
• com.ibm.wala.analysis.stackMachine,
• com.ibm.wala.analysis.typeInference,
• com.ibm.wala.cfg,
• com.ibm.wala.cfg.cdg,
• com.ibm.wala.cfg.exc,
• com.ibm.wala.cfg.exc.inter,
• com.ibm.wala.cfg.exc.intra,
• com.ibm.wala.classLoader,
• com.ibm.wala.client,
• com.ibm.wala.core.tests.callGraph,
• com.ibm.wala.core.tests.util,
• com.ibm.wala.dataflow.IFDS,
• com.ibm.wala.dataflow.ssa,
• com.ibm.wala.demandpa.alg,
• com.ibm.wala.demandpa.alg.refinepolicy,
• com.ibm.wala.demandpa.alg.statemachine,
• com.ibm.wala.demandpa.flowgraph,
• com.ibm.wala.demandpa.util,
• com.ibm.wala.escape,
• com.ibm.wala.examples.analysis.dataflow,
• com.ibm.wala.examples.drivers,
• com.ibm.wala.examples.properties,
• com.ibm.wala.ipa.callgraph,
• com.ibm.wala.ipa.callgraph.cha,
• com.ibm.wala.ipa.callgraph.impl,
• com.ibm.wala.ipa.callgraph.propagation,
• com.ibm.wala.ipa.callgraph.propagation.cfa,
• com.ibm.wala.ipa.callgraph.propagation.rta,
• com.ibm.wala.ipa.callgraph.pruned,
• com.ibm.wala.ipa.callgraph.util,
• com.ibm.wala.ipa.cfg,
• com.ibm.wala.ipa.cfg.exceptionpruning,
• com.ibm.wala.ipa.cfg.exceptionpruning.filter,
• com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural,
• com.ibm.wala.ipa.cha,
• com.ibm.wala.ipa.modref,
• com.ibm.wala.ipa.slicer,
• com.ibm.wala.ipa.slicer.thin,
• com.ibm.wala.ipa.summaries,
• com.ibm.wala.model,
• com.ibm.wala.model.java.lang,
• com.ibm.wala.model.java.lang.reflect,
• com.ibm.wala.properties,
• com.ibm.wala.ssa,
• com.ibm.wala.ssa.analysis,
• com.ibm.wala.types,
• com.ibm.wala.types.annotations,
• com.ibm.wala.types.generics,
• com.ibm.wala.util,
• com.ibm.wala.util.bytecode,
• com.ibm.wala.util.config,
• com.ibm.wala.util.io,
• com.ibm.wala.util.ref,
• com.ibm.wala.util.scope,
• com.ibm.wala.util.shrike,
• com.ibm.wala.util.ssa,
• com.ibm.wala.util.strings,
• com.ibm.wala.util.warnings,
• com.ibm.wala.viz,
• com.ibm.wala.viz.viewer

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.client.AbstractAnalysisEngine<I,X,Y> (implements com.ibm.wala.client.AnalysisEngine)
  • com.ibm.wala.cfg.AbstractCFG<I,T> (implements com.ibm.wala.shrikeBT.Constants, com.ibm.wala.cfg.ControlFlowGraph<I,T>, com.ibm.wala.cfg.MinimalCFG<T>)
    • com.ibm.wala.cfg.InducedCFG
    • com.ibm.wala.cfg.ShrikeCFG (implements com.ibm.wala.cfg.BytecodeCFG)
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • com.ibm.wala.ipa.callgraph.impl.AllApplicationEntrypoints
  • com.ibm.wala.demandpa.alg.AbstractDemandPointsTo (implements com.ibm.wala.demandpa.alg.IDemandPointerAnalysis)
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo
    • com.ibm.wala.demandpa.alg.SimpleDemandPointsTo
  • com.ibm.wala.client.AbstractEngineStopwatch (implements com.ibm.wala.client.EngineStopwatch)
  • 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.dataflow.graph.DataflowSolver<T,V>
        • com.ibm.wala.dataflow.graph.BitVectorSolver<T>
          • com.ibm.wala.analysis.exceptionanalysis.InitializedBitVectorSolver
        • com.ibm.wala.cfg.exc.intra.NullPointerSolver<B>
      • com.ibm.wala.ipa.callgraph.propagation.PropagationSystem
      • com.ibm.wala.dataflow.ssa.SSAInference<T>
        • com.ibm.wala.analysis.typeInference.TypeInference (implements com.ibm.wala.fixpoint.FixedPointConstants)
  • com.ibm.wala.demandpa.flowgraph.AbstractFlowLabelVisitor (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel.IFlowLabelVisitor)
  • com.ibm.wala.util.graph.AbstractGraph<T> (implements com.ibm.wala.util.graph.Graph<T>)
    • com.ibm.wala.util.graph.AbstractNumberedGraph<T> (implements com.ibm.wala.util.graph.NumberedGraph<T>)
      • com.ibm.wala.util.graph.labeled.AbstractNumberedLabeledGraph<T,U> (implements com.ibm.wala.util.graph.labeled.LabeledGraph<T,U>, com.ibm.wala.util.graph.labeled.NumberedLabeledGraph<T,I>)
        • com.ibm.wala.util.graph.labeled.SlowSparseNumberedLabeledGraph<T,U>
          • com.ibm.wala.demandpa.flowgraph.AbstractFlowGraph (implements com.ibm.wala.demandpa.flowgraph.IFlowGraph)
            • com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph
              • com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph (implements com.ibm.wala.demandpa.flowgraph.IFlowGraph)
              • com.ibm.wala.demandpa.flowgraph.DemandValueFlowGraph
      • com.ibm.wala.ipa.callgraph.impl.BasicCallGraph<T> (implements com.ibm.wala.ipa.callgraph.CallGraph)
        • com.ibm.wala.ipa.callgraph.cha.CHACallGraph
        • com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph (implements com.ibm.wala.shrikeBT.BytecodeConstants)
          • com.ibm.wala.ipa.callgraph.propagation.rta.DelegatingExplicitCallGraph
      • com.ibm.wala.cfg.cdg.ControlDependenceGraph<T>
      • com.ibm.wala.ipa.cfg.PrunedCFG<I,T> (implements com.ibm.wala.cfg.ControlFlowGraph<I,T>)
      • com.ibm.wala.ipa.slicer.SDG<T> (implements com.ibm.wala.ipa.slicer.ISDG)
      • com.ibm.wala.util.graph.impl.SlowSparseNumberedGraph<T> (implements java.io.Serializable)
        • com.ibm.wala.demandpa.flowgraph.SimpleDemandPointerFlowGraph
      • com.ibm.wala.util.graph.impl.SparseNumberedGraph<T>
        • com.ibm.wala.cfg.exc.intra.MutableCFG<X,T> (implements com.ibm.wala.cfg.ControlFlowGraph<I,T>)
  • com.ibm.wala.ipa.cfg.AbstractInterproceduralCFG<T> (implements com.ibm.wala.util.graph.NumberedGraph<T>)
    • com.ibm.wala.ipa.cfg.ExplodedInterproceduralCFG
    • com.ibm.wala.ipa.cfg.InterproceduralCFG
  • com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.ssa.SSABuilder
  • com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.BasicStackFlowProvider (implements com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.FlowProvider, com.ibm.wala.shrikeBT.Constants)
  • com.ibm.wala.classLoader.AbstractNestedJarFileModule (implements com.ibm.wala.classLoader.Module)
    • com.ibm.wala.classLoader.NestedJarFileModule
    • com.ibm.wala.classLoader.ResourceJarFileModule
  • com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.fixedpoint.impl.NullaryOperator<T>
      • com.ibm.wala.analysis.typeInference.TypeInference.DeclaredTypeOperator
    • com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator
    • com.ibm.wala.fixpoint.UnaryOperator<T>
      • com.ibm.wala.cfg.exc.intra.OperatorUtil.UnaryOperatorSequence<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.AbstractPointerAnalysis (implements com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T>)
    • com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
    • com.ibm.wala.ipa.callgraph.propagation.rta.TypeBasedPointerAnalysis
  • 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.modref.ArrayLengthKey
      • 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.cfa.ExceptionReturnValueKey
          • 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.demandpa.alg.refinepolicy.AbstractRefinementPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicy)
    • com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy
    • com.ibm.wala.demandpa.alg.refinepolicy.SinglePassRefinementPolicy
    • com.ibm.wala.demandpa.alg.refinepolicy.TunedRefinementPolicy
  • com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
    • com.ibm.wala.analysis.reflection.ClassNewInstanceContextInterpreter
    • com.ibm.wala.analysis.reflection.FactoryBypassInterpreter
    • com.ibm.wala.analysis.reflection.ReflectiveInvocationInterpreter
  • 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.classLoader.AbstractURLModule (implements com.ibm.wala.classLoader.Module, com.ibm.wala.classLoader.ModuleEntry)
    • com.ibm.wala.classLoader.SourceURLModule (implements com.ibm.wala.classLoader.SourceModule)
  • com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.AdditiveEdgeWeight (implements com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.EdgeWeight)
  • com.ibm.wala.ssa.AllIntegerDueToBranchePiPolicy (implements com.ibm.wala.ssa.SSAPiNodePolicy)
  • 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.cfa.AllocationString (implements com.ibm.wala.ipa.callgraph.ContextItem)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.AllocationStringContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.demandpa.alg.refinepolicy.AlwaysRefineCGPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.CallGraphRefinePolicy)
  • com.ibm.wala.demandpa.alg.refinepolicy.AlwaysRefineFieldsPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
  • com.ibm.wala.ipa.callgraph.AnalysisCache (implements com.ibm.wala.ipa.callgraph.IAnalysisCacheView)
    • com.ibm.wala.ipa.callgraph.AnalysisCacheImpl
  • com.ibm.wala.ipa.callgraph.AnalysisOptions
  • com.ibm.wala.ipa.callgraph.AnalysisScope
  • com.ibm.wala.util.config.AnalysisScopeReader
  • com.ibm.wala.cfg.exc.inter.AnalysisUtil
  • com.ibm.wala.types.annotations.Annotation
  • com.ibm.wala.types.annotations.Annotations
  • com.ibm.wala.ipa.callgraph.pruned.ApplicationLoaderPolicy (implements com.ibm.wala.ipa.callgraph.pruned.PruningPolicy)
  • com.ibm.wala.model.java.lang.reflect.Array
  • com.ibm.wala.analysis.arraybounds.ArrayBoundsGraphBuilder
  • com.ibm.wala.classLoader.ArrayClass (implements com.ibm.wala.shrikeBT.Constants, com.ibm.wala.classLoader.IClass)
  • com.ibm.wala.classLoader.ArrayClassLoader
  • com.ibm.wala.demandpa.util.ArrayContents (implements com.ibm.wala.classLoader.IField)
  • com.ibm.wala.ipa.cfg.exceptionpruning.filter.ArrayOutOfBoundFilter (implements com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>)
  • com.ibm.wala.analysis.arraybounds.ArrayOutOfBoundsAnalysis
  • com.ibm.wala.demandpa.flowgraph.AssignBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabelWithFilter)
  • com.ibm.wala.demandpa.flowgraph.AssignGlobalBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.AssignGlobalLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.AssignLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabelWithFilter)
  • com.ibm.wala.util.strings.Atom (implements java.io.Serializable)
  • com.ibm.wala.ssa.AuxiliaryCache
  • com.ibm.wala.dataflow.IFDS.BackwardsSupergraph<T,P> (implements com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>)
  • com.ibm.wala.ipa.callgraph.impl.BasicCallGraph.Key
  • com.ibm.wala.dataflow.graph.BasicFramework<T,V> (implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,V>)
    • com.ibm.wala.dataflow.graph.BitVectorFramework<T,L>
      • com.ibm.wala.ipa.modref.GenReach<T,L>
  • com.ibm.wala.analysis.arraybounds.BinaryOpWithConstant
  • com.ibm.wala.ipa.summaries.BypassClassTargetSelector (implements com.ibm.wala.ipa.callgraph.ClassTargetSelector)
  • com.ibm.wala.ipa.summaries.BypassMethodTargetSelector (implements com.ibm.wala.ipa.callgraph.MethodTargetSelector)
  • com.ibm.wala.ipa.summaries.BypassSyntheticClassLoader (implements com.ibm.wala.classLoader.IClassLoader)
  • com.ibm.wala.classLoader.BytecodeClass<T> (implements com.ibm.wala.classLoader.IClass)
    • com.ibm.wala.classLoader.JVMClass<T>
      • com.ibm.wala.classLoader.ShrikeClass
  • com.ibm.wala.util.bytecode.BytecodeStream (implements com.ibm.wala.shrikeBT.BytecodeConstants)
  • com.ibm.wala.util.ref.CacheReference
  • com.ibm.wala.ipa.callgraph.propagation.cfa.CallerContext (implements com.ibm.wala.ipa.callgraph.Context)
    • com.ibm.wala.ipa.callgraph.propagation.cfa.CallerContextPair
    • com.ibm.wala.ipa.callgraph.propagation.cfa.CallerSiteContext
      • com.ibm.wala.ipa.callgraph.propagation.cfa.CallerSiteContextPair
  • com.ibm.wala.dataflow.IFDS.CallFlowEdges
  • com.ibm.wala.demandpa.util.CallGraphMapUtil
  • com.ibm.wala.ipa.callgraph.pruned.CallGraphPruning
  • com.ibm.wala.ipa.callgraph.util.CallGraphSearchUtil
  • com.ibm.wala.ipa.callgraph.CallGraphStats
  • com.ibm.wala.ipa.callgraph.CallGraphStats.CGStats
  • com.ibm.wala.core.tests.callGraph.CallGraphTestUtil
  • com.ibm.wala.ipa.callgraph.CallGraphTransitiveClosure
  • com.ibm.wala.demandpa.flowgraph.CallLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
    • com.ibm.wala.demandpa.flowgraph.ParamBarLabel
    • com.ibm.wala.demandpa.flowgraph.ParamLabel
    • com.ibm.wala.demandpa.flowgraph.ReturnBarLabel
    • com.ibm.wala.demandpa.flowgraph.ReturnLabel
  • com.ibm.wala.ipa.callgraph.propagation.cfa.CallString (implements com.ibm.wala.ipa.callgraph.ContextItem)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.CallStringContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.CallStringContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
    • com.ibm.wala.ipa.callgraph.propagation.cfa.nCFAContextSelector
  • com.ibm.wala.ipa.callgraph.propagation.cfa.CallStringContextSelector.CallStringContextPair (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.cfg.CFGSanitizer
  • com.ibm.wala.analysis.exceptionanalysis.CGIntraproceduralExceptionAnalysis
  • com.ibm.wala.ipa.slicer.thin.CISDG (implements com.ibm.wala.ipa.slicer.ISDG)
  • com.ibm.wala.ipa.slicer.thin.CISlicer
    • com.ibm.wala.ipa.slicer.thin.ThinSlicer
  • com.ibm.wala.ipa.callgraph.propagation.ClassBasedInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
  • com.ibm.wala.analysis.reflection.ClassFactoryContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.ipa.cha.ClassHierarchy (implements com.ibm.wala.ipa.cha.IClassHierarchy)
  • com.ibm.wala.ipa.callgraph.impl.ClassHierarchyClassTargetSelector (implements com.ibm.wala.ipa.callgraph.ClassTargetSelector)
  • com.ibm.wala.ipa.cha.ClassHierarchyFactory
  • com.ibm.wala.ipa.callgraph.impl.ClassHierarchyMethodTargetSelector (implements com.ibm.wala.ipa.callgraph.MethodTargetSelector)
  • com.ibm.wala.ipa.cha.ClassHierarchyStats
  • com.ibm.wala.ipa.cha.ClassHierarchyUtil
  • com.ibm.wala.classLoader.ClassLoaderFactoryImpl (implements com.ibm.wala.classLoader.ClassLoaderFactory)
  • com.ibm.wala.classLoader.ClassLoaderImpl (implements com.ibm.wala.classLoader.IClassLoader)
  • com.ibm.wala.types.ClassLoaderReference (implements java.io.Serializable)
  • com.ibm.wala.ipa.callgraph.propagation.CloneContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.analysis.reflection.CloneInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.classLoader.CodeScanner
  • com.ibm.wala.ipa.cfg.exceptionpruning.filter.CombinedExceptionFilter<Instruction> (implements com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>)
  • com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.CombinedInterproceduralExceptionFilter<Instruction> (implements com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.InterproceduralExceptionFilter<Instruction>)
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • javax.swing.JComponent (implements java.io.Serializable)
        • javax.swing.JPanel (implements javax.accessibility.Accessible)
          • com.ibm.wala.viz.viewer.IrViewer
          • com.ibm.wala.viz.viewer.SourceViewer
        • javax.swing.JSplitPane (implements javax.accessibility.Accessible)
          • com.ibm.wala.viz.viewer.CgPanel
          • com.ibm.wala.viz.viewer.ChaPanel
          • com.ibm.wala.viz.viewer.PaPanel
      • java.awt.Window (implements javax.accessibility.Accessible)
        • java.awt.Frame (implements java.awt.MenuContainer)
          • javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
            • com.ibm.wala.viz.viewer.WalaViewer
  • com.ibm.wala.ipa.callgraph.impl.ComposedEntrypoints (implements java.lang.Iterable<T>)
  • com.ibm.wala.classLoader.CompoundModule (implements com.ibm.wala.classLoader.Module, com.ibm.wala.classLoader.ModuleEntry, com.ibm.wala.classLoader.SourceModule)
  • com.ibm.wala.ssa.CompoundPiPolicy (implements com.ibm.wala.ssa.SSAPiNodePolicy)
  • com.ibm.wala.ipa.callgraph.propagation.ConcreteTypeKey (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.analysis.arraybounds.ConditionNormalizer
  • com.ibm.wala.ipa.callgraph.propagation.ConstantKey<T> (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.ssa.ConstantValue (implements com.ibm.wala.ssa.Value)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.ContainerContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ipa.callgraph.propagation.ContainerUtil
  • com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter (implements com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter)
    • com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
      • com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.examples.analysis.dataflow.ContextInsensitiveReachingDefs
  • com.ibm.wala.ipa.callgraph.impl.ContextInsensitiveSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ipa.callgraph.ContextItem.Value<T> (implements com.ibm.wala.ipa.callgraph.ContextItem)
  • com.ibm.wala.ipa.callgraph.ContextKey.ParameterKey (implements com.ibm.wala.ipa.callgraph.ContextKey)
  • com.ibm.wala.examples.analysis.dataflow.ContextSensitiveReachingDefs
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>)
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.BasicRecursionHandler (implements com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler)
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.Factory (implements com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>)
  • com.ibm.wala.ipa.callgraph.ContextUtil
  • com.ibm.wala.ipa.callgraph.propagation.CPAContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ssa.analysis.DeadAssignmentElimination
  • com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ssa.DefaultIRFactory (implements com.ibm.wala.ssa.IRFactory<T>)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultPointerKeyFactory (implements com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory)
  • com.ibm.wala.properties.DefaultPropertiesValues
  • com.ibm.wala.ipa.callgraph.propagation.rta.DefaultRTAInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter)
    • com.ibm.wala.ipa.callgraph.propagation.cfa.DefaultSSAInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.ssa.DefUse
  • com.ibm.wala.ipa.callgraph.DelegatingContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.ipa.callgraph.impl.DelegatingContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.ipa.modref.DelegatingExtendedHeapModel (implements com.ibm.wala.ipa.modref.ExtendedHeapModel)
  • com.ibm.wala.demandpa.alg.refinepolicy.DelegatingFieldRefinePolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
  • com.ibm.wala.util.graph.impl.DelegatingGraph<T> (implements com.ibm.wala.util.graph.Graph<T>)
    • com.ibm.wala.ipa.callgraph.impl.PartialCallGraph (implements com.ibm.wala.ipa.callgraph.CallGraph)
  • com.ibm.wala.ipa.callgraph.propagation.rta.DelegatingRTAContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter)
    • com.ibm.wala.ipa.callgraph.propagation.cfa.DelegatingSSAContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.NewMultiDimInfo
  • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.FlowsToComputer
  • com.ibm.wala.types.Descriptor
  • com.ibm.wala.analysis.arraybounds.hypergraph.DirectedHyperEdge<T>
  • com.ibm.wala.analysis.arraybounds.hypergraph.DirectedHyperGraph<T>
    • com.ibm.wala.analysis.arraybounds.ArrayBoundsGraph
  • com.ibm.wala.classLoader.DirectoryTreeModule (implements com.ibm.wala.classLoader.Module)
    • com.ibm.wala.classLoader.BinaryDirectoryTreeModule
    • com.ibm.wala.classLoader.SourceDirectoryTreeModule
  • com.ibm.wala.ipa.callgraph.pruned.DoNotPrune (implements com.ibm.wala.ipa.callgraph.pruned.PruningPolicy)
  • com.ibm.wala.ipa.cfg.exceptionpruning.filter.DummyFilter<Instruction> (implements com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>)
  • com.ibm.wala.demandpa.alg.statemachine.DummyStateMachine<T> (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>)
  • com.ibm.wala.demandpa.alg.statemachine.DummyStateMachine.Factory<T> (implements com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>)
  • com.ibm.wala.ipa.callgraph.Entrypoint (implements com.ibm.wala.shrikeBT.BytecodeConstants)
    • com.ibm.wala.ipa.callgraph.impl.ArgumentTypeEntrypoint
    • com.ibm.wala.ipa.callgraph.impl.DefaultEntrypoint
      • com.ibm.wala.ipa.callgraph.impl.SubtypesEntrypoint
  • com.ibm.wala.ipa.callgraph.impl.Everywhere (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.analysis.exceptionanalysis.Exception2BitvectorTransformer
  • com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis
  • com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis2EdgeFilter (implements com.ibm.wala.ipa.cfg.EdgeFilter<T>)
  • com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter2EdgeFilter<Block> (implements com.ibm.wala.ipa.cfg.EdgeFilter<T>)
  • com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionMatcher
  • com.ibm.wala.ipa.cfg.ExceptionPrunedCFG
  • com.ibm.wala.util.shrike.Exceptions
  • com.ibm.wala.analysis.exceptionanalysis.ExceptionTransferFunctionProvider (implements com.ibm.wala.dataflow.graph.ITransferFunctionProvider<T,V>)
  • com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph.ExplicitEdgeManager (implements com.ibm.wala.util.graph.NumberedEdgeManager<T>)
  • com.ibm.wala.cfg.exc.intra.ExplodedCFGNullPointerAnalysis (implements com.ibm.wala.cfg.exc.ExceptionPruningAnalysis<I,T>)
  • com.ibm.wala.ssa.analysis.ExplodedControlFlowGraph (implements com.ibm.wala.cfg.ControlFlowGraph<I,T>)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.FallbackContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.classLoader.FieldImpl (implements com.ibm.wala.classLoader.IField)
  • com.ibm.wala.types.FieldReference.Key
  • com.ibm.wala.classLoader.FileModule (implements com.ibm.wala.classLoader.Module, com.ibm.wala.classLoader.ModuleEntry)
    • com.ibm.wala.classLoader.ClassFileModule
    • com.ibm.wala.classLoader.SourceFileModule (implements com.ibm.wala.classLoader.Module, com.ibm.wala.classLoader.ModuleEntry, com.ibm.wala.classLoader.SourceModule)
  • com.ibm.wala.util.io.FileProvider
  • com.ibm.wala.util.io.FileSuffixes
  • com.ibm.wala.escape.FILiveObjectAnalysis (implements com.ibm.wala.escape.ILiveObjectAnalysis)
  • com.ibm.wala.ipa.cfg.exceptionpruning.FilteredException
  • 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.analysis.reflection.GetClassContextInterpeter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.analysis.reflection.GetClassContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.demandpa.flowgraph.GetFieldBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.GetFieldLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.analysis.reflection.GetMethodContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.analysis.reflection.GetMethodContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.analysis.reflection.GetMethodContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.util.collections.Heap<T>
    • com.ibm.wala.dataflow.IFDS.TabulationSolver.Worklist (implements com.ibm.wala.dataflow.IFDS.ITabulationWorklist<T>)
  • com.ibm.wala.ipa.slicer.HeapExclusions
  • com.ibm.wala.analysis.pointers.HeapGraphImpl<T> (implements com.ibm.wala.analysis.pointers.HeapGraph<T>)
    • com.ibm.wala.analysis.pointers.BasicHeapGraph<T>
  • com.ibm.wala.ipa.slicer.HeapReachingDefs<T>
  • com.ibm.wala.analysis.arraybounds.hypergraph.HyperNode<T>
    • com.ibm.wala.analysis.arraybounds.hypergraph.SoftFinalHyperNode<T>
  • com.ibm.wala.dataflow.IFDS.ICFGSupergraph (implements com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>)
  • com.ibm.wala.dataflow.IFDS.IdentityFlowFunction (implements com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction)
  • com.ibm.wala.dataflow.IFDS.IdentityFlowFunctions<T> (implements com.ibm.wala.dataflow.IFDS.IFlowFunctionMap<T>)
  • com.ibm.wala.ipa.cfg.exceptionpruning.filter.IgnoreExceptionsFilter (implements com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>)
  • com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.IgnoreExceptionsInterFilter<Instruction> (implements com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.InterproceduralExceptionFilter<Instruction>)
  • com.ibm.wala.shrikeBT.IInstruction.Visitor
    • com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.BasicStackFlowProvider.BasicStackMachineVisitor
  • com.ibm.wala.analysis.reflection.IllegalArgumentExceptionContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.util.strings.ImmutableByteArray
  • com.ibm.wala.util.collections.ImmutableStack<T> (implements java.lang.Iterable<T>)
    • com.ibm.wala.demandpa.alg.CallStack (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine.State)
  • java.io.InputStream (implements java.io.Closeable)
    • java.io.FilterInputStream
      • java.util.zip.InflaterInputStream
        • java.util.zip.ZipInputStream
          • java.util.jar.JarInputStream
            • com.ibm.wala.classLoader.JarStreamModule (implements com.ibm.wala.classLoader.Module)
  • com.ibm.wala.ssa.InstanceOfPiPolicy (implements com.ibm.wala.ssa.SSAPiNodePolicy)
  • com.ibm.wala.util.ssa.InstructionByIIndexMap<Instruction,T> (implements java.util.Map<K,V>)
  • com.ibm.wala.util.ssa.InstructionByIIndexWrapper<T>
  • com.ibm.wala.cfg.exc.inter.InterprocNullPointerAnalysis
  • com.ibm.wala.analysis.exceptionanalysis.IntraproceduralExceptionAnalysis
  • com.ibm.wala.analysis.nullpointer.IntraproceduralNullPointerAnalysis
  • com.ibm.wala.demandpa.alg.IntraProcFilter (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>)
  • com.ibm.wala.demandpa.alg.IntraProcFilter.Factory (implements com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>)
  • com.ibm.wala.cfg.exc.intra.IntraprocNullPointerAnalysis<T>
  • com.ibm.wala.examples.analysis.dataflow.IntraprocReachingDefs
  • com.ibm.wala.ssa.IR (implements com.ibm.wala.ssa.IRView)
    • com.ibm.wala.ipa.summaries.SyntheticIR
      • com.ibm.wala.ipa.summaries.SummarizedMethodWithNames.SyntheticIRWithNames
  • com.ibm.wala.viz.viewer.IrAndSourceViewer
  • com.ibm.wala.classLoader.JarFileEntry (implements com.ibm.wala.classLoader.ModuleEntry)
  • com.ibm.wala.classLoader.JarFileModule (implements com.ibm.wala.classLoader.Module)
  • com.ibm.wala.analysis.reflection.JavaLangClassContextInterpreter (implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter)
  • com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory (implements com.ibm.wala.ssa.SSAInstructionFactory)
  • com.ibm.wala.analysis.reflection.JavaTypeContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.examples.drivers.JavaViewerDriver
  • com.ibm.wala.util.scope.JUnitEntryPoints
  • com.ibm.wala.dataflow.IFDS.KillEverything (implements com.ibm.wala.dataflow.IFDS.IUnaryFlowFunction)
  • com.ibm.wala.ipa.summaries.LambdaMethodTargetSelector (implements com.ibm.wala.ipa.callgraph.MethodTargetSelector)
  • com.ibm.wala.classLoader.LanguageImpl (implements com.ibm.wala.classLoader.Language)
    • com.ibm.wala.classLoader.JavaLanguage (implements com.ibm.wala.classLoader.BytecodeLanguage, com.ibm.wala.shrikeBT.Constants)
  • com.ibm.wala.escape.LocalLiveRangeAnalysis
  • com.ibm.wala.dataflow.IFDS.LocalPathEdges
  • com.ibm.wala.dataflow.IFDS.LocalSummaryEdges
  • com.ibm.wala.demandpa.alg.refinepolicy.ManualCGRefinePolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.CallGraphRefinePolicy)
  • com.ibm.wala.demandpa.alg.refinepolicy.ManualFieldPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
    • com.ibm.wala.demandpa.alg.refinepolicy.ContainersFieldPolicy
  • com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy.Factory (implements com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicyFactory)
  • com.ibm.wala.demandpa.flowgraph.MatchBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.MatchLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.types.MemberReference
    • com.ibm.wala.types.FieldReference
    • com.ibm.wala.types.MethodReference
  • com.ibm.wala.demandpa.util.MemoryAccess
  • com.ibm.wala.ipa.summaries.MethodBypass
  • com.ibm.wala.analysis.reflection.java7.MethodHandles
  • com.ibm.wala.analysis.reflection.java7.MethodHandles.FindContext (implements com.ibm.wala.ipa.callgraph.Context)
  • com.ibm.wala.types.MethodReference.Key
  • com.ibm.wala.cfg.exc.intra.MethodState
  • com.ibm.wala.ipa.summaries.MethodSummary
  • com.ibm.wala.ipa.modref.ModRef<T>
  • com.ibm.wala.ipa.modref.ModRefFieldAccess
  • com.ibm.wala.util.intset.MutableMapping<T> (implements com.ibm.wala.util.intset.OrdinalSetMapping<T>, java.io.Serializable)
    • com.ibm.wala.dataflow.IFDS.UnorderedDomain<T,U> (implements com.ibm.wala.dataflow.IFDS.TabulationDomain<F,T>)
  • com.ibm.wala.cfg.exc.intra.NegativeGraphFilter<T> (implements com.ibm.wala.ipa.cfg.EdgeFilter<T>)
  • com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineCGPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.CallGraphRefinePolicy)
  • com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineFieldsPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
  • com.ibm.wala.demandpa.flowgraph.NewBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.NewLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.nObjContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • 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.analysis.stackMachine.AbstractIntStackMachine.MachineState
      • com.ibm.wala.fixpoint.IntSetVariable<T>
        • com.ibm.wala.ipa.callgraph.propagation.PointsToSetVariable
      • com.ibm.wala.cfg.exc.intra.NullPointerState
      • com.ibm.wala.cfg.exc.intra.ParameterState
      • com.ibm.wala.analysis.typeInference.TypeVariable
    • com.ibm.wala.ipa.cfg.BasicBlockInContext<T> (implements com.ibm.wala.ssa.ISSABasicBlock)
    • com.ibm.wala.ipa.callgraph.impl.BasicCallGraph.NodeImpl (implements com.ibm.wala.ipa.callgraph.CGNode)
      • com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph.ExplicitNode
        • com.ibm.wala.ipa.callgraph.propagation.rta.DelegatingExplicitCallGraph.DelegatingCGNode
    • com.ibm.wala.cfg.InducedCFG.BasicBlock (implements com.ibm.wala.cfg.IBasicBlock<InstType>)
    • com.ibm.wala.cfg.ShrikeCFG.BasicBlock (implements com.ibm.wala.cfg.IBasicBlock<InstType>)
  • com.ibm.wala.analysis.arraybounds.hypergraph.weight.NormalOrder (implements java.util.Comparator<T>)
  • com.ibm.wala.cfg.exc.NullPointerAnalysis
  • com.ibm.wala.ipa.cfg.exceptionpruning.filter.NullPointerExceptionFilter (implements com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>)
  • com.ibm.wala.cfg.exc.intra.NullPointerFrameWork<T> (implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,V>)
  • com.ibm.wala.ssa.NullTestPiPolicy (implements com.ibm.wala.ssa.SSAPiNodePolicy)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.OneLevelSiteContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.demandpa.alg.refinepolicy.OnlyArraysPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
  • com.ibm.wala.cfg.exc.intra.OperatorUtil
  • com.ibm.wala.demandpa.util.PABasedMemoryAccessMap (implements com.ibm.wala.demandpa.util.MemoryAccessMap)
  • com.ibm.wala.util.collections.Pair<T,U> (implements java.io.Serializable)
    • com.ibm.wala.ipa.callgraph.propagation.rta.CallSite
  • com.ibm.wala.util.ssa.ParameterAccessor
  • com.ibm.wala.dataflow.IFDS.PathEdge<T>
  • com.ibm.wala.examples.drivers.PDFCallGraph
  • com.ibm.wala.examples.drivers.PDFControlDependenceGraph
  • com.ibm.wala.examples.drivers.PDFSDG
  • com.ibm.wala.examples.drivers.PDFSlice
  • com.ibm.wala.examples.drivers.PDFTypeHierarchy
  • com.ibm.wala.viz.PDFViewUtil
  • com.ibm.wala.examples.drivers.PDFWalaIR
  • com.ibm.wala.ipa.slicer.PDG<T> (implements com.ibm.wala.util.graph.NumberedGraph<T>)
  • com.ibm.wala.ssa.PhiValue (implements com.ibm.wala.ssa.Value)
  • com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.HModel (implements com.ibm.wala.ipa.callgraph.propagation.HeapModel)
  • com.ibm.wala.demandpa.flowgraph.PointerKeyAndCallSite
  • com.ibm.wala.ipa.callgraph.propagation.PointerKeyComparator (implements java.util.Comparator<T>)
  • com.ibm.wala.demandpa.util.PointerParamValueNumIterator (implements java.util.Iterator<E>)
  • com.ibm.wala.ipa.callgraph.propagation.PointsToMap
  • com.ibm.wala.util.PrimitiveAssignability
  • com.ibm.wala.classLoader.ProgramCounter
    • com.ibm.wala.classLoader.CallSiteReference (implements com.ibm.wala.shrikeBT.BytecodeConstants, com.ibm.wala.ipa.callgraph.ContextItem)
    • com.ibm.wala.classLoader.NewSiteReference
  • com.ibm.wala.util.ProgressMaster (implements com.ibm.wala.util.MonitorUtil.IProgressMonitor)
  • com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder (implements com.ibm.wala.ipa.callgraph.CallGraphBuilder<I>)
    • com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder
      • com.ibm.wala.ipa.callgraph.propagation.rta.BasicRTABuilder
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder (implements com.ibm.wala.ipa.callgraph.propagation.HeapModel)
      • com.ibm.wala.ipa.callgraph.propagation.cfa.nCFABuilder
      • com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXCFABuilder
        • com.ibm.wala.ipa.callgraph.propagation.cfa.nObjBuilder
        • com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder
  • 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.pruned.PrunedCallGraph (implements com.ibm.wala.ipa.callgraph.CallGraph)
  • com.ibm.wala.demandpa.flowgraph.PutFieldBarLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.demandpa.flowgraph.PutFieldLabel (implements com.ibm.wala.demandpa.flowgraph.IFlowLabel)
  • com.ibm.wala.ipa.slicer.ReachabilityFunctions<T> (implements com.ibm.wala.dataflow.IFDS.IFlowFunctionMap<T>)
  • java.io.Reader (implements java.io.Closeable, java.lang.Readable)
    • com.ibm.wala.classLoader.CompoundModule.Reader
  • 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.util.ref.ReferenceCleanser
  • com.ibm.wala.analysis.reflection.ReflectionContextInterpreter
  • com.ibm.wala.analysis.reflection.ReflectionContextSelector
  • com.ibm.wala.ipa.callgraph.propagation.ReflectionHandler
  • com.ibm.wala.analysis.nullpointer.RelevantVariableFinder (implements com.ibm.wala.ssa.SSAInstruction.IVisitor)
  • com.ibm.wala.analysis.arraybounds.hypergraph.weight.ReverseOrder (implements java.util.Comparator<T>)
  • com.ibm.wala.ipa.callgraph.propagation.rta.RTASelectorKey (implements com.ibm.wala.ipa.callgraph.propagation.PointerKey)
  • com.ibm.wala.examples.drivers.ScopeFileCallGraph
  • 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.types.Selector
  • com.ibm.wala.ipa.cha.SeqClassHierarchyFactory
  • com.ibm.wala.ipa.callgraph.ShallowAnalysisScope (implements java.io.Serializable)
  • com.ibm.wala.analysis.arraybounds.hypergraph.algorithms.ShortestPath<T>
  • com.ibm.wala.classLoader.ShrikeBTMethod (implements com.ibm.wala.shrikeBT.BytecodeConstants, com.ibm.wala.classLoader.IMethod)
    • com.ibm.wala.classLoader.ShrikeCTMethod (implements com.ibm.wala.classLoader.IBytecodeMethod<I>)
  • com.ibm.wala.classLoader.ShrikeBTMethod.BytecodeInfo
  • com.ibm.wala.util.shrike.ShrikeClassReaderHandle
  • com.ibm.wala.ssa.ShrikeIndirectionData (implements com.ibm.wala.ssa.SSAIndirectionData<T>)
  • com.ibm.wala.ssa.ShrikeIndirectionData.ShrikeLocalName (implements com.ibm.wala.ssa.SSAIndirectionData.Name)
  • com.ibm.wala.classLoader.ShrikeIRFactory (implements com.ibm.wala.ssa.IRFactory<T>)
  • com.ibm.wala.util.shrike.ShrikeUtil (implements com.ibm.wala.shrikeBT.BytecodeConstants)
  • com.ibm.wala.types.generics.Signature
    • com.ibm.wala.types.generics.ClassSignature
    • com.ibm.wala.types.generics.FormalTypeParameter
    • com.ibm.wala.types.generics.MethodTypeSignature
    • com.ibm.wala.types.generics.TypeArgument
    • com.ibm.wala.types.generics.TypeSignature
      • com.ibm.wala.types.generics.ArrayTypeSignature
      • com.ibm.wala.types.generics.BaseType
      • com.ibm.wala.types.generics.ClassTypeSignature
      • com.ibm.wala.types.generics.TypeVariableSignature
  • com.ibm.wala.demandpa.util.SimpleMemoryAccessMap (implements com.ibm.wala.demandpa.util.MemoryAccessMap)
  • com.ibm.wala.demandpa.alg.refinepolicy.SinglePassRefinementPolicy.Factory (implements com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicyFactory)
  • com.ibm.wala.dataflow.IFDS.SingletonFlowFunction (implements com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction)
  • com.ibm.wala.ipa.slicer.SliceFunctions (implements com.ibm.wala.dataflow.IFDS.IPartiallyBalancedFlowFunctions<T>)
  • com.ibm.wala.ipa.slicer.Slicer
  • com.ibm.wala.ipa.slicer.Slicer.SliceProblem (implements com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationProblem<T,P,F>)
  • com.ibm.wala.ipa.slicer.SlicerUtil
  • com.ibm.wala.ipa.callgraph.propagation.SmushedAllocationSiteInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
  • com.ibm.wala.ssa.SSACache
  • com.ibm.wala.ssa.SSACFG (implements com.ibm.wala.cfg.ControlFlowGraph<I,T>, com.ibm.wala.cfg.MinimalCFG<T>)
  • com.ibm.wala.ssa.SSACFG.BasicBlock (implements com.ibm.wala.ssa.ISSABasicBlock)
    • com.ibm.wala.ssa.SSACFG.ExceptionHandlerBasicBlock
  • com.ibm.wala.cfg.exc.intra.SSACFGNullPointerAnalysis (implements com.ibm.wala.cfg.exc.ExceptionPruningAnalysis<I,T>)
  • com.ibm.wala.ssa.SSAInstruction
    • com.ibm.wala.ssa.ReflectiveMemberAccess
    • com.ibm.wala.ssa.SSAAbstractBinaryInstruction
      • com.ibm.wala.ssa.SSABinaryOpInstruction
    • com.ibm.wala.ssa.SSAAbstractInvokeInstruction
      • com.ibm.wala.ssa.SSAInvokeInstruction
        • com.ibm.wala.ssa.SSAInvokeDynamicInstruction
    • com.ibm.wala.ssa.SSAAbstractThrowInstruction
      • com.ibm.wala.ssa.SSAThrowInstruction
    • com.ibm.wala.ssa.SSAAbstractUnaryInstruction
      • com.ibm.wala.ssa.SSALoadIndirectInstruction
      • com.ibm.wala.ssa.SSAUnaryOpInstruction
        • com.ibm.wala.ssa.SSAPiInstruction
    • com.ibm.wala.ssa.SSAAddressOfInstruction
    • com.ibm.wala.ssa.SSAArrayLengthInstruction
    • com.ibm.wala.ssa.SSAArrayReferenceInstruction
      • com.ibm.wala.ssa.SSAArrayLoadInstruction
      • com.ibm.wala.ssa.SSAArrayStoreInstruction
    • com.ibm.wala.ssa.SSACheckCastInstruction
    • com.ibm.wala.ssa.SSAComparisonInstruction
    • com.ibm.wala.ssa.SSAConditionalBranchInstruction
    • com.ibm.wala.ssa.SSAConversionInstruction
    • com.ibm.wala.ssa.SSAFieldAccessInstruction
      • com.ibm.wala.ssa.SSAGetInstruction
      • com.ibm.wala.ssa.SSAPutInstruction
    • com.ibm.wala.ssa.SSAGetCaughtExceptionInstruction
    • com.ibm.wala.ssa.SSAGotoInstruction
    • com.ibm.wala.ssa.SSAInstanceofInstruction
    • com.ibm.wala.ssa.SSALoadMetadataInstruction
    • com.ibm.wala.ssa.SSAMonitorInstruction
    • com.ibm.wala.ssa.SSANewInstruction
    • com.ibm.wala.ssa.SSAPhiInstruction
    • com.ibm.wala.ssa.SSAReturnInstruction
    • com.ibm.wala.ssa.SSAStoreIndirectInstruction
    • com.ibm.wala.ssa.SSASwitchInstruction
  • com.ibm.wala.ssa.SSAInstruction.Visitor (implements com.ibm.wala.ssa.SSAInstruction.IVisitor)
    • com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.StatementVisitor (implements com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph.FlowStatementVisitor)
    • com.ibm.wala.cfg.InducedCFG.BranchVisitor
    • com.ibm.wala.cfg.InducedCFG.PEIVisitor
    • com.ibm.wala.ipa.modref.ModRef.ModVisitor<T,H>
    • com.ibm.wala.ipa.modref.ModRef.RefVisitor<T,H>
    • com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor
    • com.ibm.wala.demandpa.flowgraph.SimpleDemandPointerFlowGraph.StatementVisitor
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor
    • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor
    • com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory (implements com.ibm.wala.ssa.IVisitorWithAddresses, com.ibm.wala.dataflow.ssa.SSAInference.OperatorFactory<T>)
  • com.ibm.wala.ssa.SSAOptions
  • com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer (implements com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer)
  • com.ibm.wala.util.ssa.SSAValue
    • com.ibm.wala.util.ssa.ParameterAccessor.Parameter
  • com.ibm.wala.util.ssa.SSAValue.NamedKey (implements com.ibm.wala.util.ssa.SSAValue.VariableKey)
    • com.ibm.wala.util.ssa.SSAValue.WeaklyNamedKey
      • com.ibm.wala.util.ssa.ParameterAccessor.ParameterKey
  • com.ibm.wala.util.ssa.SSAValue.TypeKey (implements com.ibm.wala.util.ssa.SSAValue.VariableKey)
  • com.ibm.wala.util.ssa.SSAValue.UniqueKey (implements com.ibm.wala.util.ssa.SSAValue.VariableKey)
  • com.ibm.wala.util.ssa.SSAValueManager
  • com.ibm.wala.ipa.slicer.Statement
    • com.ibm.wala.ipa.slicer.ExceptionalReturnCallee
    • com.ibm.wala.ipa.slicer.GetCaughtExceptionStatement
    • com.ibm.wala.ipa.slicer.HeapStatement
      • com.ibm.wala.ipa.slicer.HeapStatement.HeapParamCallee
      • com.ibm.wala.ipa.slicer.HeapStatement.HeapParamCaller
      • com.ibm.wala.ipa.slicer.HeapStatement.HeapReturnCallee
      • com.ibm.wala.ipa.slicer.HeapStatement.HeapReturnCaller
    • com.ibm.wala.ipa.slicer.MethodEntryStatement
    • com.ibm.wala.ipa.slicer.MethodExitStatement
    • com.ibm.wala.ipa.slicer.NormalReturnCallee
    • com.ibm.wala.ipa.slicer.ParamCallee (implements com.ibm.wala.ipa.slicer.ValueNumberCarrier)
    • com.ibm.wala.ipa.slicer.PhiStatement
    • com.ibm.wala.ipa.slicer.PiStatement
    • com.ibm.wala.ipa.slicer.StatementWithInstructionIndex
      • com.ibm.wala.ipa.slicer.ExceptionalReturnCaller (implements com.ibm.wala.ipa.slicer.ValueNumberCarrier)
      • com.ibm.wala.ipa.slicer.NormalReturnCaller (implements com.ibm.wala.ipa.slicer.ValueNumberCarrier)
      • com.ibm.wala.ipa.slicer.NormalStatement
      • com.ibm.wala.ipa.slicer.ParamCaller (implements com.ibm.wala.ipa.slicer.ValueNumberCarrier)
  • com.ibm.wala.examples.analysis.dataflow.StaticInitializer
  • com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.StoringExceptionFilter<Instruction> (implements com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.InterproceduralExceptionFilter<Instruction>)
    • com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.ArrayOutOfBoundInterFilter
    • com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.NullPointerExceptionInterFilter
  • com.ibm.wala.ipa.callgraph.propagation.StringConstantCharArray (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey)
  • com.ibm.wala.util.strings.StringStuff
  • com.ibm.wala.ipa.summaries.SummarizedMethodWithNames.SyntheticIRWithNames.SyntheticSSA2LocalMap (implements com.ibm.wala.ssa.IR.SSA2LocalMap)
  • com.ibm.wala.ssa.SymbolTable (implements java.lang.Cloneable)
  • com.ibm.wala.classLoader.SyntheticClass (implements com.ibm.wala.classLoader.IClass)
    • com.ibm.wala.ipa.summaries.BypassSyntheticClass
    • com.ibm.wala.ipa.callgraph.impl.FakeRootClass
    • com.ibm.wala.ipa.summaries.LambdaSummaryClass
    • com.ibm.wala.classLoader.PhantomClass
  • com.ibm.wala.model.SyntheticFactory
  • com.ibm.wala.ipa.summaries.SyntheticIRFactory (implements com.ibm.wala.ssa.IRFactory<T>)
  • com.ibm.wala.classLoader.SyntheticMethod (implements com.ibm.wala.classLoader.IMethod)
    • com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.SpecializedMethod
      • com.ibm.wala.analysis.reflection.FactoryBypassInterpreter.SpecializedFactoryMethod
    • com.ibm.wala.ipa.callgraph.impl.AbstractRootMethod
      • com.ibm.wala.ipa.callgraph.impl.FakeRootMethod
      • com.ibm.wala.ipa.callgraph.impl.FakeWorldClinitMethod
    • com.ibm.wala.ipa.summaries.SummarizedMethod
      • com.ibm.wala.ipa.summaries.SummarizedMethodWithNames
  • com.ibm.wala.model.java.lang.System
  • com.ibm.wala.dataflow.IFDS.TabulationSolver<T,P,F>
    • com.ibm.wala.dataflow.IFDS.BoundedTabulationSolver<T,P,F>
    • com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationSolver<T,P,F>
      • com.ibm.wala.dataflow.IFDS.BoundedPartiallyBalancedSolver<T,P,F>
  • com.ibm.wala.dataflow.IFDS.TabulationSolver.Result (implements com.ibm.wala.dataflow.IFDS.TabulationResult<T,P,F>)
  • com.ibm.wala.ipa.callgraph.propagation.TargetMethodContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.model.java.lang.Thread
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • com.ibm.wala.util.CancelException
        • com.ibm.wala.ipa.callgraph.CallGraphBuilderCancelException
        • com.ibm.wala.dataflow.IFDS.TabulationCancelException
      • com.ibm.wala.util.ProgressMaster.TooMuchMemoryUsed
      • java.lang.RuntimeException
        • com.ibm.wala.demandpa.alg.BudgetExceededException
        • com.ibm.wala.util.CancelRuntimeException
        • com.ibm.wala.util.ssa.ClassLookupException
        • com.ibm.wala.classLoader.NoSuperclassFoundException
        • com.ibm.wala.demandpa.alg.statemachine.StatesMergedException
      • com.ibm.wala.util.WalaException
        • com.ibm.wala.ipa.cha.ClassHierarchyException
          • com.ibm.wala.ipa.cha.CancelCHAConstructionException
  • com.ibm.wala.escape.TrivialMethodEscape (implements com.ibm.wala.escape.IMethodEscapeAnalysis, com.ibm.wala.escape.INodeEscapeAnalysis)
  • com.ibm.wala.demandpa.alg.refinepolicy.TunedFieldRefinementPolicy (implements com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy)
  • com.ibm.wala.demandpa.alg.refinepolicy.TunedRefinementPolicy.Factory (implements com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicyFactory)
  • com.ibm.wala.analysis.typeInference.TypeAbstraction (implements com.ibm.wala.ipa.callgraph.ContextItem)
    • com.ibm.wala.analysis.typeInference.ConeType
    • com.ibm.wala.analysis.typeInference.PointType
    • com.ibm.wala.analysis.typeInference.PrimitiveType
      • com.ibm.wala.analysis.typeInference.JavaPrimitiveType
  • com.ibm.wala.types.annotations.TypeAnnotation
  • com.ibm.wala.types.annotations.TypeAnnotation.TypeAnnotationTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.CatchTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.EmptyTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.FormalParameterTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.LocalVarTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.OffsetTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.SuperTypeTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.ThrowsTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.TypeArgumentTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.TypeParameterBoundTarget
    • com.ibm.wala.types.annotations.TypeAnnotation.TypeParameterTarget
  • com.ibm.wala.ipa.callgraph.propagation.rta.TypeBasedHeapModel (implements com.ibm.wala.ipa.callgraph.propagation.HeapModel)
  • com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory (implements com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory<T>)
  • com.ibm.wala.types.TypeName (implements java.io.Serializable)
  • com.ibm.wala.types.TypeReference (implements java.io.Serializable)
  • com.ibm.wala.util.ssa.TypeSafeInstructionFactory
  • com.ibm.wala.ipa.callgraph.impl.UnionContextSelector (implements com.ibm.wala.ipa.callgraph.ContextSelector)
  • com.ibm.wala.util.strings.UTF8Convert
  • com.ibm.wala.ipa.callgraph.impl.Util
  • com.ibm.wala.cfg.Util
  • com.ibm.wala.dataflow.IFDS.VectorGenFlowFunction (implements com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction)
  • com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction (implements com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction)
  • com.ibm.wala.ipa.summaries.VolatileMethodSummary
  • com.ibm.wala.examples.properties.WalaExamplesProperties
  • com.ibm.wala.properties.WalaProperties
  • com.ibm.wala.util.warnings.Warning (implements java.lang.Comparable<T>)
    • com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.IgnoreSerializableWarning
    • com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.ManySubtypesWarning
    • com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.NoSubtypesWarning
    • com.ibm.wala.ipa.cha.ClassHierarchyWarning
    • com.ibm.wala.util.shrike.Exceptions.MethodResolutionFailure
  • com.ibm.wala.util.warnings.Warnings
  • com.ibm.wala.analysis.arraybounds.hypergraph.weight.Weight
  • com.ibm.wala.demandpa.alg.WithState<T>
    • com.ibm.wala.demandpa.alg.InstanceFieldKeyAndState
    • com.ibm.wala.demandpa.alg.InstanceKeyAndState
    • com.ibm.wala.demandpa.alg.PointerKeyAndState
  • com.ibm.wala.ipa.summaries.XMLMethodSummaryReader (implements com.ibm.wala.shrikeBT.BytecodeConstants)
  • com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys (implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)

Interface Hierarchy

• com.ibm.wala.client.AbstractAnalysisEngine.EntrypointBuilder
• com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.FlowProvider
• com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.Meeter
• com.ibm.wala.client.AnalysisEngine
• com.ibm.wala.cfg.BytecodeCFG
• com.ibm.wala.ipa.callgraph.CallGraphBuilder<I>
• com.ibm.wala.demandpa.alg.refinepolicy.CallGraphRefinePolicy
• 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.SSAContextInterpreter
• com.ibm.wala.classLoader.ClassLoaderFactory
• com.ibm.wala.ipa.callgraph.ClassTargetSelector
• java.lang.Comparable<T>
  • com.ibm.wala.classLoader.IMethod.SourcePosition
• com.ibm.wala.ipa.callgraph.ContextItem
  • com.ibm.wala.ipa.callgraph.CGNode (also extends com.ibm.wala.ipa.cha.IClassHierarchyDweller, com.ibm.wala.util.graph.INodeWithNumber)
  • com.ibm.wala.ipa.callgraph.Context
  • com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter
  • com.ibm.wala.classLoader.IBytecodeMethod<I>
  • com.ibm.wala.classLoader.IMethod (also extends com.ibm.wala.classLoader.IMember)
    • com.ibm.wala.classLoader.IBytecodeMethod<I>
  • com.ibm.wala.ipa.callgraph.propagation.InstanceKey
    • com.ibm.wala.analysis.reflection.InstanceKeyWithNode
  • com.ibm.wala.analysis.reflection.InstanceKeyWithNode
• com.ibm.wala.ipa.callgraph.ContextKey
• com.ibm.wala.ipa.callgraph.ContextSelector
• com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler
• com.ibm.wala.ipa.cfg.EdgeFilter<T>
• 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.util.graph.labeled.LabeledGraph<T,U> (also extends com.ibm.wala.util.graph.labeled.LabeledEdgeManager<T,U>)
      • com.ibm.wala.demandpa.flowgraph.IFlowGraph
    • com.ibm.wala.util.graph.NumberedGraph<T> (also extends com.ibm.wala.util.graph.NumberedEdgeManager<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>)
      • com.ibm.wala.ipa.callgraph.CallGraph
      • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.cfg.MinimalCFG<T>)
      • com.ibm.wala.analysis.pointers.HeapGraph<T>
      • com.ibm.wala.ipa.slicer.ISDG (also extends com.ibm.wala.ipa.cha.IClassHierarchyDweller)
      • com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>
      • com.ibm.wala.cfg.MinimalCFG<T>
        • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.util.graph.NumberedGraph<T>)
  • com.ibm.wala.util.graph.labeled.LabeledEdgeManager<T,U>
    • com.ibm.wala.util.graph.labeled.LabeledGraph<T,U> (also extends com.ibm.wala.util.graph.Graph<T>)
      • com.ibm.wala.demandpa.flowgraph.IFlowGraph
  • com.ibm.wala.util.graph.NumberedEdgeManager<T>
    • com.ibm.wala.util.graph.NumberedGraph<T> (also extends com.ibm.wala.util.graph.Graph<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>)
      • com.ibm.wala.ipa.callgraph.CallGraph
      • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.cfg.MinimalCFG<T>)
      • com.ibm.wala.analysis.pointers.HeapGraph<T>
      • com.ibm.wala.ipa.slicer.ISDG (also extends com.ibm.wala.ipa.cha.IClassHierarchyDweller)
      • com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>
      • com.ibm.wala.cfg.MinimalCFG<T>
        • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.util.graph.NumberedGraph<T>)
• com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.EdgeWeight
• com.ibm.wala.client.EngineStopwatch
• com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter<Instruction>
• com.ibm.wala.cfg.exc.ExceptionPruningAnalysis<I,T>
• com.ibm.wala.demandpa.alg.refinepolicy.FieldRefinePolicy
• com.ibm.wala.ipa.callgraph.IAnalysisCacheView
• com.ibm.wala.ipa.cha.IClassHierarchyDweller
  • com.ibm.wala.ipa.callgraph.CGNode (also extends com.ibm.wala.ipa.callgraph.ContextItem, com.ibm.wala.util.graph.INodeWithNumber)
  • com.ibm.wala.classLoader.IBytecodeMethod<I>
  • com.ibm.wala.classLoader.IClass
  • com.ibm.wala.classLoader.IField
  • com.ibm.wala.classLoader.IMember
    • com.ibm.wala.classLoader.IBytecodeMethod<I>
    • com.ibm.wala.classLoader.IField
    • com.ibm.wala.classLoader.IMethod (also extends com.ibm.wala.ipa.callgraph.ContextItem)
      • com.ibm.wala.classLoader.IBytecodeMethod<I>
  • com.ibm.wala.classLoader.IMethod (also extends com.ibm.wala.ipa.callgraph.ContextItem, com.ibm.wala.classLoader.IMember)
    • com.ibm.wala.classLoader.IBytecodeMethod<I>
  • com.ibm.wala.ipa.slicer.ISDG (also extends com.ibm.wala.util.graph.NumberedGraph<T>)
• com.ibm.wala.classLoader.IClassLoader
• com.ibm.wala.demandpa.alg.IDemandPointerAnalysis
• com.ibm.wala.dataflow.IFDS.IFlowFunction
  • com.ibm.wala.dataflow.IFDS.IBinaryReturnFlowFunction
  • com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction
  • com.ibm.wala.dataflow.IFDS.IUnaryFlowFunction
    • com.ibm.wala.dataflow.IFDS.IReversibleFlowFunction
• com.ibm.wala.dataflow.IFDS.IFlowFunctionMap<T>
  • com.ibm.wala.dataflow.IFDS.IPartiallyBalancedFlowFunctions<T>
• com.ibm.wala.demandpa.flowgraph.IFlowLabel
  • com.ibm.wala.demandpa.flowgraph.IFlowLabelWithFilter
• com.ibm.wala.demandpa.flowgraph.IFlowLabel.IFlowLabelVisitor
• com.ibm.wala.util.ssa.IInstantiator
• com.ibm.wala.escape.ILiveObjectAnalysis
• com.ibm.wala.dataflow.IFDS.IMergeFunction
• com.ibm.wala.escape.IMethodEscapeAnalysis
  • com.ibm.wala.escape.INodeEscapeAnalysis
• com.ibm.wala.util.graph.INodeWithNumber
  • com.ibm.wala.ipa.callgraph.CGNode (also extends com.ibm.wala.ipa.callgraph.ContextItem, com.ibm.wala.ipa.cha.IClassHierarchyDweller)
  • com.ibm.wala.cfg.IBasicBlock<InstType> (also extends java.lang.Iterable<T>)
    • com.ibm.wala.ssa.analysis.IExplodedBasicBlock
    • com.ibm.wala.ssa.ISSABasicBlock
      • com.ibm.wala.ssa.analysis.IExplodedBasicBlock
• com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory
  • com.ibm.wala.ipa.modref.ExtendedHeapModel
  • com.ibm.wala.ipa.callgraph.propagation.HeapModel (also extends com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory)
    • com.ibm.wala.ipa.modref.ExtendedHeapModel
• com.ibm.wala.cfg.exc.InterprocAnalysisResult<I,T>
• com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural.InterproceduralExceptionFilter<Instruction>
• com.ibm.wala.ipa.callgraph.propagation.IPointerOperator
• com.ibm.wala.ipa.callgraph.propagation.IPointsToSolver
• com.ibm.wala.ssa.IR.SSA2LocalMap
• com.ibm.wala.ssa.IRFactory<T>
• com.ibm.wala.ssa.IRView
• com.ibm.wala.viz.viewer.IrViewer.SelectedPcListner
• com.ibm.wala.dataflow.IFDS.ITabulationWorklist<T>
• java.lang.Iterable<T>
  • com.ibm.wala.cfg.IBasicBlock<InstType> (also extends com.ibm.wala.util.graph.INodeWithNumber)
    • com.ibm.wala.ssa.analysis.IExplodedBasicBlock
    • com.ibm.wala.ssa.ISSABasicBlock
      • com.ibm.wala.ssa.analysis.IExplodedBasicBlock
  • com.ibm.wala.ipa.cha.IClassHierarchy
  • 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.util.graph.labeled.LabeledGraph<T,U> (also extends com.ibm.wala.util.graph.labeled.LabeledEdgeManager<T,U>)
        • com.ibm.wala.demandpa.flowgraph.IFlowGraph
      • com.ibm.wala.util.graph.NumberedGraph<T> (also extends com.ibm.wala.util.graph.NumberedEdgeManager<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>)
        • com.ibm.wala.ipa.callgraph.CallGraph
        • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.cfg.MinimalCFG<T>)
        • com.ibm.wala.analysis.pointers.HeapGraph<T>
        • com.ibm.wala.ipa.slicer.ISDG (also extends com.ibm.wala.ipa.cha.IClassHierarchyDweller)
        • com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>
        • com.ibm.wala.cfg.MinimalCFG<T>
          • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.util.graph.NumberedGraph<T>)
    • com.ibm.wala.util.graph.NumberedNodeManager<T>
      • com.ibm.wala.util.graph.NumberedGraph<T> (also extends com.ibm.wala.util.graph.Graph<T>, com.ibm.wala.util.graph.NumberedEdgeManager<T>)
        • com.ibm.wala.ipa.callgraph.CallGraph
        • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.cfg.MinimalCFG<T>)
        • com.ibm.wala.analysis.pointers.HeapGraph<T>
        • com.ibm.wala.ipa.slicer.ISDG (also extends com.ibm.wala.ipa.cha.IClassHierarchyDweller)
        • com.ibm.wala.dataflow.IFDS.ISupergraph<T,P>
        • com.ibm.wala.cfg.MinimalCFG<T>
          • com.ibm.wala.cfg.ControlFlowGraph<I,T> (also extends com.ibm.wala.util.graph.NumberedGraph<T>)
  • com.ibm.wala.util.intset.OrdinalSetMapping<T>
    • com.ibm.wala.dataflow.IFDS.TabulationDomain<F,T>
• com.ibm.wala.classLoader.Language
  • com.ibm.wala.classLoader.BytecodeLanguage
• com.ibm.wala.demandpa.util.MemoryAccessMap
• com.ibm.wala.ipa.callgraph.MethodTargetSelector
• com.ibm.wala.classLoader.Module
  • com.ibm.wala.classLoader.SourceModule (also extends com.ibm.wala.classLoader.ModuleEntry)
• com.ibm.wala.classLoader.ModuleEntry
  • com.ibm.wala.classLoader.SourceModule (also extends com.ibm.wala.classLoader.Module)
• 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.modref.ExtendedHeapModel
  • com.ibm.wala.ipa.callgraph.propagation.HeapModel (also extends com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory)
    • com.ibm.wala.ipa.modref.ExtendedHeapModel
• com.ibm.wala.ipa.callgraph.pruned.PruningPolicy
• com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicy
• com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicyFactory
• com.ibm.wala.ssa.SSAIndirectionData<T>
• com.ibm.wala.ssa.SSAIndirectionData.Name
• com.ibm.wala.dataflow.ssa.SSAInference.OperatorFactory<T>
• com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory<T>
• com.ibm.wala.ssa.SSAInstruction.IVisitor
  • com.ibm.wala.demandpa.flowgraph.AbstractDemandFlowGraph.FlowStatementVisitor
  • com.ibm.wala.ssa.IVisitorWithAddresses
• com.ibm.wala.ssa.SSAInstructionFactory
• com.ibm.wala.ssa.SSAOptions.DefaultValues
• com.ibm.wala.ssa.SSAPiNodePolicy
• com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
• com.ibm.wala.util.ssa.SSAValue.VariableKey
• com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>
• com.ibm.wala.demandpa.alg.statemachine.StateMachine.State
• com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>
• com.ibm.wala.dataflow.IFDS.TabulationProblem<T,P,F>
  • com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationProblem<T,P,F>
• com.ibm.wala.dataflow.IFDS.TabulationResult<T,P,F>
• com.ibm.wala.core.tests.util.TestConstants
• com.ibm.wala.shrikeCT.TypeAnnotationsReader.TypeAnnotationTargetVisitor<R>
  • com.ibm.wala.types.annotations.TypeAnnotation.TypeAnnotationTargetConverter
• com.ibm.wala.ssa.Value
• com.ibm.wala.ipa.slicer.ValueNumberCarrier

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.ibm.wala.ipa.cha.ClassHierarchy.MissingSuperClassHandling
    • com.ibm.wala.ipa.slicer.Statement.Kind
    • com.ibm.wala.ipa.slicer.PDG.Dependency
    • com.ibm.wala.ipa.slicer.Slicer.DataDependenceOptions
    • com.ibm.wala.ipa.slicer.Slicer.ControlDependenceOptions
    • com.ibm.wala.ipa.callgraph.AnalysisOptions.ReflectionOptions
    • com.ibm.wala.analysis.arraybounds.ArrayOutOfBoundsAnalysis.UnnecessaryCheck
    • com.ibm.wala.analysis.arraybounds.hypergraph.weight.Weight.Type
    • com.ibm.wala.util.PrimitiveAssignability.AssignabilityKind
    • com.ibm.wala.util.ssa.ParameterAccessor.BasedOn
    • com.ibm.wala.util.ssa.ParameterAccessor.ParamerterDisposition
    • com.ibm.wala.cfg.exc.intra.NullPointerState.State
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToResult