| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| Modifier and Type | Method and Description |
|---|---|
InstanceFieldKey |
InstanceFieldKeyAndState.getInstanceFieldKey() |
| Constructor and Description |
|---|
InstanceFieldKeyAndState(InstanceFieldKey wrapped,
StateMachine.State state) |
| Modifier and Type | Class and Description |
|---|---|
class |
InstanceFieldKeyWithFilter
an instance field pointer key key that carries a type filter
|
Copyright © 2015. All rights reserved.