| Interface | Description |
|---|---|
| CallGraphRefinePolicy |
Interface for specifying a policy for refining the call graph.
|
| FieldRefinePolicy |
Interface for specifying a policy for refinement of field access handling.
|
| RefinementPolicy |
A complete refinement policy for a points-to analysis.
|
| RefinementPolicyFactory |
| Class | Description |
|---|---|
| AbstractRefinementPolicy |
Default
RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and CallGraphRefinePolicy |
| AlwaysRefineCGPolicy |
A policy that always refines the call graph.
|
| AlwaysRefineFieldsPolicy |
A policy that always refines handling of field accesses by checking for an alias path
corresponding to each match edge.
|
| ContainersFieldPolicy | |
| DelegatingFieldRefinePolicy |
A field refine policy that first checks with A, then delegates to B
|
| ManualCGRefinePolicy |
A call graph refinement policy with manual annotations for which virtual call sites to refine.
|
| ManualFieldPolicy |
Manually annotated policy for refining field accesses.
|
| ManualRefinementPolicy |
A refinement policy specified manually with annotations.
|
| ManualRefinementPolicy.Factory | |
| NeverRefineCGPolicy | |
| NeverRefineFieldsPolicy | |
| OnlyArraysPolicy |
Only refines for the array contents pseudo-field.
|
| SinglePassRefinementPolicy |
A policy for performing a single analysis pass, i.e., with no refinement.
|
| SinglePassRefinementPolicy.Factory | |
| TunedFieldRefinementPolicy | |
| TunedRefinementPolicy |
A refinement policy that iteratively adds more types to refine, based on which type was
encountered first in each analysis pass.
|
| TunedRefinementPolicy.Factory |