Uses of Package
com.ibm.wala.demandpa.alg

Packages that use com.ibm.wala.demandpa.alg

Package	Description
com.ibm.wala.demandpa.alg

Classes in com.ibm.wala.demandpa.alg used by com.ibm.wala.demandpa.alg

Class and Description
AbstractDemandPointsTo Abstract super class for demand points-to analysis.
CallStack Representation for a calling context.
ContextSensitiveStateMachine.RecursionHandler
DemandRefinementPointsTo Demand-driven refinement-based points-to analysis.
DemandRefinementPointsTo.PointsToComputer Points-to analysis algorithm code.
DemandRefinementPointsTo.PointsToResult Possible results of a query.
IDemandPointerAnalysis Basic interface for a demand-driven points-to analysis.
InstanceKeyAndState
PointerKeyAndState
WithState Simple abstraction for pairing some type with a StateMachine.State.