| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy |
| Class and Description |
|---|
| RefinementPolicy
A complete refinement policy for a points-to analysis.
|
| RefinementPolicyFactory |
| Class and Description |
|---|
| AbstractRefinementPolicy
Default
RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and
CallGraphRefinePolicy |
| CallGraphRefinePolicy
Interface for specifying a policy for refining the call graph.
|
| FieldRefinePolicy
Interface for specifying a policy for refinement of field access handling.
|
| ManualFieldPolicy
Manually annotated policy for refining field accesses.
|
| RefinementPolicy
A complete refinement policy for a points-to analysis.
|
| RefinementPolicyFactory |
Copyright © 2015. All rights reserved.