| Package | Description |
|---|---|
| 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 | Class and Description |
|---|---|
class |
ArrayContentsKey
A
PointerKey which represents the contents of an array instance. |
class |
InstanceFieldKeyWithFilter
an instance field pointer key key that carries a type filter
|
class |
LocalPointerKeyWithFilter
a local pointer key that carries a type filter
|
static class |
PropagationCallGraphBuilder.TypedPointerKey
A pointer key that delegates to an untyped variant, but adds a type filter
|
class |
ReturnValueKeyWithFilter
a helper class which can modify a PropagationCallGraphBuilder to deal with
reflective factory methods.
|
| 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 |
PropagationCallGraphBuilder.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
IClass filter) |
FilteredPointerKey |
PropagationCallGraphBuilder.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
InstanceKey filter) |
FilteredPointerKey |
SSAPropagationCallGraphBuilder.ConstraintVisitor.getFilteredPointerKeyForLocal(int valueNumber,
FilteredPointerKey.TypeFilter filter) |
| 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) |
FilteredPointerKey |
TypeBasedHeapModel.getPointerKeyForLocal(CGNode node,
int valueNumber)
Note that this always returns a
FilteredPointerKey, since the TypeBasedPointerAnalysis relies on the type
filter to compute points to sets. |
| Modifier and Type | Method and Description |
|---|---|
FilteredPointerKey |
DelegatingExtendedHeapModel.getFilteredPointerKeyForLocal(CGNode node,
int valueNumber,
FilteredPointerKey.TypeFilter filter) |
Copyright © 2015. All rights reserved.