Package com.ibm.wala.demandpa.alg

Interface Summary

ContextSensitiveStateMachine.RecursionHandler
IDemandPointerAnalysis	Basic interface for a demand-driven points-to analysis.

Class Summary

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 analysis
ContextSensitiveStateMachine.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 a StateMachine.State.

Enum Summary

DemandRefinementPointsTo.PointsToResult

Possible results of a query.

Exception Summary

BudgetExceededException

Exception thrown when a demand-driven points-to query exceeds its allocated budget.