Package com.ibm.wala.demandpa.alg
package com.ibm.wala.demandpa.alg
-
ClassDescriptionAbstract super class for demand points-to analysis.Exception thrown when a demand-driven points-to query exceeds its allocated budget.Representation for a calling context.A state machine for tracking calling context during a points-to query.handles method recursion by only collapsing cycles of recursive calls observed during analysisDemand-driven refinement-based points-to analysis.Possible results of a query.Basic interface for a demand-driven points-to analysis.State machine that only allows intraprocedural paths.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
.