arkanalyzer 1.0.93 → 2.0.0-beta1

package/lib/core/inference/ModelInference.js

@@ -55,6 +55,78 @@ const Const_1 = require("../common/Const");
 const TypeExpr_1 = require("../base/TypeExpr");
 const Expr_1 = require("../base/Expr");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ModelInference');
+class ArrayValueVisited {
+    constructor() {
+        this.items = [];
+        this.base = 0;
+        this.top = 0;
+    }
+    enter() {
+        const prev = this.base;
+        this.base = this.top;
+        return prev;
+    }
+    has(value) {
+        for (let i = this.base; i < this.top; i++) {
+            if (this.items[i] === value) {
+                return true;
+            }
+        }
+        return false;
+    }
+    add(value) {
+        this.items[this.top++] = value;
+    }
+    leave(prevBase) {
+        const nullValue = null;
+        for (let i = this.base; i < this.top; i++) {
+            this.items[i] = nullValue;
+        }
+        this.top = this.base;
+        this.base = prevBase;
+    }
+}
+const valueVisitedSeg = new ArrayValueVisited();
+const GLOBAL_MERGE_SET_PRODUCT_LIMIT = 131072;
+/**
+ * Snapshot-semantics merge of `incoming` into the global's used-stmt list: membership is
+ * checked against the entries present at call start (duplicates inside `incoming` are all
+ * appended, exactly like the former `new Set(global.getUsedStmts())` snapshot did).
+ *
+ * The linear scan is the only path in practice: a pointer compare is ~0.5ns versus ~50ns
+ * per Set hash operation, so scanning wins for any incoming count below ~50 regardless of
+ * the snapshot size - and incoming is one body's references to one global (typically 1-3).
+ * The Set fallback only guards the pathological product (a huge snapshot merged with a huge
+ * incoming list in one call), where the quadratic tail would reach milliseconds.
+ */
+function mergeGlobalUsedStmts(global, incoming) {
+    const snapshot = global.getUsedStmts();
+    const boundary = snapshot.length;
+    if (boundary * incoming.length > GLOBAL_MERGE_SET_PRODUCT_LIMIT) {
+        const set = new Set();
+        for (let i = 0; i < boundary; i++) {
+            set.add(snapshot[i]);
+        }
+        for (const stmt of incoming) {
+            if (!set.has(stmt)) {
+                global.addUsedStmt(stmt);
+            }
+        }
+        return;
+    }
+    for (const stmt of incoming) {
+        let found = false;
+        for (let i = 0; i < boundary; i++) {
+            if (snapshot[i] === stmt) {
+                found = true;
+                break;
+            }
+        }
+        if (!found) {
+            global.addUsedStmt(stmt);
+        }
+    }
+}
 /**
  * Abstract base class for performing inference on ArkModel instances
  * Implements both Inference and InferenceFlow interfaces to provide
@@ -82,16 +154,14 @@ class ArkModelInference {
      * Can be overridden by subclasses to add custom pre-processing logic
      * @param model - The ArkModel instance being processed
      */
-    preInfer(model) {
-    }
+    preInfer(model) { }
     /**
      * Post-inference hook method for cleanup and finalization
      * Can be overridden by subclasses to add custom post-processing logic
      * @param model - The ArkModel instance that was processed
      * @param result
      */
