See: Description
| Class | Description |
|---|---|
| CGIntraproceduralExceptionAnalysis |
Wrapper to store multiple intraprocedural analysis for a call graph.
|
| Exception2BitvectorTransformer | |
| ExceptionAnalysis |
This class analyzes the exceptional control flow.
|
| ExceptionAnalysis2EdgeFilter |
Converter to use the results of the exception analysis with an edge filter.
|
| ExceptionTransferFunctionProvider | |
| InitializedBitVectorSolver | |
| IntraproceduralExceptionAnalysis |
ExceptionAnalysis. If you need a CFG without unnecessary
exception edges use PrunedCFG in combination with ExceptionAnalysis2EdgeFilter