com.ibm.wala.demandpa.alg
Interfaces
ContextSensitiveStateMachine.RecursionHandler
IDemandPointerAnalysis
Classes
AbstractDemandPointsTo
CallStack
ContextSensitiveStateMachine
ContextSensitiveStateMachine.BasicRecursionHandler
ContextSensitiveStateMachine.Factory
DemandRefinementPointsTo
InstanceFieldKeyAndState
InstanceKeyAndState
IntraProcFilter
IntraProcFilter.Factory
PointerKeyAndState
SimpleDemandPointsTo
WithState
Enums
DemandRefinementPointsTo.PointsToResult
Exceptions
BudgetExceededException