| Class | Description |
|---|---|
| ExplodedCFGNullPointerAnalysis |
Intraprocedural null pointer analysis for the exploded control flow graph.
|
| IntraprocNullPointerAnalysis<T extends ISSABasicBlock> |
Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.
|
| MethodState |
Provides a way for the nullpointer analysis to decide whether or not a called method
may throw an exception.
|
| MutableCFG<X,T extends IBasicBlock<X>> |
A modifiable control flow graph.
|
| NegativeGraphFilter<T extends IBasicBlock<?>> |
An EdgeFilter that ignores all edges contained in a given graph.
|
| NullPointerState |
States for the ssa variables.
|
| ParameterState |
Encapsulates the state of all parameters of an invoked method
|
| SSACFGNullPointerAnalysis |
| Enum | Description |
|---|---|
| NullPointerState.State |
Copyright © 2015. All rights reserved.