-    postInfer(model, result) {
-    }
+    postInfer(model, result) { }
 }
 class ImportInfoInference extends ArkModelInference {
     constructor() {
@@ -106,10 +176,13 @@ class ImportInfoInference extends ArkModelInference {
         var _a, _b;
         const file = this.fromFile;
         if (!file) {
-            logger.warn(`${fromInfo.getOriginName()} ${fromInfo.getFrom()} file not found: ${(_b = (_a = fromInfo.getDeclaringArkFile()) === null || _a === void 0 ? void 0 : _a.getFileSignature()) === null || _b === void 0 ? void 0 : _b.toString()}`);
+            if (logger_1.default.isWarnEnabled(logger)) {
+                const signature = (_b = (_a = fromInfo.getDeclaringArkFile()) === null || _a === void 0 ? void 0 : _a.getFileSignature()) === null || _b === void 0 ? void 0 : _b.toString();
+                logger.warn(`${fromInfo.getOriginName()} ${fromInfo.getFrom()} file not found: ${signature}`);
+            }
             return null;
         }
-        if ((0, ArkSignature_1.fileSignatureCompare)(file.getFileSignature(), fromInfo.getDeclaringArkFile().getFileSignature())) {
+        if (file.getFileSigID() === fromInfo.getDeclaringArkFile().getFileSigID()) {
             for (let exportInfo of file.getExportInfos()) {
                 if (exportInfo.getOriginName() === fromInfo.getOriginName()) {
                     exportInfo.setArkExport(file.getDefaultClass());
@@ -120,7 +193,9 @@ class ImportInfoInference extends ArkModelInference {
         }
         let exportInfo = (0, ModelUtils_1.findExportInfoInfile)(fromInfo, file) || null;
         if (exportInfo === null) {
-            logger.warn('export info not found, ' + fromInfo.getFrom() + ' in file: ' + fromInfo.getDeclaringArkFile().getFileSignature().toString());
+            if (logger_1.default.isWarnEnabled(logger)) {
+                logger.warn('export info not found, ' + fromInfo.getFrom() + ' in file: ' + fromInfo.getDeclaringArkFile().getFileSignature().toString());
+            }
             return null;
         }
         const arkExport = (0, ModelUtils_1.findArkExport)(exportInfo);
@@ -157,7 +232,8 @@ class FileInference extends ArkModelInference {
      * @param {ArkFile} file
      */
     preInfer(file) {
-        file.getImportInfos().filter(i => i.getExportInfo() === undefined)
+        file.getImportInfos()
+            .filter(i => i.getExportInfo() === undefined)
             .forEach(info => this.importInfoInference.doInfer(info));
     }
     /**
@@ -196,12 +272,31 @@ class ClassInference extends ArkModelInference {
      * @param {ArkClass} arkClass
      */
     infer(arkClass) {
-        arkClass.getMethods(true).forEach(method => {
+        arkClass.forEachMethod(method => {
             this.methodInference.doInfer(method);
-        });
+            return true;
+        }, true);
     }
 }
 exports.ClassInference = ClassInference;
+/**
+ * Shared read-only empty for the no-change path: the worklist consumer indexes
+ * impactedStmts unconditionally, so the common unchanged statement skips a per-call branch.
+ * Never mutated, never retained.
+ */
+const NO_IMPACTED_STMTS = [];
+/**
+ * Shared no-change result. postInfer must keep returning a truthy object even when nothing
+ * changed (a falsy result makes the worklist consumer skip the entry), so the common
+ * unchanged-stmt case returns this singleton instead of a fresh three-field literal per
+ * statement per round. Consumers only read replacedStmts/impactedStmts and never reach
+ * oldStmt on this path; the object is never mutated or retained.
+ */
+const EMPTY_INFER_STMT_RESULT = {
+    oldStmt: undefined,
+    replacedStmts: undefined,
+    impactedStmts: NO_IMPACTED_STMTS,
+};
 class MethodInference extends ArkModelInference {
     constructor(stmtInference) {
         super();
@@ -229,55 +324,73 @@ class MethodInference extends ArkModelInference {
      * @returns {InferStmtResult[]} Array of modified or impacted statements during inference
      */
     infer(method) {
-        var _a, _b;
         const modifiedStmts = [];
-        // timeout
         const startTime = Date.now();
         // Check for cycle prevention
-        if (this.callBackVisited) {
-            if (this.callBackVisited.has(method)) {
+        const visitedMethods = this.callBackVisited;
+        if (visitedMethods !== undefined) {
+            if (visitedMethods.has(method)) {
                 return modifiedStmts;
             }
-            else {
-                this.callBackVisited.add(method);
-            }
+            visitedMethods.add(method);
         }
         const body = method.getBody();
         if (!body) {
             return modifiedStmts;
         }
-        // Process used globals
-        (_a = body.getUsedGlobals()) === null || _a === void 0 ? void 0 : _a.forEach((value, key) => {
-            if (value instanceof Ref_1.GlobalRef && !value.getRef()) {
-                const global = ModelUtils_1.ModelUtils.findGlobalRef(key, method);
-                if (global instanceof Local_1.Local) {
-                    const set = new Set(global.getUsedStmts());
-                    value.getUsedStmts().filter(f => !set.has(f)).forEach(stmt => global.addUsedStmt(stmt));
-                    value.setRef(global);
-                }
-            }
-        });
-        const workList = new Set(body.getCfg().getStmts());
-        for (let stmt of workList) {
-            if (Date.now() - startTime > MethodInference.TIMEOUT_MS) {
+        this.resolveUsedGlobals(body, method);
+        const workList = body.getCfg().getStmts();
+        const tracked = workList.length > 64 ? new Set(workList) : undefined;
+        let nextIdx = 0;
+        while (nextIdx < workList.length) {
+            const stmt = workList[nextIdx++];
+            if ((nextIdx & 63) === 1 && Date.now() - startTime > MethodInference.TIMEOUT_MS) {
                 logger.error(`Inference timeout for method: ${method.getName()}`);
                 return modifiedStmts;
             }
-            const result = this.stmtInference.doInfer(stmt);
-            if (!result) {
+            const inferResult = this.stmtInference.doInfer(stmt);
+            if (!inferResult) {
                 continue;
             }
-            const inferResult = result;
-            // collect modified Stmts to update CFG
             if (inferResult.replacedStmts) {
                 modifiedStmts.push(inferResult);
             }
-            // Add impacted statements to work list
-            (_b = inferResult.impactedStmts) === null || _b === void 0 ? void 0 : _b.filter(s => !workList.has(s)).forEach(e => workList.add(e));
-            workList.delete(stmt);
+            const impactedStmts = inferResult.impactedStmts;
+            for (let i = 0; i < impactedStmts.length; i++) {
+                const s = impactedStmts[i];
+                if (tracked !== undefined ? tracked.has(s) : workList.includes(s)) {
+                    continue;
+                }
+                tracked === null || tracked === void 0 ? void 0 : tracked.add(s);
+                workList.push(s);
+            }
+            tracked === null || tracked === void 0 ? void 0 : tracked.delete(stmt);
+            workList[nextIdx - 1] = null;
         }
         return modifiedStmts;
     }
+    /**
+     * Resolves the body's still-unresolved global references before statement inference: when a
+     * global name resolves to a local of an outer scope, that local takes over the global's
+     * used-statement list and becomes the global's target.
+     */
+    resolveUsedGlobals(body, method) {
+        const usedGlobals = body.getUsedGlobals();
+        if (usedGlobals === undefined) {
+            return;
+        }
+        for (const key of usedGlobals.keys()) {
+            const value = usedGlobals.get(key);
+            if (!(value instanceof Ref_1.GlobalRef) || value.getRef()) {
+                continue;
+            }
+            const global = ModelUtils_1.ModelUtils.findGlobalRef(key, method);
+            if (global instanceof Local_1.Local) {
+                mergeGlobalUsedStmts(global, value.getUsedStmts());
+                value.setRef(global);
+            }
+        }
+    }
     /**
      * Post-inference phase - updates CFG and infers return type
      * @param {ArkMethod} method - The method that was analyzed
@@ -312,6 +425,9 @@ MethodInference.TIMEOUT_MS = 3000;
 class StmtInference extends ArkModelInference {
     constructor(valueInferences) {
         super();
+        this.defAndUsesScratch = [null];
+        this.usesPool = [];
+        this.valueInferencesByCtor = new Map();
         this.valueInferences = new Map();
         valueInferences.forEach(v => this.valueInferences.set(v.getValueName(), v));
     }
@@ -323,7 +439,14 @@ class StmtInference extends ArkModelInference {
     infer(stmt) {
         var _a;
         const defType = (_a = stmt.getDef()) === null || _a === void 0 ? void 0 : _a.getType();
-        stmt.getDefAndUses().forEach(value => this.inferValue(value, stmt));
+        const values = this.defAndUsesScratch;
+        while (values.length > 1) {
+            values.pop();
+        }
+        stmt.getDefAndUses(values);
+        for (let i = 1; i < values.length; i++) {
+            this.inferValue(values[i], stmt);
+        }
         return defType;
     }
     /**
@@ -335,8 +458,8 @@ class StmtInference extends ArkModelInference {
     postInfer(stmt, defType) {
         var _a, _b, _c, _d;
         const method = stmt.getCfg().getDeclaringMethod();
-        let replacedStmts = [];
-        let impactedStmts = new Set();
+        let replacedStmts;
+        let impactedStmts;
         if (stmt instanceof Stmt_1.ArkAssignStmt && stmt.getLeftOp() instanceof Expr_1.AbstractInvokeExpr) {
             const invokeExpr = stmt.getLeftOp();
             const cls = method.getDeclaringArkFile().getScene().getClass(invokeExpr.getMethodSignature().getDeclaringClassSignature());
@@ -357,20 +480,24 @@ class StmtInference extends ArkModelInference {
                 invokeStmt.setOriginFullPosition(stmt.getOriginFullPosition());
             }
             invokeStmt.metadata = stmt.metadata;
-            replacedStmts.push(invokeStmt);
+            replacedStmts = [invokeStmt];
         }
         else {
             impactedStmts = this.typeSpread(stmt, method);
         }
         const finalDef = stmt.getDef();
-        if (defType !== (finalDef === null || finalDef === void 0 ? void 0 : finalDef.getType()) && finalDef instanceof Local_1.Local &&
+        if (defType !== (finalDef === null || finalDef === void 0 ? void 0 : finalDef.getType()) &&
+            finalDef instanceof Local_1.Local &&
             (((_d = (_c = method.getBody()) === null || _c === void 0 ? void 0 : _c.getUsedGlobals()) === null || _d === void 0 ? void 0 : _d.get(finalDef.getName())) || !finalDef.getName().startsWith(Const_1.NAME_PREFIX))) {
-            finalDef.getUsedStmts().forEach(e => impactedStmts.add(e));
+            impactedStmts = this.mergeImpactedStmts(impactedStmts, finalDef.getUsedStmts());
+        }
+        if (impactedStmts === undefined && replacedStmts === undefined) {
+            return EMPTY_INFER_STMT_RESULT;
         }
         return {
             oldStmt: stmt,
-            impactedStmts: impactedStmts.size > 0 ? Array.from(impactedStmts) : undefined,
-            replacedStmts: replacedStmts.length > 0 ? replacedStmts : undefined
+            impactedStmts: impactedStmts !== null && impactedStmts !== void 0 ? impactedStmts : NO_IMPACTED_STMTS,
+            replacedStmts: replacedStmts,
         };
     }
     /**
@@ -379,31 +506,82 @@ class StmtInference extends ArkModelInference {
      * @param {Stmt} stmt - The containing statement
      * @param {Set<Value>} visited - Set of already visited values for cycle prevention
      */
-    inferValue(value, stmt, visited = new Set()) {
-        if (visited.has(value)) {
-            return;
-        }
-        else {
+    inferValue(value, stmt, visited, depth = 0) {
+        var _a;
+        if (visited !== undefined) {
+            if (visited.has(value)) {
+                return;
+            }
             visited.add(value);
         }
-        const name = value.constructor.name;
-        const valueInference = this.valueInferences.get(name);
-        if (!valueInference) {
-            logger.debug(name + ' valueInference not found');
+        const ctor = value.constructor;
+        let valueInference = this.valueInferencesByCtor.get(ctor);
+        if (valueInference === undefined) {
+            valueInference = (_a = this.valueInferences.get(ctor.name)) !== null && _a !== void 0 ? _a : null;
+            this.valueInferencesByCtor.set(ctor, valueInference);
+        }
+        if (valueInference === null) {
+            if (logger_1.default.isDebugEnabled(logger)) {
+                logger.debug(ctor.name + ' valueInference not found');
+            }
             return;
         }
         const type = value.getType();
-        if (type instanceof TypeExpr_1.AbstractTypeExpr) {
-            type.getUses().forEach(sub => this.inferValue(sub, stmt, visited));
+        const owned = visited === undefined;
+        let childVisited = visited;
+        let prevBase = 0;
+        if (owned) {
+            prevBase = valueVisitedSeg.enter();
+            childVisited = valueVisitedSeg;
+        }
+        try {
+            if (type instanceof TypeExpr_1.AbstractTypeExpr) {
+                this.inferSubValues(value, type.getUses(this.acquireUses(depth)), stmt, childVisited, depth);
+            }
+            this.inferSubValues(value, value.getUses(this.acquireUses(depth)), stmt, childVisited, depth);
+        }
+        finally {
+            if (owned) {
+                valueVisitedSeg.leave(prevBase);
+            }
         }
-        value.getUses().forEach(sub => this.inferValue(sub, stmt, visited));
         valueInference.doInfer(value, stmt);
     }
+    inferSubValues(parent, subValues, stmt, visited, depth) {
+        const pooled = subValues === this.usesPool[depth];
+        if (subValues.length === 0 || (pooled && subValues.length === 1)) {
+            return;
+        }
+        visited.add(parent);
+        const start = pooled ? 1 : 0;
+        for (let i = start; i < subValues.length; i++) {
+            this.inferValue(subValues[i], stmt, visited, depth + 1);
+        }
+    }
+    /**
+     * Per-depth pooled acc for the no-arg getUses default parameter: the default `acc = []`
+     * allocated (and push-grew) a fresh array on every inferValue visit. A plain shared
+     * scratch would be reset by nested inferValue calls while inferSubValues is still
+     * iterating it, so each recursion depth owns a slot. The slot keeps a sentinel at index 0
+     * and resets by pop (truncating to 0 would drop the V8 backing store); iteration skips
+     * the sentinel via the identity check in inferSubValues.
+     */
+    acquireUses(depth) {
+        let arr = this.usesPool[depth];
+        if (arr === undefined) {
+            arr = [null];
+            this.usesPool[depth] = arr;
+        }
+        while (arr.length > 1) {
+            arr.pop();
+        }
+        return arr;
+    }
     /**
      * Propagates types through statements and handles special cases
      * @param {Stmt} stmt - The statement to process
      * @param {ArkMethod} method - The containing method
-     * @returns {Set<Stmt>} Set of statements impacted by type propagation
+     * @returns {Stmt[] | undefined} Statements impacted by type propagation, if any
      */
     typeSpread(stmt, method) {
         var _a;
@@ -413,17 +591,13 @@ class StmtInference extends ArkModelInference {
         if (invokeExpr) {
             impactedStmts = this.paramSpread(invokeExpr, method);
         }
-        else {
-            impactedStmts = new Set();
-        }
         if (stmt instanceof Stmt_1.ArkAssignStmt) {
-            this.transferTypeBidirectional(stmt, method, impactedStmts);
+            impactedStmts = this.transferTypeBidirectional(stmt, method, impactedStmts);
         }
         else if (stmt instanceof Stmt_1.ArkReturnStmt) {
             // Handle return statements with async type resolution
             let returnType = method.getSignature().getType();
-            if (method.containsModifier(ArkBaseModel_1.ModifierType.ASYNC) && returnType instanceof Type_1.ClassType &&
-                returnType.getClassSignature().getClassName() === TSConst_1.PROMISE) {
+            if (method.containsModifier(ArkBaseModel_1.ModifierType.ASYNC) && returnType instanceof Type_1.ClassType && returnType.getClassSignature().getClassName() === TSConst_1.PROMISE) {
                 const realGenericType = (_a = returnType.getRealGenericTypes()) === null || _a === void 0 ? void 0 : _a[0];
                 if (realGenericType) {
                     returnType = realGenericType;
@@ -433,21 +607,34 @@ class StmtInference extends ArkModelInference {
         }
         return impactedStmts;
     }
+    mergeImpactedStmts(target, items) {
+        if (items === undefined || items.length === 0) {
+            return target;
+        }
+        if (target === undefined) {
+            target = [];
+        }
+        for (const item of items) {
+            if (!target.includes(item)) {
+                target.push(item);
+            }
+        }
+        return target;
+    }
     /**
      * Transfers types bidirectionally in assignment statements
      * @param {ArkAssignStmt} stmt - The assignment statement
      * @param {ArkMethod} method - The containing method
-     * @param {Set<Stmt>} impactedStmts - Set to collect impacted statements
+     * @param {Stmt[] | undefined} impactedStmts - Statements collected so far, if any
      */
     transferTypeBidirectional(stmt, method, impactedStmts) {
-        var _a, _b;
         const rightType = stmt.getRightOp().getType();
         const leftOp = stmt.getLeftOp();
         let leftType = leftOp.getType();
         // Transfer type from left to right operand
-        (_a = this.transferLeft2Right(stmt.getRightOp(), leftType, method)) === null || _a === void 0 ? void 0 : _a.forEach(a => impactedStmts.add(a));
+        impactedStmts = this.mergeImpactedStmts(impactedStmts, this.transferLeft2Right(stmt.getRightOp(), leftType, method));
         // Transfer type from right to left operand
-        (_b = this.transferRight2Left(leftOp, rightType, method)) === null || _b === void 0 ? void 0 : _b.forEach(a => impactedStmts.add(a));
+        impactedStmts = this.mergeImpactedStmts(impactedStmts, this.transferRight2Left(leftOp, rightType, method));
         // Handle global this references
         if (leftOp instanceof Ref_1.ArkStaticFieldRef) {
             const declaringSignature = leftOp.getFieldSignature().getDeclaringSignature();
@@ -455,11 +642,13 @@ class StmtInference extends ArkModelInference {
                 SdkUtils_1.SdkUtils.computeGlobalThis(leftOp, method);
             }
         }
+        return impactedStmts;
     }
     transferLeft2Right(rightOp, leftType, method) {
-        const projectName = method.getDeclaringArkFile().getProjectName();
-        // Skip if left type is unclear or anonymous
-        if (TypeInference_1.TypeInference.isUnclearType(leftType) || TypeInference_1.TypeInference.isAnonType(leftType, projectName)) {
+        if (TypeInference_1.TypeInference.isUnclearType(leftType)) {
+            return undefined;
+        }
+        if (TypeInference_1.TypeInference.isAnonType(leftType, method.getDeclaringArkFile().getProjectName())) {
             return undefined;
         }
         const rightType = rightOp.getType();
@@ -467,7 +656,7 @@ class StmtInference extends ArkModelInference {
         return this.updateValueType(rightOp, leftType, method);
     }
     transferRight2Left(leftOp, rightType, method) {
-        if (TypeInference_1.TypeInference.isUnclearType(rightType)) {
+        if (TypeInference_1.TypeInference.isUnclearType(rightType) || rightType instanceof Type_1.UndefinedType || rightType instanceof Type_1.NullType) {
             return undefined;
         }
         return this.updateValueType(leftOp, rightType, method);
@@ -481,7 +670,7 @@ class StmtInference extends ArkModelInference {
      */
     updateValueType(target, srcType, method) {
         const type = target.getType();
-        if (type !== srcType && TypeInference_1.TypeInference.isUnclearType(type)) {
+        if (type !== srcType && (TypeInference_1.TypeInference.isUnclearType(type) || type instanceof Type_1.UndefinedType || type instanceof Type_1.NullType)) {
             if (target instanceof Local_1.Local) {
                 target.setType(srcType);
                 return target.getUsedStmts();
@@ -502,12 +691,17 @@ class StmtInference extends ArkModelInference {
      * @returns {Set<Stmt>} Set of statements impacted by parameter type propagation
      */
     paramSpread(invokeExpr, method) {
-        var _a;
         const realTypes = [];
-        const result = new Set();
+        let result;
         const len = invokeExpr.getArgs().length;
-        const parameters = invokeExpr.getMethodSignature().getMethodSubSignature().getParameters()
-            .filter(p => !p.getName().startsWith(Const_1.LEXICAL_ENV_NAME_PREFIX));
+        const declaredParameters = invokeExpr.getMethodSignature().getMethodSubSignature().getParameters();
+        let parameters = declaredParameters;
+        for (let i = 0; i < declaredParameters.length; i++) {
+            if (declaredParameters[i].getName().startsWith(Const_1.LEXICAL_ENV_NAME_PREFIX)) {
+                parameters = declaredParameters.filter(p => !p.getName().startsWith(Const_1.LEXICAL_ENV_NAME_PREFIX));
+                break;
+            }
+        }
         // Map arguments to parameters
         for (let index = 0; index < len; index++) {
             const arg = invokeExpr.getArg(index);
@@ -515,7 +709,7 @@ class StmtInference extends ArkModelInference {
                 break;
             }
             const paramType = parameters[index].getType();
-            (_a = this.mapArgWithParam(arg, paramType, invokeExpr, method, realTypes)) === null || _a === void 0 ? void 0 : _a.forEach(a => result.add(a));
+            result = this.mergeImpactedStmts(result, this.mapArgWithParam(arg, paramType, invokeExpr, method, realTypes));
         }
         // Set real generic types for the invocation
         if (realTypes.length > 0 && !invokeExpr.getRealGenericTypes()) {

package/lib/core/inference/ValueInference.d.ts

@@ -159,10 +159,9 @@ export declare class InstanceInvokeExprInference extends ValueInference<ArkInsta
     infer(value: ArkInstanceInvokeExpr, stmt: Stmt): Value | undefined;
     /**
      * Performs post-inference processing on invocation expressions
-     * Handles special case for super() calls by replacing the base with 'this' local
      * @param {ArkInstanceInvokeExpr} value - The original invocation expression
      * @param {Value} newValue - The new value after inference
-     * @param {Stmt} stmt - The statement containing the invocation
+     * @param {Stmt} stmt - The statement containing the expression
      */
     postInfer(value: ArkInstanceInvokeExpr, newValue: Value, stmt: Stmt): void;
     getMethodName(expr: AbstractInvokeExpr, arkMethod: ArkMethod): string;
@@ -172,6 +171,8 @@ export declare class StaticInvokeExprInference extends InstanceInvokeExprInferen
     getValueName(): string;
     infer(expr: ArkStaticInvokeExpr, stmt: Stmt): Value | undefined;
     protected getBaseType(expr: ArkStaticInvokeExpr, arkMethod: ArkMethod): Type | null;
+    /** Multi-candidate variant of {@link getBaseType} (same-name global entities expanded). */
+    protected getBaseTypes(expr: ArkStaticInvokeExpr, arkMethod: ArkMethod): Type[];
 }
 export declare class ArkPtrInvokeExprInference extends StaticInvokeExprInference {
     getValueName(): string;

package/lib/core/inference/ValueInference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ValueInference.d.ts","sourceRoot":"","sources":["../../../src/core/inference/ValueInference.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAiB,IAAI,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvG,OAAO,EAWH,IAAI,EAKP,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAI/C,OAAO,EACH,kBAAkB,EAClB,WAAW,EACX,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,EAItB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAWtC,oBAAY,aAAa;IACrB,OAAO,KAAK;IACZ,MAAM,IAAI;IACV,SAAS,IAAI;IACb,SAAS,IAAI;IACb,WAAW,IAAI;IACf,GAAG,KAAK;IACR,GAAG,KAAK;CACX;AAED,eAAO,MAAM,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAsC,CAAC;AAE3F,wBAAgB,IAAI,CAAC,IAAI,GAAE,aAAoC,GAAG,QAAQ,CAMzE;AAED;;;GAGG;AACH,8BAAsB,cAAc,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,SAAS,EAAE,aAAa;IACrF;;;OAGG;aACa,YAAY,IAAI,MAAM;IAEtC;;;;;OAKG;aACa,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAExD;;;;;OAKG;aACa,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IAE/D;;;;;OAKG;IACI,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI;IAc3C;;;;;;OAMG;IACI,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI;CASlE;AAED;;;GAGG;AACH,qBACa,qBAAsB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAC/D,YAAY,IAAI,MAAM;IAI7B;;;;;OAKG;IACI,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAKhD;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAItE;AAED;;;GAGG;AACH,qBACa,wBAAyB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAClE,YAAY,IAAI,MAAM;IAI7B;;;;;OAKG;IACI,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAKhD;;;;;OAKG;IACI,KAAK,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS;CAU1D;AAED,qBACa,iBAAkB,SAAQ,cAAc,CAAC,mBAAmB,CAAC;IAC/D,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAKjE;;;;;;;OAOG;IACI,KAAK,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAS1E;AAED,qBACa,uBAAwB,SAAQ,cAAc,CAAC,iBAAiB,CAAC;IACnE,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAK/D;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAWxE;AAED,qBACa,2BAA4B,SAAQ,cAAc,CAAC,qBAAqB,CAAC;IAE3E,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO;IAK9E;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IAOzE;;;;;;OAMG;IACI,SAAS,CAAC,KAAK,EAAE,qBAAqB,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAW1E,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM;WAI9D,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB,GAAG,IAAI;CAiC3H;AAED,qBACa,yBAA0B,SAAQ,2BAA2B;IAE/D,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IA6BtE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI;CAOtF;AAED,qBACa,yBAA0B,SAAQ,yBAAyB;IAC7D,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CA2BtE;AAID,qBACa,mBAAoB,SAAQ,cAAc,CAAC,UAAU,CAAC;IACxD,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO;IAIpC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAqBjE;AAED,qBACa,wBAAyB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAClE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAIzC,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAOtE;AAGD,qBACa,2BAA4B,SAAQ,cAAc,CAAC,kBAAkB,CAAC;IACxE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO;IAI5C,KAAK,CAAC,KAAK,EAAE,kBAAkB,GAAG,KAAK,GAAG,SAAS;CAI7D;AAED,qBACa,yBAA0B,SAAQ,2BAA2B;IAC/D,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO;IAI1C,KAAK,CAAC,KAAK,EAAE,gBAAgB,GAAG,KAAK,GAAG,SAAS;IAgCxD,OAAO,CAAC,+BAA+B;IAevC,OAAO,CAAC,6BAA6B;CAkBxC;AAID,qBACa,0BAA2B,SAAQ,cAAc,CAAC,iBAAiB,CAAC;IACtE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO;IAI3C,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAOxE;AAED,qBACa,oBAAqB,SAAQ,cAAc,CAAC,WAAW,CAAC;IAC1D,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO;IAIrC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAWlE;AAGD,qBACa,cAAe,SAAQ,cAAc,CAAC,KAAK,CAAC;IAC9C,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;IAI/B,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAmB5D"}
+{"version":3,"file":"ValueInference.d.ts","sourceRoot":"","sources":["../../../src/core/inference/ValueInference.ts"],"names":[],"mappings":"AAeA,OAAO,EAAiB,IAAI,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvG,OAAO,EAWH,IAAI,EAKP,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAI/C,OAAO,EACH,kBAAkB,EAClB,WAAW,EACX,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,EAItB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAWtC,oBAAY,aAAa;IACrB,OAAO,KAAK;IACZ,MAAM,IAAI;IACV,SAAS,IAAI;IACb,SAAS,IAAI;IACb,WAAW,IAAI;IACf,GAAG,KAAK;IACR,GAAG,KAAK;CACX;AAED,eAAO,MAAM,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAsC,CAAC;AAE3F,wBAAgB,IAAI,CAAC,IAAI,GAAE,aAAoC,GAAG,QAAQ,CAMzE;AAED;;;GAGG;AACH,8BAAsB,cAAc,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,SAAS,EAAE,aAAa;IACrF;;;OAGG;aACa,YAAY,IAAI,MAAM;IAEtC;;;;;OAKG;aACa,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAExD;;;;;OAKG;aACa,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IAE/D;;;;;OAKG;IACI,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI;IAc3C;;;;;;OAMG;IACI,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI;CASlE;AAED;;;GAGG;AACH,qBACa,qBAAsB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAC/D,YAAY,IAAI,MAAM;IAI7B;;;;;OAKG;IACI,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAKhD;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAItE;AAED;;;GAGG;AACH,qBACa,wBAAyB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAClE,YAAY,IAAI,MAAM;IAI7B;;;;;OAKG;IACI,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAKhD;;;;;OAKG;IACI,KAAK,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS;CAa1D;AAED,qBACa,iBAAkB,SAAQ,cAAc,CAAC,mBAAmB,CAAC;IAC/D,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAQjE;;;;;;;OAOG;IACI,KAAK,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAO1E;AAED,qBACa,uBAAwB,SAAQ,cAAc,CAAC,iBAAiB,CAAC;IACnE,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO;IAM/D;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAaxE;AAED,qBACa,2BAA4B,SAAQ,cAAc,CAAC,qBAAqB,CAAC;IAC3E,YAAY,IAAI,MAAM;IAI7B;;;;;;OAMG;IACI,QAAQ,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO;IAO9E;;;;;;OAMG;IACI,KAAK,CAAC,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IAgBzE;;;;;OAKG;IACI,SAAS,CAAC,KAAK,EAAE,qBAAqB,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAI1E,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,MAAM;WAI9D,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB,GAAG,IAAI;CAkC3H;AAED,qBACa,yBAA0B,SAAQ,2BAA2B;IAC/D,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;IAsCtE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI;IAQnF,2FAA2F;IAC3F,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE;CAOlF;AAED,qBACa,yBAA0B,SAAQ,yBAAyB;IAC7D,YAAY,IAAI,MAAM;IAItB,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CA2BtE;AAED,qBACa,mBAAoB,SAAQ,cAAc,CAAC,UAAU,CAAC;IACxD,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO;IAIpC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CA+CjE;AAED,qBACa,wBAAyB,SAAQ,cAAc,CAAC,eAAe,CAAC;IAClE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAIzC,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAOtE;AAED,qBACa,2BAA4B,SAAQ,cAAc,CAAC,kBAAkB,CAAC;IACxE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO;IAI5C,KAAK,CAAC,KAAK,EAAE,kBAAkB,GAAG,KAAK,GAAG,SAAS;CAI7D;AAED,qBACa,yBAA0B,SAAQ,2BAA2B;IAC/D,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO;IAI1C,KAAK,CAAC,KAAK,EAAE,gBAAgB,GAAG,KAAK,GAAG,SAAS;IAgCxD,OAAO,CAAC,+BAA+B;IAevC,OAAO,CAAC,6BAA6B;CAkBxC;AAED,qBACa,0BAA2B,SAAQ,cAAc,CAAC,iBAAiB,CAAC;IACtE,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO;IAI3C,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAOxE;AAED,qBACa,oBAAqB,SAAQ,cAAc,CAAC,WAAW,CAAC;IAC1D,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO;IAIrC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAWlE;AAED,qBACa,cAAe,SAAQ,cAAc,CAAC,KAAK,CAAC;IAC9C,YAAY,IAAI,MAAM;IAItB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;IAK/B,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS;CAmB5D"}