|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
| BranchedRefVarsAnalysis | |
| LocalRefVarsAnalysisWrapper | |
| NullPointerChecker | |
| NullPointerColorer | |
| RefIntPair | |
Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||