| Package | Description |
|---|---|
| com.ibm.wala.cfg.exc | |
| com.ibm.wala.cfg.exc.intra |
| Modifier and Type | Method and Description |
|---|---|
NullPointerState |
ExceptionPruningAnalysis.getState(T bb)
Returns the state of a node.
|
| Modifier and Type | Method and Description |
|---|---|
NullPointerState |
ExplodedCFGNullPointerAnalysis.getState(IExplodedBasicBlock bb) |
NullPointerState |
SSACFGNullPointerAnalysis.getState(ISSABasicBlock bb) |
NullPointerState |
IntraprocNullPointerAnalysis.getState(T block) |
| Modifier and Type | Method and Description |
|---|---|
void |
NullPointerState.copyState(NullPointerState v) |
| Constructor and Description |
|---|
ParameterState(NullPointerState state,
int[] parameterNumbers)
Constructor to make a
ParameteState out of a regular NullPointerState. |
Copyright © 2015. All rights reserved.