Interface | Description |
---|---|
ExceptionPruningAnalysis<I,T extends IBasicBlock<I>> |
This abstract class is used as interface for analysis that remove impossible
control flow from a CFG.
|
InterprocAnalysisResult<I,T extends IBasicBlock<I>> |
Interface to retrieve the result of the interprocedural analysis.
|
Class | Description |
---|---|
NullPointerAnalysis |
Tries to detect impossible (or always appearing) NullPointerExceptions and removes impossible
control flow from the CFG.
|