circle-ir 3.149.0 → 3.150.0

package/dist/analysis/passes/resource-leak-pass.d.ts

@@ -68,5 +68,31 @@ export declare class ResourceLeakPass implements AnalysisPass<ResourceLeakResult
      * `void openFoo()` continue to fire.
      */
     private isFactoryMethod;
+    /**
+     * #226 — true if `variable` is passed as a constructor argument to a
+     * known Closeable wrapper call within the enclosing method's line
+     * range. Ownership of the inner stream transfers to the wrapper.
+     *
+     * The check is deliberately per-method: cross-method wrapping does
+     * not apply because the inner reference has already escaped the
+     * scope by then.
+     */
+    private isWrappedByCloseableCtor;
+    /**
+     * #227 — true if `variable` refers to a field of the enclosing class
+     * that is closed inside a worker-literal method (Runnable#run,
+     * Callable#call, Consumer#accept, ...) declared in the same enclosing
+     * method. Ownership transfers to the executor thread.
+     *
+     * The heuristic is intentionally conservative: it requires both
+     *  (a) the resource variable to match a declared field name on the
+     *      enclosing class (so a stray local named `selector` cannot
+     *      accidentally opt in to the suppression), AND
+     *  (b) a `<field>.close()` (or CLOSE_METHODS) call to appear on a
+     *      line inside a method whose name is one of WORKER_METHODS and
+     *      whose start_line is strictly within the enclosing method's
+     *      body (nested literal indicator).
+     */
+    private isClosedInNestedWorker;
 }
 //# sourceMappingURL=resource-leak-pass.d.ts.map

