| Class | Description |
|---|---|
| ResourceLeakAnalysis |
This variant of CFAnalysis extends the set of ignored exception types to include all those
ignored by the
MustCallConsistencyAnalyzer. |
| ResourceLeakAnnotatedTypeFactory |
The type factory for the Resource Leak Checker.
|
| ResourceLeakChecker |
The entry point for the Resource Leak Checker.
|
| ResourceLeakTransfer |
The transfer function for the resource-leak extension to the called-methods type system.
|
| ResourceLeakVisitor |
The visitor for the Resource Leak Checker.
|