Package com.ibm.wala.demandpa.alg
-
Interface Summary Interface Description ContextSensitiveStateMachine.RecursionHandler IDemandPointerAnalysis Basic interface for a demand-driven points-to analysis. -
Class Summary Class Description AbstractDemandPointsTo Abstract super class for demand points-to analysis.CallStack Representation for a calling context.ContextSensitiveStateMachine A state machine for tracking calling context during a points-to query.ContextSensitiveStateMachine.BasicRecursionHandler handles method recursion by only collapsing cycles of recursive calls observed during analysisContextSensitiveStateMachine.Factory DemandRefinementPointsTo Demand-driven refinement-based points-to analysis.InstanceFieldKeyAndState InstanceKeyAndState IntraProcFilter State machine that only allows intraprocedural paths.IntraProcFilter.Factory PointerKeyAndState SimpleDemandPointsTo Purely field-based, context-insensitive demand-driven points-to analysis with very simple implementation.WithState<T> Simple abstraction for pairing some type with aStateMachine.State
. -
Enum Summary Enum Description DemandRefinementPointsTo.PointsToResult Possible results of a query. -
Exception Summary Exception Description BudgetExceededException Exception thrown when a demand-driven points-to query exceeds its allocated budget.