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 |
|