| Package | Description |
|---|---|
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.callgraph.propagation.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.modref |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey.TypeFilter |
IFlowLabelWithFilter.getFilter() |
FilteredPointerKey.TypeFilter |
AssignLabel.getFilter() |
FilteredPointerKey.TypeFilter |
AssignBarLabel.getFilter() |
| Modifier and Type | Method and Description |
|---|---|
static AssignLabel |
AssignLabel.make(FilteredPointerKey.TypeFilter filter) |
static AssignBarLabel |
AssignBarLabel.make(FilteredPointerKey.TypeFilter filter) |
| Modifier and Type | Class and Description |
|---|---|
static class |
FilteredPointerKey.MultipleClassesFilter |
static class |
FilteredPointerKey.SingleClassFilter |
static class |
FilteredPointerKey.SingleInstanceFilter |
static class |
FilteredPointerKey.TargetMethodFilter |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey.TypeFilter |
ReturnValueKeyWithFilter.getTypeFilter() |
FilteredPointerKey.TypeFilter |
PropagationCallGraphBuilder.TypedPointerKey.getTypeFilter() |
FilteredPointerKey.TypeFilter |
LocalPointerKeyWithFilter.getTypeFilter() |
FilteredPointerKey.TypeFilter |
InstanceFieldKeyWithFilter.getTypeFilter() |
FilteredPointerKey.TypeFilter |
FilteredPointerKey.getTypeFilter() |
FilteredPointerKey.TypeFilter |
ArrayContentsKey.getTypeFilter() |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey |
PropagationCallGraphBuilder.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
FilteredPointerKey |
PointerKeyFactory.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
FilteredPointerKey |
PointerAnalysisImpl.HModel.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
FilteredPointerKey |
SSAPropagationCallGraphBuilder.ConstraintVisitor.getFilteredPointerKeyForLocal(int valueNumber,
FilteredPointerKey.TypeFilter filter) |
| Constructor and Description |
|---|
LocalPointerKeyWithFilter(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter typeFilter) |
ReturnValueKeyWithFilter(CGNode node,
FilteredPointerKey.TypeFilter typeFilter) |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey |
DefaultPointerKeyFactory.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey |
TypeBasedHeapModel.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey |
DelegatingExtendedHeapModel.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
Copyright © 2015. All rights reserved.