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 |