| Class | Description |
|---|---|
| NotNullAbsVal | |
| NotNullAnalysisFactory | |
| NotNullAnalysisPass | |
| NotNullAnalysisPass.MakeNonPeerNullResultValid | |
| NotNullAnalysisUtil | |
| NotNullDataFlow |
Interprocedural dataflow analysis to determine which local variables and locations
cannot be null.
|
| NotNullGoal |