circle-ir 3.1.0

package/dist/resolution/cross-file.js

@@ -0,0 +1,439 @@
+/**
+ * Cross-File Call Resolution
+ *
+ * Resolves method calls to their definitions across file boundaries,
+ * enabling cross-file taint tracking.
+ */
+import { SymbolTable } from './symbol-table.js';
+import { TypeHierarchyResolver } from './type-hierarchy.js';
+/**
+ * CrossFileResolver - Resolves calls and tracks taint across files
+ */
+export class CrossFileResolver {
+    symbolTable;
+    typeHierarchy;
+    // Cache: file -> IR
+    fileIRs = new Map();
+    // Cache: method FQN -> taint info
+    methodTaintInfo = new Map();
+    // Resolved calls cache
+    resolvedCalls = new Map();
+    constructor(symbolTable, typeHierarchy) {
+        this.symbolTable = symbolTable;
+        this.typeHierarchy = typeHierarchy;
+    }
+    /**
+     * Add a file's IR for analysis
+     */
+    addFile(filePath, ir) {
+        this.fileIRs.set(filePath, ir);
+        this.symbolTable.addFromIR(ir, filePath);
+        this.typeHierarchy.addFromIR(ir, filePath);
+        // Analyze methods for taint propagation characteristics
+        this.analyzeMethodTaint(ir, filePath);
+    }
+    /**
+     * Resolve a call to its target method(s)
+     */
+    resolveCall(call, fromFile) {
+        const cacheKey = `${fromFile}:${call.location.line}:${call.method_name}`;
+        if (this.resolvedCalls.has(cacheKey)) {
+            return this.resolvedCalls.get(cacheKey);
+        }
+        let resolved;
+        // Try to resolve based on receiver type
+        if (call.receiver) {
+            resolved = this.resolveWithReceiver(call, fromFile);
+        }
+        else {
+            // Static call or same-class call
+            resolved = this.resolveStaticOrLocal(call, fromFile);
+        }
+        if (resolved) {
+            this.resolvedCalls.set(cacheKey, resolved);
+        }
+        return resolved;
+    }
+    /**
+     * Resolve call with a receiver (instance method call)
+     */
+    resolveWithReceiver(call, fromFile) {
+        const receiver = call.receiver;
+        // Try to determine receiver type
+        const receiverType = this.inferReceiverType(receiver, fromFile);
+        if (receiverType) {
+            // Look for method in the type
+            const methodSymbol = this.symbolTable.findMethod(receiverType, call.method_name);
+            if (methodSymbol) {
+                return {
+                    call,
+                    sourceFile: fromFile,
+                    targetFile: methodSymbol.file,
+                    targetMethod: methodSymbol.fqn,
+                    targetClass: methodSymbol.parentType || receiverType,
+                    resolution: 'exact',
+                };
+            }
+            // Check for polymorphic dispatch (interface/superclass)
+            const candidates = this.findPolymorphicCandidates(receiverType, call.method_name);
+            if (candidates.length > 0) {
+                const primary = candidates[0];
+                return {
+                    call,
+                    sourceFile: fromFile,
+                    targetFile: primary.file,
+                    targetMethod: primary.fqn,
+                    targetClass: primary.parentType || receiverType,
+                    resolution: 'polymorphic',
+                    candidates: candidates.map(c => c.fqn),
+                };
+            }
+        }
+        // Fallback: search by method name
+        return this.resolveByMethodName(call, fromFile);
+    }
+    /**
+     * Resolve static or local method call
+     */
+    resolveStaticOrLocal(call, fromFile) {
+        // First check current file's types
+        const ir = this.fileIRs.get(fromFile);
+        if (ir) {
+            for (const type of ir.types) {
+                const pkg = type.package || ir.meta.package || '';
+                const typeFqn = pkg ? `${pkg}.${type.name}` : type.name;
+                for (const method of type.methods) {
+                    if (method.name === call.method_name) {
+                        return {
+                            call,
+                            sourceFile: fromFile,
+                            targetFile: fromFile,
+                            targetMethod: `${typeFqn}.${method.name}`,
+                            targetClass: typeFqn,
+                            resolution: 'exact',
+                        };
+                    }
+                }
+            }
+        }
+        // Check imports and resolve
+        return this.resolveByMethodName(call, fromFile);
+    }
+    /**
+     * Resolve by searching all known methods
+     */
+    resolveByMethodName(call, fromFile) {
+        // Get all possible FQNs for the method name
+        const possibleFqns = this.symbolTable.getPossibleFqns(call.method_name);
+        for (const fqn of possibleFqns) {
+            const symbol = this.symbolTable.getSymbol(fqn);
+            if (symbol && symbol.kind === 'method') {
+                return {
+                    call,
+                    sourceFile: fromFile,
+                    targetFile: symbol.file,
+                    targetMethod: symbol.fqn,
+                    targetClass: symbol.parentType || '',
+                    resolution: 'inferred',
+                };
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Infer the type of a receiver variable
+     */
+    inferReceiverType(receiver, fromFile) {
+        // Check if receiver is a known type name directly
+        const directType = this.symbolTable.resolveTypeName(receiver, fromFile);
+        if (directType)
+            return directType;
+        // Check file's IR for variable declarations
+        const ir = this.fileIRs.get(fromFile);
+        if (ir) {
+            // Look in DFG defs for type hints
+            for (const def of ir.dfg.defs) {
+                if (def.variable === receiver) {
+                    // Try to find type from calls at this line
+                    const callsAtLine = ir.calls.filter(c => c.location.line === def.line);
+                    for (const call of callsAtLine) {
+                        // Constructor call?
+                        if (call.method_name === receiver || call.method_name === '<init>') {
+                            return this.symbolTable.resolveTypeName(receiver, fromFile);
+                        }
+                    }
+                }
+            }
+        }
+        // Try common type abbreviations
+        const commonTypes = {
+            'stmt': 'java.sql.Statement',
+            'pstmt': 'java.sql.PreparedStatement',
+            'conn': 'java.sql.Connection',
+            'rs': 'java.sql.ResultSet',
+            'request': 'javax.servlet.http.HttpServletRequest',
+            'response': 'javax.servlet.http.HttpServletResponse',
+            'req': 'javax.servlet.http.HttpServletRequest',
+            'res': 'javax.servlet.http.HttpServletResponse',
+            'session': 'javax.servlet.http.HttpSession',
+            'runtime': 'java.lang.Runtime',
+            'out': 'java.io.PrintWriter',
+        };
+        const lowerReceiver = receiver.toLowerCase();
+        for (const [abbrev, type] of Object.entries(commonTypes)) {
+            if (lowerReceiver.includes(abbrev)) {
+                return type;
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Find polymorphic candidates (implementations/subclasses)
+     */
+    findPolymorphicCandidates(typeName, methodName) {
+        const candidates = [];
+        // Get all implementations if it's an interface
+        const implementations = this.typeHierarchy.getAllImplementations(typeName);
+        for (const impl of implementations) {
+            const method = this.symbolTable.findMethod(impl, methodName);
+            if (method) {
+                candidates.push(method);
+            }
+        }
+        // Get all subtypes if it's a class
+        const subtypes = this.typeHierarchy.getAllSubtypes(typeName);
+        for (const subtype of subtypes) {
+            const method = this.symbolTable.findMethod(subtype, methodName);
+            if (method) {
+                candidates.push(method);
+            }
+        }
+        return candidates;
+    }
+    /**
+     * Analyze methods for taint propagation characteristics
+     */
+    analyzeMethodTaint(ir, filePath) {
+        const pkg = ir.meta.package || '';
+        for (const type of ir.types) {
+            const typeFqn = pkg ? `${pkg}.${type.name}` : type.name;
+            for (const method of type.methods) {
+                const methodFqn = `${typeFqn}.${method.name}`;
+                // Check if method is a taint source
+                const isSource = this.isMethodTaintSource(method, ir.taint.sources);
+                // Check if method propagates taint from parameters
+                const taintedParams = this.findTaintedParams(method, ir);
+                // Check if method sanitizes
+                const sanitizes = method.annotations.includes('sanitizer') ||
+                    this.isSanitizerMethod(method.name);
+                const taintInfo = {
+                    methodFqn,
+                    file: filePath,
+                    taintedParams,
+                    returnsSource: isSource,
+                    sourceType: isSource ? this.getSourceType(method, ir.taint.sources) : undefined,
+                    sanitizes,
+                    sanitizedTypes: sanitizes ? this.getSanitizedTypes(method.name) : undefined,
+                };
+                this.methodTaintInfo.set(methodFqn, taintInfo);
+            }
+        }
+    }
+    /**
+     * Check if method is a taint source
+     */
+    isMethodTaintSource(method, sources) {
+        // Check annotation-based sources
+        const sourceAnnotations = ['RequestParam', 'RequestBody', 'PathVariable', 'QueryParam'];
+        for (const param of method.parameters) {
+            if (param.annotations.some(a => sourceAnnotations.includes(a))) {
+                return true;
+            }
+        }
+        // Check if any source is within this method
+        for (const source of sources) {
+            if (source.line >= method.start_line && source.line <= method.end_line) {
+                return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * Get source type for a method
+     */
+    getSourceType(method, sources) {
+        for (const source of sources) {
+            if (source.line >= method.start_line && source.line <= method.end_line) {
+                return source.type;
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Find which parameters propagate taint to return value
+     */
+    findTaintedParams(method, ir) {
+        const taintedParams = [];
+        // Simple heuristic: if parameter is used in return statement, it propagates taint
+        // More sophisticated analysis would track actual data flow
+        for (let i = 0; i < method.parameters.length; i++) {
+            const param = method.parameters[i];
+            // Check if param has taint-related annotation
+            if (param.annotations.some(a => ['RequestParam', 'RequestBody', 'PathVariable'].includes(a))) {
+                taintedParams.push(i);
+            }
+        }
+        return taintedParams;
+    }
+    /**
+     * Check if method name suggests sanitization
+     */
+    isSanitizerMethod(methodName) {
+        const sanitizerPatterns = [
+            'escape', 'encode', 'sanitize', 'validate', 'filter',
+            'htmlEncode', 'urlEncode', 'prepareStatement',
+        ];
+        const lowerName = methodName.toLowerCase();
+        return sanitizerPatterns.some(p => lowerName.includes(p.toLowerCase()));
+    }
+    /**
+     * Get types sanitized by a method
+     */
+    getSanitizedTypes(methodName) {
+        const lowerName = methodName.toLowerCase();
+        const types = [];
+        if (lowerName.includes('html') || lowerName.includes('xss')) {
+            types.push('xss');
+        }
+        if (lowerName.includes('sql') || lowerName.includes('prepare')) {
+            types.push('sql_injection');
+        }
+        if (lowerName.includes('url')) {
+            types.push('ssrf', 'path_traversal');
+        }
+        if (lowerName.includes('command') || lowerName.includes('shell')) {
+            types.push('command_injection');
+        }
+        return types.length > 0 ? types : ['unknown'];
+    }
+    /**
+     * Find all callers of a method across the project
+     */
+    findCallers(methodFqn) {
+        const callers = [];
+        for (const [filePath, ir] of this.fileIRs) {
+            for (const call of ir.calls) {
+                const resolved = this.resolveCall(call, filePath);
+                if (resolved && resolved.targetMethod === methodFqn) {
+                    callers.push(resolved);
+                }
+            }
+        }
+        return callers;
+    }
+    /**
+     * Find cross-file taint flows
+     */
+    findCrossFileTaintFlows() {
+        const flows = [];
+        for (const [filePath, ir] of this.fileIRs) {
+            // Check each source in the file
+            for (const source of ir.taint.sources) {
+                // Find calls at or after the source line
+                for (const call of ir.calls) {
+                    if (call.location.line < source.line)
+                        continue;
+                    const resolved = this.resolveCall(call, filePath);
+                    if (resolved && resolved.targetFile !== filePath) {
+                        // This is a cross-file call
+                        // Check if any argument might be tainted
+                        const taintedArgs = [];
+                        for (let i = 0; i < call.arguments.length; i++) {
+                            // Simple heuristic: if variable was defined at or after source, might be tainted
+                            taintedArgs.push(i);
+                        }
+                        if (taintedArgs.length > 0) {
+                            flows.push({
+                                sourceFile: filePath,
+                                sourceLine: source.line,
+                                sourceType: source.type,
+                                targetFile: resolved.targetFile,
+                                targetLine: call.location.line,
+                                targetMethod: resolved.targetMethod,
+                                flowType: 'call_arg',
+                                taintedArgPositions: taintedArgs,
+                            });
+                        }
+                    }
+                }
+            }
+        }
+        return flows;
+    }
+    /**
+     * Get taint info for a method
+     */
+    getMethodTaintInfo(methodFqn) {
+        return this.methodTaintInfo.get(methodFqn);
+    }
+    /**
+     * Get all resolved calls from a file
+     */
+    getResolvedCallsFromFile(filePath) {
+        const ir = this.fileIRs.get(filePath);
+        if (!ir)
+            return [];
+        const resolved = [];
+        for (const call of ir.calls) {
+            const r = this.resolveCall(call, filePath);
+            if (r) {
+                resolved.push(r);
+            }
+        }
+        return resolved;
+    }
+    /**
+     * Get statistics
+     */
+    getStats() {
+        let totalCalls = 0;
+        let crossFileCalls = 0;
+        for (const [filePath, ir] of this.fileIRs) {
+            totalCalls += ir.calls.length;
+            for (const call of ir.calls) {
+                const resolved = this.resolveCall(call, filePath);
+                if (resolved && resolved.targetFile !== filePath) {
+                    crossFileCalls++;
+                }
+            }
+        }
+        return {
+            totalFiles: this.fileIRs.size,
+            totalCalls,
+            resolvedCalls: this.resolvedCalls.size,
+            crossFileCalls,
+            methodsWithTaintInfo: this.methodTaintInfo.size,
+        };
+    }
+    /**
+     * Clear all caches
+     */
+    clear() {
+        this.fileIRs.clear();
+        this.methodTaintInfo.clear();
+        this.resolvedCalls.clear();
+    }
+}
+/**
+ * Build a cross-file resolver from multiple IR results
+ */
+export function buildCrossFileResolver(files, symbolTable, typeHierarchy) {
+    const table = symbolTable || new SymbolTable();
+    const hierarchy = typeHierarchy || new TypeHierarchyResolver();
+    const resolver = new CrossFileResolver(table, hierarchy);
+    for (const { ir, path } of files) {
+        resolver.addFile(path, ir);
+    }
+    return resolver;
+}
+//# sourceMappingURL=cross-file.js.map

package/dist/resolution/cross-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file.js","sourceRoot":"","sources":["../../src/resolution/cross-file.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EAAE,WAAW,EAAuB,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AA6C5D;;GAEG;AACH,MAAM,OAAO,iBAAiB;IACpB,WAAW,CAAc;IACzB,aAAa,CAAwB;IAE7C,oBAAoB;IACZ,OAAO,GAA0B,IAAI,GAAG,EAAE,CAAC;IAEnD,kCAAkC;IAC1B,eAAe,GAAiC,IAAI,GAAG,EAAE,CAAC;IAElE,uBAAuB;IACf,aAAa,GAA8B,IAAI,GAAG,EAAE,CAAC;IAE7D,YACE,WAAwB,EACxB,aAAoC;QAEpC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,QAAgB,EAAE,EAAY;QACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAE3C,wDAAwD;QACxD,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAc,EAAE,QAAgB;QAC1C,MAAM,QAAQ,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACzE,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,QAAkC,CAAC;QAEvC,wCAAwC;QACxC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,iCAAiC;YACjC,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAc,EAAE,QAAgB;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAS,CAAC;QAEhC,iCAAiC;QACjC,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEhE,IAAI,YAAY,EAAE,CAAC;YACjB,8BAA8B;YAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAEjF,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO;oBACL,IAAI;oBACJ,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,YAAY,CAAC,IAAI;oBAC7B,YAAY,EAAE,YAAY,CAAC,GAAG;oBAC9B,WAAW,EAAE,YAAY,CAAC,UAAU,IAAI,YAAY;oBACpD,UAAU,EAAE,OAAO;iBACpB,CAAC;YACJ,CAAC;YAED,wDAAwD;YACxD,MAAM,UAAU,GAAG,IAAI,CAAC,yBAAyB,CAAC,YAAY,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAClF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC9B,OAAO;oBACL,IAAI;oBACJ,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,OAAO,CAAC,IAAI;oBACxB,YAAY,EAAE,OAAO,CAAC,GAAG;oBACzB,WAAW,EAAE,OAAO,CAAC,UAAU,IAAI,YAAY;oBAC/C,UAAU,EAAE,aAAa;oBACzB,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;iBACvC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,IAAc,EAAE,QAAgB;QAC3D,mCAAmC;QACnC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,EAAE,EAAE,CAAC;YACP,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;gBAClD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAExD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrC,OAAO;4BACL,IAAI;4BACJ,UAAU,EAAE,QAAQ;4BACpB,UAAU,EAAE,QAAQ;4BACpB,YAAY,EAAE,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE;4BACzC,WAAW,EAAE,OAAO;4BACpB,UAAU,EAAE,OAAO;yBACpB,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAc,EAAE,QAAgB;QAC1D,4CAA4C;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvC,OAAO;oBACL,IAAI;oBACJ,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,YAAY,EAAE,MAAM,CAAC,GAAG;oBACxB,WAAW,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;oBACpC,UAAU,EAAE,UAAU;iBACvB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,QAAgB,EAAE,QAAgB;QAC1D,kDAAkD;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACxE,IAAI,UAAU;YAAE,OAAO,UAAU,CAAC;QAElC,4CAA4C;QAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,EAAE,EAAE,CAAC;YACP,kCAAkC;YAClC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC9B,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAC9B,2CAA2C;oBAC3C,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;oBACvE,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;wBAC/B,oBAAoB;wBACpB,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;4BACnE,OAAO,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;wBAC9D,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,MAAM,WAAW,GAA2B;YAC1C,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,4BAA4B;YACrC,MAAM,EAAE,qBAAqB;YAC7B,IAAI,EAAE,oBAAoB;YAC1B,SAAS,EAAE,uCAAuC;YAClD,UAAU,EAAE,wCAAwC;YACpD,KAAK,EAAE,uCAAuC;YAC9C,KAAK,EAAE,wCAAwC;YAC/C,SAAS,EAAE,gCAAgC;YAC3C,SAAS,EAAE,mBAAmB;YAC9B,KAAK,EAAE,qBAAqB;SAC7B,CAAC;QAEF,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACzD,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,yBAAyB,CAC/B,QAAgB,EAChB,UAAkB;QAElB,MAAM,UAAU,GAAqB,EAAE,CAAC;QAExC,+CAA+C;QAC/C,MAAM,eAAe,GAAG,IAAI,CAAC,aAAa,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAC3E,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7D,IAAI,MAAM,EAAE,CAAC;gBACX,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC7D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;YAChE,IAAI,MAAM,EAAE,CAAC;gBACX,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,EAAY,EAAE,QAAgB;QACvD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QAElC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,SAAS,GAAG,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAE9C,oCAAoC;gBACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAEpE,mDAAmD;gBACnD,MAAM,aAAa,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBAEzD,4BAA4B;gBAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC;oBACxD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAEtC,MAAM,SAAS,GAAoB;oBACjC,SAAS;oBACT,IAAI,EAAE,QAAQ;oBACd,aAAa;oBACb,aAAa,EAAE,QAAQ;oBACvB,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC/E,SAAS;oBACT,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;iBAC5E,CAAC;gBAEF,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,MAAkB,EAAE,OAAsB;QACpE,iCAAiC;QACjC,MAAM,iBAAiB,GAAG,CAAC,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;QACxF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/D,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACvE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,MAAkB,EAAE,OAAsB;QAC9D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACvE,OAAO,MAAM,CAAC,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAAkB,EAAE,EAAY;QACxD,MAAM,aAAa,GAAa,EAAE,CAAC;QAEnC,kFAAkF;QAClF,2DAA2D;QAE3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAEnC,8CAA8C;YAC9C,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7F,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,UAAkB;QAC1C,MAAM,iBAAiB,GAAG;YACxB,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ;YACpD,YAAY,EAAE,WAAW,EAAE,kBAAkB;SAC9C,CAAC;QACF,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC3C,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,UAAkB;QAC1C,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClC,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,SAAiB;QAC3B,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBACpD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,uBAAuB;QACrB,MAAM,KAAK,GAAyB,EAAE,CAAC;QAEvC,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1C,gCAAgC;YAChC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACtC,yCAAyC;gBACzC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;oBAC5B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI;wBAAE,SAAS;oBAE/C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;wBACjD,4BAA4B;wBAC5B,yCAAyC;wBACzC,MAAM,WAAW,GAAa,EAAE,CAAC;wBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BAC/C,iFAAiF;4BACjF,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;wBACtB,CAAC;wBAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAC3B,KAAK,CAAC,IAAI,CAAC;gCACT,UAAU,EAAE,QAAQ;gCACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gCACvB,UAAU,EAAE,MAAM,CAAC,IAAI;gCACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;gCAC/B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gCAC9B,YAAY,EAAE,QAAQ,CAAC,YAAY;gCACnC,QAAQ,EAAE,UAAU;gCACpB,mBAAmB,EAAE,WAAW;6BACjC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,SAAiB;QAClC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,QAAgB;QACvC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,CAAC;QAEnB,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,QAAQ;QAON,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1C,UAAU,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;YAE9B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;oBACjD,cAAc,EAAE,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;YAC7B,UAAU;YACV,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI;YACtC,cAAc;YACd,oBAAoB,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI;SAChD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAA4C,EAC5C,WAAyB,EACzB,aAAqC;IAErC,MAAM,KAAK,GAAG,WAAW,IAAI,IAAI,WAAW,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,aAAa,IAAI,IAAI,qBAAqB,EAAE,CAAC;IAE/D,MAAM,QAAQ,GAAG,IAAI,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAEzD,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QACjC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/resolution/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Cross-file resolution module
+ *
+ * Provides type hierarchy tracking, symbol table, and cross-file
+ * call resolution for multi-file analysis.
+ */
+export { TypeHierarchyResolver, createWithJdkTypes } from './type-hierarchy.js';
+export type { TypeNode } from './type-hierarchy.js';
+export { SymbolTable, buildSymbolTable } from './symbol-table.js';
+export type { ExportedSymbol } from './symbol-table.js';
+export { CrossFileResolver, buildCrossFileResolver } from './cross-file.js';
+export type { ResolvedCall, MethodTaintInfo, CrossFileTaintFlow, } from './cross-file.js';

package/dist/resolution/index.js

@@ -0,0 +1,10 @@
+/**
+ * Cross-file resolution module
+ *
+ * Provides type hierarchy tracking, symbol table, and cross-file
+ * call resolution for multi-file analysis.
+ */
+export { TypeHierarchyResolver, createWithJdkTypes } from './type-hierarchy.js';
+export { SymbolTable, buildSymbolTable } from './symbol-table.js';
+export { CrossFileResolver, buildCrossFileResolver } from './cross-file.js';
+//# sourceMappingURL=index.js.map

package/dist/resolution/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/resolution/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEhF,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAElE,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/resolution/symbol-table.d.ts

@@ -0,0 +1,136 @@
+/**
+ * Symbol Table for Cross-File Resolution
+ *
+ * Tracks what each file exports (classes, methods, fields) and imports,
+ * enabling resolution of cross-file references.
+ */
+import type { CircleIR, ImportInfo } from '../types/index.js';
+/**
+ * Exported symbol with full metadata
+ */
+export interface ExportedSymbol {
+    name: string;
+    fqn: string;
+    kind: 'class' | 'interface' | 'enum' | 'method' | 'field';
+    file: string;
+    line: number;
+    visibility: 'public' | 'protected' | 'package' | 'private';
+    parentType?: string;
+    signature?: string;
+}
+/**
+ * SymbolTable - Tracks exports and imports across project files
+ */
+export declare class SymbolTable {
+    private exports;
+    private nameToFqns;
+    private fileImports;
+    private packageTypes;
+    private fqnToFile;
+    /**
+     * Add exports and imports from a CircleIR analysis result
+     */
+    addFromIR(ir: CircleIR, filePath: string): void;
+    /**
+     * Add type and its members as exports
+     */
+    private addTypeExports;
+    /**
+     * Add a method as an export
+     */
+    private addMethodExport;
+    /**
+     * Add a field as an export
+     */
+    private addFieldExport;
+    /**
+     * Register an export in all indexes
+     */
+    private registerExport;
+    /**
+     * Add imports for a file
+     */
+    private addFileImports;
+    /**
+     * Add explicit export declaration
+     */
+    private addExplicitExport;
+    /**
+     * Resolve a simple name to its FQN from a given file's context
+     */
+    resolveSymbol(name: string, fromFile: string): ExportedSymbol | undefined;
+    /**
+     * Resolve a type name to FQN, considering imports
+     */
+    resolveTypeName(name: string, fromFile: string): string | undefined;
+    /**
+     * Get all methods of a type by FQN
+     */
+    getMethodsOfType(typeFqn: string): ExportedSymbol[];
+    /**
+     * Find a method by name in a type
+     */
+    findMethod(typeFqn: string, methodName: string): ExportedSymbol | undefined;
+    /**
+     * Get the file where a symbol is defined
+     */
+    getFile(fqn: string): string | undefined;
+    /**
+     * Get all exported symbols from a file
+     */
+    getFileExports(filePath: string): ExportedSymbol[];
+    /**
+     * Get all types in a package
+     */
+    getPackageTypes(packageName: string): string[];
+    /**
+     * Get all known packages
+     */
+    getPackages(): string[];
+    /**
+     * Check if a symbol exists
+     */
+    hasSymbol(fqn: string): boolean;
+    /**
+     * Get symbol by FQN
+     */
+    getSymbol(fqn: string): ExportedSymbol | undefined;
+    /**
+     * Get all possible FQNs for a simple name
+     */
+    getPossibleFqns(simpleName: string): string[];
+    /**
+     * Get imports for a file
+     */
+    getFileImports(filePath: string): ImportInfo[];
+    /**
+     * Get statistics
+     */
+    getStats(): {
+        totalSymbols: number;
+        types: number;
+        methods: number;
+        fields: number;
+        files: number;
+        packages: number;
+    };
+    /**
+     * Clear all data
+     */
+    clear(): void;
+    /**
+     * Extract visibility from annotations (for types)
+     */
+    private getVisibility;
+    /**
+     * Extract visibility from modifiers
+     */
+    private getVisibilityFromModifiers;
+}
+/**
+ * Build a symbol table from multiple IR results
+ */
+export declare function buildSymbolTable(files: Array<{
+    ir: CircleIR;
+    path: string;
+}>): SymbolTable;