org.checkerframework.checker.resourceleak

Classes

• ResourceLeakAnalysis
• ResourceLeakAnnotatedTypeFactory
• ResourceLeakChecker
• ResourceLeakTransfer
• ResourceLeakVisitor