Hierarchy For Package com.ibm.wala.demandpa.alg
Class Hierarchy
- java.lang.Object
- 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.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.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
- com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.FlowsToComputer
- 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)
- 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>)
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- com.ibm.wala.demandpa.alg.BudgetExceededException
- java.lang.RuntimeException
- java.lang.Exception
- 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.demandpa.alg.AbstractDemandPointsTo (implements com.ibm.wala.demandpa.alg.IDemandPointerAnalysis)
Interface Hierarchy
- com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler
- com.ibm.wala.demandpa.alg.IDemandPointerAnalysis
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.demandpa.alg.DemandRefinementPointsTo.PointsToResult
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)