package/dist/analysis/passes/resource-leak-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resource-leak-pass.d.ts","sourceRoot":"","sources":["../../../src/analysis/passes/resource-leak-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AA+C9E,MAAM,WAAW,kBAAkB;IACjC,iDAAiD;IACjD,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;KAChC,CAAC,CAAC;CACJ;AAED,qBAAa,gBAAiB,YAAW,YAAY,CAAC,kBAAkB,CAAC;IACvE,QAAQ,CAAC,IAAI,mBAAmB;IAChC,QAAQ,CAAC,QAAQ,EAAG,aAAa,CAAU;IAE3C,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,kBAAkB;IA0HzC,kFAAkF;IAClF,OAAO,CAAC,eAAe;IAOvB;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IAQ3B;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAa1B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAgBvB;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IAa9B;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;CAIxB"}
+{"version":3,"file":"resource-leak-pass.d.ts","sourceRoot":"","sources":["../../../src/analysis/passes/resource-leak-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAgF9E,MAAM,WAAW,kBAAkB;IACjC,iDAAiD;IACjD,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;KAChC,CAAC,CAAC;CACJ;AAED,qBAAa,gBAAiB,YAAW,YAAY,CAAC,kBAAkB,CAAC;IACvE,QAAQ,CAAC,IAAI,mBAAmB;IAChC,QAAQ,CAAC,QAAQ,EAAG,aAAa,CAAU;IAE3C,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,kBAAkB;IAkJzC,kFAAkF;IAClF,OAAO,CAAC,eAAe;IAOvB;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IAQ3B;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAa1B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAgBvB;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IAa9B;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAKvB;;;;;;;;OAQG;IACH,OAAO,CAAC,wBAAwB;IAmBhC;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,sBAAsB;CAqD/B"}

package/dist/analysis/passes/resource-leak-pass.js

@@ -56,6 +56,37 @@ const CLOSE_METHODS = new Set([
     'close', 'dispose', 'shutdown', 'disconnect', 'release', 'destroy', 'free',
     'shutdownNow', 'terminate',
 ]);
+/**
+ * #226 — Closeable wrapper constructors that document ownership transfer
+ * of their underlying stream/reader. When the underlying resource is passed
+ * as a constructor argument to one of these wrappers, closing the wrapper
+ * cascades to the inner stream (per JDK javadoc), so no leak exists.
+ * Reference: java.io + java.util.zip standard wrappers.
+ */
+const WRAPPER_CTORS = new Set([
+    // java.io wrappers
+    'BufferedInputStream', 'BufferedOutputStream', 'BufferedReader', 'BufferedWriter',
+    'InputStreamReader', 'OutputStreamWriter', 'DataInputStream', 'DataOutputStream',
+    'PrintStream', 'PrintWriter', 'LineNumberReader', 'PushbackInputStream',
+    'PushbackReader', 'SequenceInputStream',
+    // java.util.zip wrappers
+    'GZIPInputStream', 'GZIPOutputStream', 'ZipInputStream', 'ZipOutputStream',
+    'InflaterInputStream', 'DeflaterOutputStream', 'CheckedInputStream',
+    'CheckedOutputStream',
+]);
+/**
+ * #227 — Anonymous-class / functional-interface literal method names that
+ * commonly hold long-lived resources handed off from an outer scope. When a
+ * resource-field is closed inside one of these literals, ownership has been
+ * transferred to the worker and the outer method should not be flagged.
+ */
+const WORKER_METHODS = new Set([
+    'run', // Runnable, Thread
+    'call', // Callable
+    'accept', // Consumer
+    'get', // Supplier
+    'apply', // Function
+]);
 export class ResourceLeakPass {
     name = 'resource-leak';
     category = 'reliability';
@@ -103,6 +134,24 @@ export class ResourceLeakPass {
             if (this.isFactoryMethod(methodInfo.method)) {
                 continue;
             }
+            // #226 — suppression 4: resource is immediately passed as a
+            // constructor argument to a known Closeable wrapper (e.g.
+            // `new GZIPInputStream(fis)`, `new BufferedReader(new
+            // InputStreamReader(is))`). Per JDK javadoc, closing the
+            // wrapper cascades to the underlying stream, so ownership
+            // transfers to the wrapper and the inner reference is released
+            // through the outer chain.
+            if (this.isWrappedByCloseableCtor(graph.ir.calls, resourceVar, openLine, methodEnd)) {
+                continue;
+            }
+            // #227 — suppression 5: resource is stored to a class field
+            // AND that field is referenced with a close() call inside a
+            // worker literal (Runnable#run / Callable#call / etc.) declared
+            // in the same method. Idiomatic Java concurrency: outer method
+            // opens the resource, executor thread closes it in cleanup.
+            if (this.isClosedInNestedWorker(graph, codeLines, resourceVar, methodInfo, openLine, methodEnd)) {
+                continue;
+            }
             // Look for a close() call on this resource within the method
             const closeCall = graph.ir.calls.find(c => CLOSE_METHODS.has(c.method_name) &&
                 c.receiver === resourceVar &&
@@ -240,5 +289,94 @@ export class ResourceLeakPass {
             return false;
         return FACTORY_METHOD_NAME_RE.test(method.name);
     }
+    /**
+     * #226 — true if `variable` is passed as a constructor argument to a
+     * known Closeable wrapper call within the enclosing method's line
+     * range. Ownership of the inner stream transfers to the wrapper.
+     *
+     * The check is deliberately per-method: cross-method wrapping does
+     * not apply because the inner reference has already escaped the
+     * scope by then.
+     */
+    isWrappedByCloseableCtor(calls, variable, fromLine, toLine) {
+        // WRAPPER_CTORS names are PascalCase JDK class names — safe to
+        // match regardless of `is_constructor` (Java tree-sitter often
+        // omits the flag).
+        for (const call of calls) {
+            if (!WRAPPER_CTORS.has(call.method_name))
+                continue;
+            if (call.location.line < fromLine || call.location.line > toLine)
+                continue;
+            for (const arg of call.arguments) {
+                if (arg.variable === variable)
+                    return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * #227 — true if `variable` refers to a field of the enclosing class
+     * that is closed inside a worker-literal method (Runnable#run,
+     * Callable#call, Consumer#accept, ...) declared in the same enclosing
+     * method. Ownership transfers to the executor thread.
+     *
+     * The heuristic is intentionally conservative: it requires both
+     *  (a) the resource variable to match a declared field name on the
+     *      enclosing class (so a stray local named `selector` cannot
+     *      accidentally opt in to the suppression), AND
+     *  (b) a `<field>.close()` (or CLOSE_METHODS) call to appear on a
+     *      line inside a method whose name is one of WORKER_METHODS and
+     *      whose start_line is strictly within the enclosing method's
+     *      body (nested literal indicator).
+     */
+    isClosedInNestedWorker(graph, lines, variable, methodInfo, fromLine, toLine) {
+        // (a) resource variable must match a declared field of the class,
+        // or be text-assigned to a field within the outer method.
+        const fieldNames = new Set(methodInfo.type.fields.map(f => f.name));
+        let candidateField = null;
+        if (fieldNames.has(variable)) {
+            candidateField = variable;
+        }
+        else {
+            // Fallback: `this.<field> = variable` or `<field> = variable`
+            // where <field> is a declared field.
+            const thisAssignRe = new RegExp(`(?:\\bthis\\s*\\.\\s*)?(\\w+)\\s*=\\s*${escapeRegex(variable)}\\b`);
+            for (let l = fromLine; l <= toLine && l <= lines.length; l++) {
+                const m = thisAssignRe.exec(lines[l - 1] ?? '');
+                if (m && fieldNames.has(m[1])) {
+                    candidateField = m[1];
+                    break;
+                }
+            }
+        }
+        if (!candidateField)
+            return false;
+        // (b) find a close-style call on the candidate field whose line
+        // falls inside a WORKER_METHODS method nested in the enclosing
+        // method's body.
+        for (const call of graph.ir.calls) {
+            if (call.receiver !== candidateField)
+                continue;
+            if (!CLOSE_METHODS.has(call.method_name))
+                continue;
+            const closeLine = call.location.line;
+            if (closeLine < fromLine || closeLine > toLine)
+                continue;
+            const enclosing = graph.methodAtLine(closeLine);
+            if (!enclosing)
+                continue;
+            // Same outer method — not nested.
+            if (enclosing.method === methodInfo.method)
+                continue;
+            if (!WORKER_METHODS.has(enclosing.method.name))
+                continue;
+            // Nested worker start must lie inside the outer method body.
+            if (enclosing.method.start_line > fromLine &&
+                enclosing.method.start_line <= toLine) {
+                return true;
+            }
+        }
+        return false;
+    }
 }
 //# sourceMappingURL=resource-leak-pass.js.map

package/dist/analysis/passes/resource-leak-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"resource-leak-pass.js","sourceRoot":"","sources":["../../../src/analysis/passes/resource-leak-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAMH,mFAAmF;AACnF,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;kEAGkE;AAClE,MAAM,sBAAsB,GAC1B,0CAA0C,CAAC;AAE7C,qDAAqD;AACrD,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IAClD,UAAU;IACV,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,EAAE,YAAY;IACjE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,EAAE,mBAAmB;IACtE,oBAAoB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB;IAC/E,mBAAmB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,iBAAiB;IAC9E,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB;IAC1E,WAAW;IACX,aAAa;IACb,WAAW;IACX,QAAQ,EAAE,cAAc,EAAE,gBAAgB;CAC3C,CAAC,CAAC;AAEH,8DAA8D;AAC9D,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IAC5D,cAAc;IACd,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB;IACnE,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB;IAC1D,kBAAkB;IAClB,MAAM;IACN,kBAAkB;IAClB,kBAAkB,EAAE,mBAAmB,EAAE,kBAAkB;CAC5D,CAAC,CAAC;AAEH,gDAAgD;AAChD,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM;IAC1E,aAAa,EAAE,WAAW;CAC3B,CAAC,CAAC;AAYH,MAAM,OAAO,gBAAgB;IAClB,IAAI,GAAG,eAAe,CAAC;IACvB,QAAQ,GAAG,aAAsB,CAAC;IAE3C,GAAG,CAAC,GAAgB;QAClB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEnC,MAAM,KAAK,GAAgC,EAAE,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAE9B,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/E,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7E,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS;gBAAE,SAAS;YAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAEpC,0DAA0D;YAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAChC,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YAErC,uCAAuC;YACvC,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAChD,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;YACjD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;YAE7C,4DAA4D;YAC5D,+DAA+D;YAC/D,4DAA4D;YAC5D,sDAAsD;YACtD,IAAI,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC5E,SAAS;YACX,CAAC;YAED,gEAAgE;YAChE,4DAA4D;YAC5D,kEAAkE;YAClE,gCAAgC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YACpF,IAAI,SAAS,IAAI,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,SAAS;YACX,CAAC;YAED,6DAA6D;YAC7D,6DAA6D;YAC7D,6DAA6D;YAC7D,IAAI,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,6DAA6D;YAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CACF,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAChC,CAAC,CAAC,QAAQ,KAAK,WAAW;gBAC1B,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ;gBAC1B,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,SAAS,CAC/B,CAAC;YAEF,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAEvD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,qEAAqE;gBACrE,IAAI,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;oBAAE,SAAS;gBAEvE,uDAAuD;gBACvD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBACxF,GAAG,CAAC,UAAU,CAAC;oBACb,EAAE,EAAE,iBAAiB,IAAI,IAAI,QAAQ,EAAE;oBACvC,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,GAAG,EAAE,SAAS;oBACd,QAAQ,EAAE,MAAM;oBAChB,KAAK,EAAE,OAAO;oBACd,OAAO,EACL,oBAAoB,IAAI,mBAAmB,WAAW,aAAa,QAAQ,GAAG;wBAC9E,oEAAoE;oBACtE,IAAI;oBACJ,IAAI,EAAE,QAAQ;oBACd,OAAO;oBACP,GAAG,EACD,4CAA4C,IAAI,IAAI,WAAW,qBAAqB;wBACpF,aAAa,WAAW,+BAA+B;oBACzD,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE;iBACpD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,4DAA4D;YAC5D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;gBAAE,SAAS;YAEnE,iEAAiE;YACjE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACzF,GAAG,CAAC,UAAU,CAAC;gBACb,EAAE,EAAE,iBAAiB,IAAI,IAAI,QAAQ,EAAE;gBACvC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,IAAI;gBAClB,GAAG,EAAE,SAAS;gBACd,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,SAAS;gBAChB,OAAO,EACL,8BAA8B,IAAI,QAAQ,WAAW,kBAAkB;oBACvE,QAAQ,SAAS,CAAC,QAAQ,CAAC,IAAI,oCAAoC;oBACnE,mCAAmC;gBACrC,IAAI;gBACJ,IAAI,EAAE,QAAQ;gBACd,OAAO;gBACP,GAAG,EAAE,UAAU,WAAW,4DAA4D;gBACtF,QAAQ,EAAE;oBACR,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,WAAW;oBACrB,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI;iBACpC;aACF,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IAED,kFAAkF;IAC1E,eAAe,CAAC,KAAe,EAAE,QAAgB,EAAE,MAAc;QACvE,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACK,mBAAmB,CAAC,KAAe,EAAE,QAAgB,EAAE,MAAc;QAC3E,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC9E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACK,kBAAkB,CACxB,KAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,MAAc;QAEd,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,uBAAuB,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5E,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACK,eAAe,CACrB,KAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,MAAc;QAEd,MAAM,YAAY,GAAG,IAAI,MAAM,CAC7B,oCAAoC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAC/D,CAAC;QACF,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACK,sBAAsB,CAC5B,KAAgB,EAChB,SAAiB,EACjB,IAAc;QAEd,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACnF,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;OAMG;IACK,eAAe,CAAC,MAAkB;QACxC,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QACvE,OAAO,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;CACF"}
+{"version":3,"file":"resource-leak-pass.js","sourceRoot":"","sources":["../../../src/analysis/passes/resource-leak-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAMH,mFAAmF;AACnF,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;kEAGkE;AAClE,MAAM,sBAAsB,GAC1B,0CAA0C,CAAC;AAE7C,qDAAqD;AACrD,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IAClD,UAAU;IACV,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,EAAE,YAAY;IACjE,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,EAAE,mBAAmB;IACtE,oBAAoB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB;IAC/E,mBAAmB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,iBAAiB;IAC9E,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB;IAC1E,WAAW;IACX,aAAa;IACb,WAAW;IACX,QAAQ,EAAE,cAAc,EAAE,gBAAgB;CAC3C,CAAC,CAAC;AAEH,8DAA8D;AAC9D,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IAC5D,cAAc;IACd,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB;IACnE,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB;IAC1D,kBAAkB;IAClB,MAAM;IACN,kBAAkB;IAClB,kBAAkB,EAAE,mBAAmB,EAAE,kBAAkB;CAC5D,CAAC,CAAC;AAEH,gDAAgD;AAChD,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM;IAC1E,aAAa,EAAE,WAAW;CAC3B,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,mBAAmB;IACnB,qBAAqB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,gBAAgB;IACjF,mBAAmB,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,kBAAkB;IAChF,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,qBAAqB;IACvE,gBAAgB,EAAE,qBAAqB;IACvC,yBAAyB;IACzB,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,iBAAiB;IAC1E,qBAAqB,EAAE,sBAAsB,EAAE,oBAAoB;IACnE,qBAAqB;CACtB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IAClD,KAAK,EAAK,mBAAmB;IAC7B,MAAM,EAAI,WAAW;IACrB,QAAQ,EAAE,WAAW;IACrB,KAAK,EAAK,WAAW;IACrB,OAAO,EAAG,WAAW;CACtB,CAAC,CAAC;AAYH,MAAM,OAAO,gBAAgB;IAClB,IAAI,GAAG,eAAe,CAAC;IACvB,QAAQ,GAAG,aAAsB,CAAC;IAE3C,GAAG,CAAC,GAAgB;QAClB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEnC,MAAM,KAAK,GAAgC,EAAE,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAE9B,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/E,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7E,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS;gBAAE,SAAS;YAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAEpC,0DAA0D;YAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAChC,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YAErC,uCAAuC;YACvC,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAChD,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;YACjD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;YAE7C,4DAA4D;YAC5D,+DAA+D;YAC/D,4DAA4D;YAC5D,sDAAsD;YACtD,IAAI,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC5E,SAAS;YACX,CAAC;YAED,gEAAgE;YAChE,4DAA4D;YAC5D,kEAAkE;YAClE,gCAAgC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YACpF,IAAI,SAAS,IAAI,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,SAAS;YACX,CAAC;YAED,6DAA6D;YAC7D,6DAA6D;YAC7D,6DAA6D;YAC7D,IAAI,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,4DAA4D;YAC5D,0DAA0D;YAC1D,sDAAsD;YACtD,yDAAyD;YACzD,0DAA0D;YAC1D,+DAA+D;YAC/D,2BAA2B;YAC3B,IAAI,IAAI,CAAC,wBAAwB,CAC/B,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CACjD,EAAE,CAAC;gBACF,SAAS;YACX,CAAC;YAED,4DAA4D;YAC5D,4DAA4D;YAC5D,gEAAgE;YAChE,+DAA+D;YAC/D,4DAA4D;YAC5D,IAAI,IAAI,CAAC,sBAAsB,CAC7B,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAC/D,EAAE,CAAC;gBACF,SAAS;YACX,CAAC;YAED,6DAA6D;YAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CACF,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAChC,CAAC,CAAC,QAAQ,KAAK,WAAW;gBAC1B,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ;gBAC1B,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,SAAS,CAC/B,CAAC;YAEF,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAEvD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,qEAAqE;gBACrE,IAAI,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;oBAAE,SAAS;gBAEvE,uDAAuD;gBACvD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBACxF,GAAG,CAAC,UAAU,CAAC;oBACb,EAAE,EAAE,iBAAiB,IAAI,IAAI,QAAQ,EAAE;oBACvC,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,GAAG,EAAE,SAAS;oBACd,QAAQ,EAAE,MAAM;oBAChB,KAAK,EAAE,OAAO;oBACd,OAAO,EACL,oBAAoB,IAAI,mBAAmB,WAAW,aAAa,QAAQ,GAAG;wBAC9E,oEAAoE;oBACtE,IAAI;oBACJ,IAAI,EAAE,QAAQ;oBACd,OAAO;oBACP,GAAG,EACD,4CAA4C,IAAI,IAAI,WAAW,qBAAqB;wBACpF,aAAa,WAAW,+BAA+B;oBACzD,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE;iBACpD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,4DAA4D;YAC5D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;gBAAE,SAAS;YAEnE,iEAAiE;YACjE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACzF,GAAG,CAAC,UAAU,CAAC;gBACb,EAAE,EAAE,iBAAiB,IAAI,IAAI,QAAQ,EAAE;gBACvC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,IAAI;gBAClB,GAAG,EAAE,SAAS;gBACd,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,SAAS;gBAChB,OAAO,EACL,8BAA8B,IAAI,QAAQ,WAAW,kBAAkB;oBACvE,QAAQ,SAAS,CAAC,QAAQ,CAAC,IAAI,oCAAoC;oBACnE,mCAAmC;gBACrC,IAAI;gBACJ,IAAI,EAAE,QAAQ;gBACd,OAAO;gBACP,GAAG,EAAE,UAAU,WAAW,4DAA4D;gBACtF,QAAQ,EAAE;oBACR,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,WAAW;oBACrB,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI;iBACpC;aACF,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IAED,kFAAkF;IAC1E,eAAe,CAAC,KAAe,EAAE,QAAgB,EAAE,MAAc;QACvE,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACK,mBAAmB,CAAC,KAAe,EAAE,QAAgB,EAAE,MAAc;QAC3E,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC9E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACK,kBAAkB,CACxB,KAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,MAAc;QAEd,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,uBAAuB,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5E,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACK,eAAe,CACrB,KAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,MAAc;QAEd,MAAM,YAAY,GAAG,IAAI,MAAM,CAC7B,oCAAoC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAC/D,CAAC;QACF,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACK,sBAAsB,CAC5B,KAAgB,EAChB,SAAiB,EACjB,IAAc;QAEd,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACnF,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;OAMG;IACK,eAAe,CAAC,MAAkB;QACxC,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QACvE,OAAO,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;;;OAQG;IACK,wBAAwB,CAC9B,KAA0B,EAC1B,QAAgB,EAChB,QAAgB,EAChB,MAAc;QAEd,+DAA+D;QAC/D,+DAA+D;QAC/D,mBAAmB;QACnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,SAAS;YACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,MAAM;gBAAE,SAAS;YAC3E,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;YAC7C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACK,sBAAsB,CAC5B,KAAgB,EAChB,KAAe,EACf,QAAgB,EAChB,UAAkD,EAClD,QAAgB,EAChB,MAAc;QAEd,kEAAkE;QAClE,0DAA0D;QAC1D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,IAAI,cAAc,GAAkB,IAAI,CAAC;QACzC,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,8DAA8D;YAC9D,qCAAqC;YACrC,MAAM,YAAY,GAAG,IAAI,MAAM,CAC7B,yCAAyC,WAAW,CAAC,QAAQ,CAAC,KAAK,CACpE,CAAC;YACF,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7D,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9B,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,cAAc;YAAE,OAAO,KAAK,CAAC;QAElC,gEAAgE;QAChE,+DAA+D;QAC/D,iBAAiB;QACjB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,QAAQ,KAAK,cAAc;gBAAE,SAAS;YAC/C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,SAAS;YACnD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACrC,IAAI,SAAS,GAAG,QAAQ,IAAI,SAAS,GAAG,MAAM;gBAAE,SAAS;YACzD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,kCAAkC;YAClC,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;gBAAE,SAAS;YACrD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzD,6DAA6D;YAC7D,IACE,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,QAAQ;gBACtC,SAAS,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,EACrC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/browser/circle-ir.js

@@ -32895,6 +32895,44 @@ var CLOSE_METHODS = /* @__PURE__ */ new Set([
   "shutdownNow",
   "terminate"
 ]);
+var WRAPPER_CTORS = /* @__PURE__ */ new Set([
+  // java.io wrappers
+  "BufferedInputStream",
+  "BufferedOutputStream",
+  "BufferedReader",
+  "BufferedWriter",
+  "InputStreamReader",
+  "OutputStreamWriter",
+  "DataInputStream",
+  "DataOutputStream",
+  "PrintStream",
+  "PrintWriter",
+  "LineNumberReader",
+  "PushbackInputStream",
+  "PushbackReader",
+  "SequenceInputStream",
+  // java.util.zip wrappers
+  "GZIPInputStream",
+  "GZIPOutputStream",
+  "ZipInputStream",
+  "ZipOutputStream",
+  "InflaterInputStream",
+  "DeflaterOutputStream",
+  "CheckedInputStream",
+  "CheckedOutputStream"
+]);
+var WORKER_METHODS = /* @__PURE__ */ new Set([
+  "run",
+  // Runnable, Thread
+  "call",
+  // Callable
+  "accept",
+  // Consumer
+  "get",
+  // Supplier
+  "apply"
+  // Function
+]);
 var ResourceLeakPass = class {
   name = "resource-leak";
   category = "reliability";
@@ -32926,6 +32964,24 @@ var ResourceLeakPass = class {
       if (this.isFactoryMethod(methodInfo.method)) {
         continue;
       }
+      if (this.isWrappedByCloseableCtor(
+        graph.ir.calls,
+        resourceVar,
+        openLine,
+        methodEnd
+      )) {
+        continue;
+      }
+      if (this.isClosedInNestedWorker(
+        graph,
+        codeLines,
+        resourceVar,
+        methodInfo,
+        openLine,
+        methodEnd
+      )) {
+        continue;
+      }
       const closeCall = graph.ir.calls.find(
         (c) => CLOSE_METHODS.has(c.method_name) && c.receiver === resourceVar && c.location.line > openLine && c.location.line <= methodEnd
       );
@@ -33045,6 +33101,73 @@ var ResourceLeakPass = class {
     if (!method.return_type || method.return_type === "void") return false;
     return FACTORY_METHOD_NAME_RE.test(method.name);
   }
+  /**
+   * #226 — true if `variable` is passed as a constructor argument to a
+   * known Closeable wrapper call within the enclosing method's line
+   * range. Ownership of the inner stream transfers to the wrapper.
+   *
+   * The check is deliberately per-method: cross-method wrapping does
+   * not apply because the inner reference has already escaped the
+   * scope by then.
+   */
+  isWrappedByCloseableCtor(calls, variable, fromLine, toLine) {
+    for (const call of calls) {
+      if (!WRAPPER_CTORS.has(call.method_name)) continue;
+      if (call.location.line < fromLine || call.location.line > toLine) continue;
+      for (const arg of call.arguments) {
+        if (arg.variable === variable) return true;
+      }
+    }
+    return false;
+  }
+  /**
+   * #227 — true if `variable` refers to a field of the enclosing class
+   * that is closed inside a worker-literal method (Runnable#run,
+   * Callable#call, Consumer#accept, ...) declared in the same enclosing
+   * method. Ownership transfers to the executor thread.
+   *
+   * The heuristic is intentionally conservative: it requires both
+   *  (a) the resource variable to match a declared field name on the
+   *      enclosing class (so a stray local named `selector` cannot
+   *      accidentally opt in to the suppression), AND
+   *  (b) a `<field>.close()` (or CLOSE_METHODS) call to appear on a
+   *      line inside a method whose name is one of WORKER_METHODS and
+   *      whose start_line is strictly within the enclosing method's
+   *      body (nested literal indicator).
+   */
+  isClosedInNestedWorker(graph, lines, variable, methodInfo, fromLine, toLine) {
+    const fieldNames = new Set(methodInfo.type.fields.map((f) => f.name));
+    let candidateField = null;
+    if (fieldNames.has(variable)) {
+      candidateField = variable;
+    } else {
+      const thisAssignRe = new RegExp(
+        `(?:\\bthis\\s*\\.\\s*)?(\\w+)\\s*=\\s*${escapeRegex2(variable)}\\b`
+      );
+      for (let l = fromLine; l <= toLine && l <= lines.length; l++) {
+        const m = thisAssignRe.exec(lines[l - 1] ?? "");
+        if (m && fieldNames.has(m[1])) {
+          candidateField = m[1];
+          break;
+        }
+      }
+    }
+    if (!candidateField) return false;
+    for (const call of graph.ir.calls) {
+      if (call.receiver !== candidateField) continue;
+      if (!CLOSE_METHODS.has(call.method_name)) continue;
+      const closeLine = call.location.line;
+      if (closeLine < fromLine || closeLine > toLine) continue;
+      const enclosing = graph.methodAtLine(closeLine);
+      if (!enclosing) continue;
+      if (enclosing.method === methodInfo.method) continue;
+      if (!WORKER_METHODS.has(enclosing.method.name)) continue;
+      if (enclosing.method.start_line > fromLine && enclosing.method.start_line <= toLine) {
+        return true;
+      }
+    }
+    return false;
+  }
 };
 
 // src/graph/scope-graph.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "circle-ir",
-  "version": "3.149.0",
+  "version": "3.150.0",
   "description": "High-performance Static Application Security Testing (SAST) library for detecting security vulnerabilities through taint analysis",
   "main": "dist/index.js",
   "module": "dist/index.js",