Package com.ibm.wala.demandpa.alg.refinepolicy
package com.ibm.wala.demandpa.alg.refinepolicy
-
ClassDescriptionDefault
RefinementPolicy
implementation, delegating to some providedFieldRefinePolicy
andCallGraphRefinePolicy
A policy that always refines the call graph.A policy that always refines handling of field accesses by checking for an alias path corresponding to each match edge.Interface for specifying a policy for refining the call graph.A field refine policy that first checks with A, then delegates to BInterface for specifying a policy for refinement of field access handling.A call graph refinement policy with manual annotations for which virtual call sites to refine.Manually annotated policy for refining field accesses.A refinement policy specified manually with annotations.Only refines for the array contents pseudo-field.A complete refinement policy for a points-to analysis.A policy for performing a single analysis pass, i.e., with no refinement.A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each analysis pass.