Hierarchy For Package com.ibm.wala.cfg.exc.intra

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.dataflow.graph.DataflowSolver<T,V>
        • com.ibm.wala.cfg.exc.intra.NullPointerSolver<B>
  • 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.impl.SparseNumberedGraph<T>
        • com.ibm.wala.cfg.exc.intra.MutableCFG<X,T> (implements com.ibm.wala.cfg.ControlFlowGraph<I,T>)
  • com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.fixpoint.UnaryOperator<T>
      • com.ibm.wala.cfg.exc.intra.OperatorUtil.UnaryOperatorSequence<T>
  • com.ibm.wala.cfg.exc.intra.ExplodedCFGNullPointerAnalysis (implements com.ibm.wala.cfg.exc.ExceptionPruningAnalysis<I,T>)
  • com.ibm.wala.cfg.exc.intra.IntraprocNullPointerAnalysis<T>
  • com.ibm.wala.cfg.exc.intra.MethodState
  • com.ibm.wala.cfg.exc.intra.NegativeGraphFilter<T> (implements com.ibm.wala.ipa.cfg.EdgeFilter<T>)
  • com.ibm.wala.util.graph.impl.NodeWithNumber (implements com.ibm.wala.util.graph.INodeWithNumber)
    • com.ibm.wala.fixpoint.AbstractVariable<T> (implements com.ibm.wala.fixpoint.IVariable<T>)
      • com.ibm.wala.cfg.exc.intra.NullPointerState
      • com.ibm.wala.cfg.exc.intra.ParameterState
  • com.ibm.wala.cfg.exc.intra.NullPointerFrameWork<T> (implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,V>)
  • com.ibm.wala.cfg.exc.intra.OperatorUtil
  • com.ibm.wala.cfg.exc.intra.SSACFGNullPointerAnalysis (implements com.ibm.wala.cfg.exc.ExceptionPruningAnalysis<I,T>)

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • com.ibm.wala.cfg.exc.intra.NullPointerState.State