arkanalyzer 1.0.69 → 1.0.71

package/lib/callgraph/pointerAnalysis/plugins/PluginManager.d.ts

@@ -6,6 +6,8 @@ import { IPagPlugin } from './IPagPlugin';
 import { NodeID } from '../../../core/graph/GraphTraits';
 import { ArkMethod } from '../../../core/model/ArkMethod';
 import { Value } from '../../../core/base/Value';
+import { Local } from '../../../core/base/Local';
+import { Stmt } from '../../../core/base/Stmt';
 export declare class PluginManager {
     private plugins;
     constructor(pag: Pag, pagBuilder: PagBuilder, cg: CallGraph);
@@ -21,5 +23,8 @@ export declare class PluginManager {
         handled: boolean;
     };
     getSDKParamValue(method: ArkMethod): Value[] | undefined;
+    getTaskObj2CGNodeMap(): Map<Local, CallGraphNode>;
+    getTaskObj2ConstructorStmtMap(): Map<Local, Stmt>;
+    getWorkerObj2CGNodeMap(): Map<Local, CallGraphNode>;
 }
 //# sourceMappingURL=PluginManager.d.ts.map

package/lib/callgraph/pointerAnalysis/plugins/PluginManager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PluginManager.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/PluginManager.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAKzD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAGjD,qBAAa,aAAa;IACtB,OAAO,CAAC,OAAO,CAAoB;gBAEvB,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS;IAI3D,OAAO,CAAC,IAAI;IAOL,cAAc,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAIxC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS;IAIxE,aAAa,IAAI,UAAU,EAAE;IAI7B,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE;IAcxH,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE;IAU1E,gBAAgB,CAAC,MAAM,EAAE,SAAS,GAAG,KAAK,EAAE,GAAG,SAAS;CAGlE"}
+{"version":3,"file":"PluginManager.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/PluginManager.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAKzD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAGjD,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAG/C,qBAAa,aAAa;IACtB,OAAO,CAAC,OAAO,CAAoB;gBAEvB,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS;IAI3D,OAAO,CAAC,IAAI;IASL,cAAc,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAIxC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS;IAIxE,aAAa,IAAI,UAAU,EAAE;IAI7B,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE;IAcxH,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE;IAU1E,gBAAgB,CAAC,MAAM,EAAE,SAAS,GAAG,KAAK,EAAE,GAAG,SAAS;IAKxD,oBAAoB,IAAI,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;IAIjD,6BAA6B,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;IAKjD,sBAAsB,IAAI,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;CAG7D"}

package/lib/callgraph/pointerAnalysis/plugins/PluginManager.js

@@ -19,6 +19,8 @@ const ContainerPlugin_1 = require("./ContainerPlugin");
 const FunctionPlugin_1 = require("./FunctionPlugin");
 const SdkPlugin_1 = require("./SdkPlugin");
 const StoragePlugin_1 = require("./StoragePlugin");
+const TaskPoolPlugin_1 = require("./TaskPoolPlugin");
+const WorkerPlugin_1 = require("./WorkerPlugin");
 // plugins/PluginManager.ts
 class PluginManager {
     constructor(pag, pagBuilder, cg) {
@@ -28,6 +30,8 @@ class PluginManager {
     init(pag, pagBuilder, cg) {
         this.registerPlugin(new StoragePlugin_1.StoragePlugin(pag, pagBuilder, cg));
         this.registerPlugin(new FunctionPlugin_1.FunctionPlugin(pag, pagBuilder, cg));
+        this.registerPlugin(new TaskPoolPlugin_1.TaskPoolPlugin(pag, pagBuilder, cg));
+        this.registerPlugin(new WorkerPlugin_1.WorkerPlugin(pag, pagBuilder, cg));
         this.registerPlugin(new SdkPlugin_1.SdkPlugin(pag, pagBuilder, cg));
         this.registerPlugin(new ContainerPlugin_1.ContainerPlugin(pag, pagBuilder, cg));
     }
@@ -62,5 +66,16 @@ class PluginManager {
     getSDKParamValue(method) {
         return this.plugins.find(p => p.getName() === 'SdkPlugin').getParamValues(method);
     }
+    // taskpool plugin interfaces
+    getTaskObj2CGNodeMap() {
+        return this.plugins.find(p => p.getName() === 'TaskPoolPlugin').getTaskObj2CGNodeMap();
+    }
+    getTaskObj2ConstructorStmtMap() {
+        return this.plugins.find(p => p.getName() === 'TaskPoolPlugin').getTaskObj2ConstructorStmtMap();
+    }
+    // worker plugin interfaces
+    getWorkerObj2CGNodeMap() {
+        return this.plugins.find(p => p.getName() === 'WorkerPlugin').getWorkerObj2CGNodeMap();
+    }
 }
 exports.PluginManager = PluginManager;

package/lib/callgraph/pointerAnalysis/plugins/TaskPoolPlugin.d.ts

@@ -0,0 +1,35 @@
+import { Local } from '../../../core/base/Local';
+import { Stmt } from '../../../core/base/Stmt';
+import { NodeID } from '../../../core/graph/GraphTraits';
+import { ArkMethod } from '../../../core/model/ArkMethod';
+import { CallGraph, CallGraphNode, FuncID, ICallSite } from '../../model/CallGraph';
+import { ContextID } from '../context/Context';
+import { Pag } from '../Pag';
+import { PagBuilder } from '../PagBuilder';
+import { IPagPlugin } from './IPagPlugin';
+export declare class TaskPoolPlugin implements IPagPlugin {
+    pag: Pag;
+    pagBuilder: PagBuilder;
+    cg: CallGraph;
+    private sdkMethodReturnValueMap;
+    private methodParamValueMap;
+    private fakeSdkMethodParamDeclaringStmt;
+    private taskObj2CGNodeMap;
+    private taskObj2ConstructorStmtMap;
+    constructor(pag: Pag, pagBuilder: PagBuilder, cg: CallGraph);
+    getName(): string;
+    canHandle(cs: ICallSite, cgNode: CallGraphNode): boolean;
+    processCallSite(cs: ICallSite, cid: ContextID, basePTNode: NodeID): NodeID[];
+    private addTaskPoolMethodPagCallEdge;
+    /**
+     * will not create real funcPag, only create param values
+     */
+    buildSDKFuncPag(funcID: FuncID, sdkMethod: ArkMethod): void;
+    private createDummyParamValue;
+    private addSDKMethodReturnPagEdge;
+    private addTaskPoolMethodParamPagEdge;
+    addTaskObj2CGNodeMap(cs: ICallSite, index: number): void;
+    getTaskObj2CGNodeMap(): Map<Local, CallGraphNode>;
+    getTaskObj2ConstructorStmtMap(): Map<Local, Stmt>;
+}
+//# sourceMappingURL=TaskPoolPlugin.d.ts.map

package/lib/callgraph/pointerAnalysis/plugins/TaskPoolPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TaskPoolPlugin.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/TaskPoolPlugin.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EAAgC,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAI7E,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,GAAG,EAA6B,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAW1C,qBAAa,cAAe,YAAW,UAAU;IAC7C,GAAG,EAAE,GAAG,CAAC;IACT,UAAU,EAAE,UAAU,CAAC;IACvB,EAAE,EAAE,SAAS,CAAC;IACd,OAAO,CAAC,uBAAuB,CAA6C;IAE5E,OAAO,CAAC,mBAAmB,CAAuB;IAElD,OAAO,CAAC,+BAA+B,CAAO;IAE9C,OAAO,CAAC,iBAAiB,CAA4B;IAErD,OAAO,CAAC,0BAA0B,CAAmB;gBAEzC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS;IAW3D,OAAO,IAAI,MAAM;IAIjB,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,OAAO;IAMxD,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAiC5E,OAAO,CAAC,4BAA4B;IAoBpC;;OAEG;IACI,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAMlE,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,yBAAyB;IA6BjC,OAAO,CAAC,6BAA6B;IAoC9B,oBAAoB,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAcxD,oBAAoB,IAAI,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;IAIjD,6BAA6B,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;CAG3D"}

package/lib/callgraph/pointerAnalysis/plugins/TaskPoolPlugin.js

@@ -0,0 +1,199 @@
+"use strict";
+/*
+ * Copyright (c) 2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TaskPoolPlugin = void 0;
+const Constant_1 = require("../../../core/base/Constant");
+const Expr_1 = require("../../../core/base/Expr");
+const Local_1 = require("../../../core/base/Local");
+const Stmt_1 = require("../../../core/base/Stmt");
+const Type_1 = require("../../../core/base/Type");
+const Const_1 = require("../../../core/common/Const");
+const Pag_1 = require("../Pag");
+const taskpoolMethodNames = new Set([
+    'execute',
+    'executeDelayed',
+    'executePeriodically',
+    'addTask',
+    'constructor'
+]);
+class TaskPoolPlugin {
+    constructor(pag, pagBuilder, cg) {
+        this.pag = pag;
+        this.pagBuilder = pagBuilder;
+        this.cg = cg;
+        this.sdkMethodReturnValueMap = new Map();
+        this.methodParamValueMap = new Map();
+        this.fakeSdkMethodParamDeclaringStmt = new Stmt_1.ArkAssignStmt(new Local_1.Local(''), new Local_1.Local(''));
+        this.taskObj2ConstructorStmtMap = new Map();
+        this.taskObj2CGNodeMap = new Map();
+    }
+    getName() {
+        return 'TaskPoolPlugin';
+    }
+    canHandle(cs, cgNode) {
+        var _a;
+        // if namespace is 'taskpool', then can handle
+        let namespacename = (_a = cgNode.getMethod().getDeclaringClassSignature().getDeclaringNamespaceSignature()) === null || _a === void 0 ? void 0 : _a.getNamespaceName();
+        return namespacename === 'taskpool';
+    }
+    processCallSite(cs, cid, basePTNode) {
+        let srcNodes = [];
+        let calleeFuncID = cs.getCalleeFuncID();
+        if (!calleeFuncID) {
+            return srcNodes;
+        }
+        const calleeMethod = this.cg.getArkMethodByFuncID(calleeFuncID);
+        if (!calleeMethod) {
+            return srcNodes;
+        }
+        let methodname = calleeMethod.getSubSignature().getMethodName();
+        const calleeCid = this.pagBuilder.getContextSelector().selectContext(cid, cs, basePTNode, calleeFuncID);
+        if (methodname === Const_1.CONSTRUCTORFUCNNAME && cs.args !== undefined) {
+            // match the constructor function so that update the taskObj2CGNodeMap
+            for (let i = 0; i < cs.args.length; i++) {
+                if (cs.args[i] instanceof Local_1.Local && cs.args[i].getType() instanceof Type_1.FunctionType) {
+                    this.addTaskObj2CGNodeMap(cs, i);
+                    break;
+                }
+            }
+        }
+        if (taskpoolMethodNames.has(methodname) && cs.args !== undefined) {
+            // transfer the param function pag to the task thread function pag
+            for (let i = 0; i < cs.args.length; i++) {
+                if (cs.args[i] instanceof Local_1.Local && cs.args[i].getType() instanceof Type_1.FunctionType) {
+                    this.addTaskPoolMethodPagCallEdge(cs, cid, calleeCid, srcNodes, i);
+                    break;
+                }
+            }
+        }
+        return srcNodes;
+    }
+    addTaskPoolMethodPagCallEdge(cs, callerCid, calleeCid, srcNodes, index) {
+        let calleeFuncID = cs.getCalleeFuncID();
+        if (!calleeFuncID) {
+            return;
+        }
+        let calleeNode = this.cg.getNode(calleeFuncID);
+        let calleeMethod = this.cg.getArkMethodByFuncID(calleeFuncID);
+        if (!calleeMethod) {
+            return;
+        }
+        if (!this.methodParamValueMap.has(calleeNode.getID())) {
+            this.buildSDKFuncPag(calleeNode.getID(), calleeMethod);
+        }
+        this.addSDKMethodReturnPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes);
+        this.addTaskPoolMethodParamPagEdge(cs, callerCid, calleeCid, calleeNode.getID(), srcNodes, index);
+        return;
+    }
+    /**
+     * will not create real funcPag, only create param values
+     */
+    buildSDKFuncPag(funcID, sdkMethod) {
+        let paramArr = this.createDummyParamValue(sdkMethod);
+        this.methodParamValueMap.set(funcID, paramArr);
+    }
+    createDummyParamValue(sdkMethod) {
+        let args = sdkMethod.getParameters();
+        let paramArr = [];
+        if (!args) {
+            return paramArr;
+        }
+        // Local
+        args.forEach((arg) => {
+            let argInstance = new Local_1.Local(arg.getName(), arg.getType());
+            argInstance.setDeclaringStmt(this.fakeSdkMethodParamDeclaringStmt);
+            paramArr.push(argInstance);
+        });
+        return paramArr;
+    }
+    addSDKMethodReturnPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes) {
+        let returnType = calleeMethod.getReturnType();
+        if (!(returnType instanceof Type_1.ClassType) || !(cs.callStmt instanceof Stmt_1.ArkAssignStmt)) {
+            return;
+        }
+        // check fake heap object exists or not
+        let cidMap = this.sdkMethodReturnValueMap.get(calleeMethod);
+        if (!cidMap) {
+            cidMap = new Map();
+        }
+        let newExpr = cidMap.get(calleeCid);
+        if (!newExpr && returnType instanceof Type_1.ClassType) {
+            newExpr = new Expr_1.ArkNewExpr(returnType);
+        }
+        if (newExpr === undefined) {
+            return;
+        }
+        cidMap.set(calleeCid, newExpr);
+        this.sdkMethodReturnValueMap.set(calleeMethod, cidMap);
+        let srcPagNode = this.pagBuilder.getOrNewPagNode(calleeCid, newExpr);
+        let dstPagNode = this.pagBuilder.getOrNewPagNode(callerCid, cs.callStmt.getLeftOp(), cs.callStmt);
+        this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Address, cs.callStmt);
+        srcNodes.push(srcPagNode.getID());
+        return;
+    }
+    addTaskPoolMethodParamPagEdge(cs, callerCid, calleeCid, funcID, srcNodes, index) {
+        var _a;
+        let paramValue = (_a = this.methodParamValueMap.get(funcID)) === null || _a === void 0 ? void 0 : _a[0];
+        if (paramValue === undefined || cs.args === undefined) {
+            return;
+        }
+        let srcPagNode = this.pagBuilder.getOrNewPagNode(callerCid, cs.args[index], cs.callStmt);
+        let dstPagNode = this.pagBuilder.getOrNewPagNode(calleeCid, paramValue, cs.callStmt);
+        let args = cs.args.slice(index + 1);
+        if (dstPagNode instanceof Pag_1.PagLocalNode) {
+            dstPagNode.setSdkParam();
+            // add related dyn callsite
+            let arkPtrInvokeExpr = new Expr_1.ArkPtrInvokeExpr(cs.args[index].getType().getMethodSignature(), paramValue, args);
+            let sdkParamInvokeStmt = new Stmt_1.ArkInvokeStmt(arkPtrInvokeExpr);
+            let calleeNode = this.cg.getCallGraphNodeByMethod(cs.args[index].getType().getMethodSignature());
+            let sdkParamCallSite = this.cg.getCallSiteManager().newDynCallSite(sdkParamInvokeStmt, args, calleeNode.getID(), funcID);
+            dstPagNode.addRelatedDynCallSite(sdkParamCallSite);
+        }
+        this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Copy, cs.callStmt);
+        srcNodes.push(srcPagNode.getID());
+        // passed the cid of args
+        for (let arg of args) {
+            if (arg instanceof Constant_1.Constant || arg instanceof Expr_1.AbstractExpr) {
+                continue;
+            }
+            srcPagNode = this.pagBuilder.getOrNewPagNode(callerCid, arg, cs.callStmt);
+            dstPagNode = this.pagBuilder.getOrNewPagNode(calleeCid, arg, cs.callStmt);
+            this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Copy, cs.callStmt);
+            srcNodes.push(srcPagNode.getID());
+        }
+        return;
+    }
+    addTaskObj2CGNodeMap(cs, index) {
+        // Obtain the function that the task thread is going to execute through the param function.
+        let invokeExpr = cs.callStmt.getInvokeExpr();
+        if (cs.args === undefined) {
+            return;
+        }
+        let arg_type = cs.args[index].getType();
+        if (arg_type instanceof Type_1.FunctionType) {
+            let cgnode = this.cg.getCallGraphNodeByMethod(arg_type.getMethodSignature());
+            this.taskObj2CGNodeMap.set(invokeExpr.getBase(), cgnode);
+            this.taskObj2ConstructorStmtMap.set(invokeExpr.getBase(), cs.callStmt);
+        }
+    }
+    getTaskObj2CGNodeMap() {
+        return this.taskObj2CGNodeMap;
+    }
+    getTaskObj2ConstructorStmtMap() {
+        return this.taskObj2ConstructorStmtMap;
+    }
+}
+exports.TaskPoolPlugin = TaskPoolPlugin;

package/lib/callgraph/pointerAnalysis/plugins/WorkerPlugin.d.ts

@@ -0,0 +1,27 @@
+import { ArkFile } from '../../..';
+import { StringConstant } from '../../../core/base/Constant';
+import { Local } from '../../../core/base/Local';
+import { Stmt } from '../../../core/base/Stmt';
+import { NodeID } from '../../../core/graph/GraphTraits';
+import { CallGraph, CallGraphNode, ICallSite } from '../../model/CallGraph';
+import { ContextID } from '../context/Context';
+import { Pag } from '../Pag';
+import { PagBuilder } from '../PagBuilder';
+import { IPagPlugin } from './IPagPlugin';
+export declare class WorkerPlugin implements IPagPlugin {
+    pag: Pag;
+    pagBuilder: PagBuilder;
+    cg: CallGraph;
+    private workerObj2CGNodeMap;
+    constructor(pag: Pag, pagBuilder: PagBuilder, cg: CallGraph);
+    getName(): string;
+    canHandle(cs: ICallSite, cgNode: CallGraphNode): boolean;
+    processCallSite(cs: ICallSite, cid: ContextID, basePTNode: NodeID): NodeID[];
+    private addWorkerPagCallEdge;
+    private addPostMessagePagCallEdge;
+    private ProcessPostMessagePagCallEdge;
+    addWorkerObj2CGNodeMap(cs: ICallSite): void;
+    getWorkerObj2CGNodeMap(): Map<Local, CallGraphNode>;
+    getFileByPath(callstmt: Stmt, filePath: StringConstant): ArkFile | null;
+}
+//# sourceMappingURL=WorkerPlugin.d.ts.map

package/lib/callgraph/pointerAnalysis/plugins/WorkerPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerPlugin.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/WorkerPlugin.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,OAAO,EAAiB,MAAM,UAAU,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEjD,OAAO,EAAiB,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAG9D,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,GAAG,EAAwB,MAAM,QAAQ,CAAC;AACnD,OAAO,EAAY,UAAU,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,qBAAa,YAAa,YAAW,UAAU;IAC3C,GAAG,EAAE,GAAG,CAAC;IACT,UAAU,EAAE,UAAU,CAAC;IACvB,EAAE,EAAE,SAAS,CAAC;IACd,OAAO,CAAC,mBAAmB,CAAwC;gBAEvD,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS;IAM3D,OAAO,IAAI,MAAM;IAIjB,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,OAAO;IAKxD,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAoB5E,OAAO,CAAC,oBAAoB;IA0B5B,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,6BAA6B;IAgB9B,sBAAsB,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI;IAoC3C,sBAAsB,IAAI,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;IAInD,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,GAAG,OAAO,GAAG,IAAI;CAWjF"}

package/lib/callgraph/pointerAnalysis/plugins/WorkerPlugin.js

@@ -0,0 +1,171 @@
+"use strict";
+/*
+ * Copyright (c) 2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WorkerPlugin = void 0;
+const __1 = require("../../..");
+const Constant_1 = require("../../../core/base/Constant");
+const Local_1 = require("../../../core/base/Local");
+const Ref_1 = require("../../../core/base/Ref");
+const Stmt_1 = require("../../../core/base/Stmt");
+const Const_1 = require("../../../core/common/Const");
+const ContextSelector_1 = require("../context/ContextSelector");
+const Pag_1 = require("../Pag");
+const PagBuilder_1 = require("../PagBuilder");
+class WorkerPlugin {
+    constructor(pag, pagBuilder, cg) {
+        this.workerObj2CGNodeMap = new Map();
+        this.pag = pag;
+        this.pagBuilder = pagBuilder;
+        this.cg = cg;
+    }
+    getName() {
+        return 'WorkerPlugin';
+    }
+    canHandle(cs, cgNode) {
+        var _a;
+        let namespacename = (_a = cgNode.getMethod().getDeclaringClassSignature().getDeclaringNamespaceSignature()) === null || _a === void 0 ? void 0 : _a.getNamespaceName();
+        return namespacename === 'worker';
+    }
+    processCallSite(cs, cid, basePTNode) {
+        let srcNodes = [];
+        let calleeFuncID = cs.getCalleeFuncID();
+        if (!calleeFuncID) {
+            return srcNodes;
+        }
+        const calleeMethod = this.cg.getArkMethodByFuncID(calleeFuncID);
+        if (!calleeMethod) {
+            return srcNodes;
+        }
+        let methodname = calleeMethod.getSubSignature().getMethodName();
+        if (methodname === Const_1.CONSTRUCTORFUCNNAME) {
+            this.addWorkerObj2CGNodeMap(cs);
+        }
+        if (methodname === Const_1.POSTMESSAGEFUNCNAME || methodname === Const_1.POSTMESSAGEWITHSHAREDSENDABLEFUNCNAME) {
+            this.addWorkerPagCallEdge(cs, cid, srcNodes);
+        }
+        return srcNodes;
+    }
+    addWorkerPagCallEdge(cs, callerCid, srcNodes) {
+        let myworker = cs.callStmt.getInvokeExpr().getBase();
+        let nodes = this.pag.getNodesByValue(myworker);
+        let pointto = new Set();
+        if (nodes === undefined) {
+            return;
+        }
+        for (let node of nodes) {
+            if (node[0] !== callerCid) {
+                continue;
+            }
+            let ptcollection = this.pag.getNode(node[1]).getPointTo();
+            for (let id of ptcollection) {
+                pointto.add(this.pag.getNode(id));
+            }
+        }
+        for (let obj of pointto) {
+            let cgnode = this.workerObj2CGNodeMap.get(obj.getStmt().getLeftOp());
+            if (cgnode === undefined) {
+                continue;
+            }
+            this.addPostMessagePagCallEdge(cs, callerCid, cgnode.getID(), srcNodes);
+        }
+        return;
+    }
+    addPostMessagePagCallEdge(cs, callerCid, calleeFuncID, srcNodes) {
+        var _a;
+        let cgnode = this.cg.getNode(calleeFuncID);
+        let calleeMethod = this.cg.getArkMethodByFuncID(cgnode.getID());
+        if (calleeMethod === null) {
+            return;
+        }
+        let calleeCid = this.pagBuilder.getContextSelector().selectContext(callerCid, cs, ContextSelector_1.emptyID, cgnode.getID());
+        this.pagBuilder.buildFuncPagAndAddToWorklist(new PagBuilder_1.CSFuncID(calleeCid, cgnode.getID()));
+        let params = calleeMethod.getCfg().getStmts()
+            .filter(stmt => stmt instanceof Stmt_1.ArkAssignStmt && stmt.getRightOp() instanceof Ref_1.ArkParameterRef)
+            .map(stmt => stmt.getRightOp());
+        (_a = calleeMethod.getBody()) === null || _a === void 0 ? void 0 : _a.getLocals().forEach((local) => {
+            if (local.getDeclaringStmt() instanceof Stmt_1.ArkAssignStmt && local.getDeclaringStmt().getRightOp() === params[0]) {
+                // find the local corresponding to the first parameter
+                this.ProcessPostMessagePagCallEdge(cs, callerCid, calleeCid, local, srcNodes);
+            }
+        });
+        return;
+    }
+    ProcessPostMessagePagCallEdge(cs, callerCid, calleeCid, local, srcNodes) {
+        let usedstmts = local.getUsedStmts().filter(usedstmt => usedstmt instanceof Stmt_1.ArkAssignStmt && usedstmt.getRightOp() instanceof Ref_1.ArkInstanceFieldRef);
+        for (let usedstmt of usedstmts) {
+            let fieldref = usedstmt.getRightOp();
+            // find the fieldref whose fieldname is 'data', then add pag edge between the argument and the leftop of the assignstmt
+            // of the fieldref
+            if (fieldref.getBase() === local && fieldref.getFieldName() === 'data' && cs.args !== undefined && cs.args[0] instanceof Local_1.Local) {
+                let srcPagNode = this.pagBuilder.getOrNewPagNode(callerCid, cs.args[0], cs.callStmt);
+                let dstPagNode = this.pagBuilder.getOrNewPagNode(calleeCid, usedstmt.getLeftOp(), cs.callStmt);
+                this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Copy, cs.callStmt);
+                srcNodes.push(srcPagNode.getID());
+            }
+        }
+        return;
+    }
+    addWorkerObj2CGNodeMap(cs) {
+        // Obtain the function that the worker sub-thread is going to execute through the file path.
+        let callstmt = cs.callStmt;
+        callstmt.getCfg().getDeclaringMethod().getDeclaringArkClass().getDeclaringArkFile().getScene();
+        let invokeExpr = cs.callStmt.getInvokeExpr();
+        if (cs.args === undefined) {
+            return;
+        }
+        if (cs.args[0] instanceof Constant_1.StringConstant) {
+            let workerfile = this.getFileByPath(callstmt, cs.args[0]);
+            if (workerfile === null) {
+                return;
+            }
+            let defaultArkMethod = workerfile.getDefaultClass().getDefaultArkMethod();
+            if (defaultArkMethod === null) {
+                return;
+            }
+            let cfg = defaultArkMethod.getCfg();
+            if (cfg === undefined) {
+                return;
+            }
+            let stmts = cfg.getStmts();
+            for (let stmt of stmts) {
+                // Find the assignment statement where the onmessage function is assigned to the worker object.
+                if (!(stmt instanceof Stmt_1.ArkAssignStmt)) {
+                    continue;
+                }
+                if (stmt.getLeftOp() instanceof Ref_1.ArkInstanceFieldRef && stmt.getLeftOp().getFieldName() === Const_1.ONMESSAGEFUNCNAME) {
+                    let cgnode = this.cg.getCallGraphNodeByMethod(stmt.getRightOp().getType().getMethodSignature());
+                    this.workerObj2CGNodeMap.set(invokeExpr.getBase(), cgnode);
+                }
+            }
+        }
+        return;
+    }
+    getWorkerObj2CGNodeMap() {
+        return this.workerObj2CGNodeMap;
+    }
+    getFileByPath(callstmt, filePath) {
+        let declaringarkfile = callstmt.getCfg().getDeclaringMethod().getDeclaringArkClass().getDeclaringArkFile();
+        const scene = declaringarkfile.getScene();
+        let filepath = filePath.toString().replace('../', '').replace('./', '').replace("'", '').replace("'", '');
+        filepath = filepath.substring(filepath.indexOf('ets'));
+        if (/\.e?ts$/.test(filepath)) {
+            const fileSignature = new __1.FileSignature(declaringarkfile.getFileSignature().getProjectName(), filepath);
+            return scene.getFile(fileSignature);
+        }
+        return null;
+    }
+}
+exports.WorkerPlugin = WorkerPlugin;

package/lib/core/common/Const.d.ts

@@ -21,4 +21,8 @@ export declare const TEMP_LOCAL_PREFIX = "%";
 export declare const LEXICAL_ENV_NAME_PREFIX: string;
 export declare const ARKTS_STATIC_MARK = "use static";
 export declare const MAKEOBSERVED = "makeObserved";
+export declare const CONSTRUCTORFUCNNAME = "constructor";
+export declare const POSTMESSAGEFUNCNAME = "postMessage";
+export declare const POSTMESSAGEWITHSHAREDSENDABLEFUNCNAME = "postMessageWithSharedSendable";
+export declare const ONMESSAGEFUNCNAME = "onmessage";
 //# sourceMappingURL=Const.d.ts.map

package/lib/core/common/Const.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Const.d.ts","sourceRoot":"","sources":["../../../src/core/common/Const.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,cAAc,MAAM,CAAC;AAClC,eAAO,MAAM,WAAW,MAAM,CAAC;AAC/B,eAAO,MAAM,YAAY,QAAQ,CAAC;AAClC,eAAO,MAAM,YAAY,SAAS,CAAC;AAGnC,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,sBAAsB,QAAqB,CAAC;AACzD,eAAO,MAAM,yBAAyB,MAAiB,CAAC;AAGxD,eAAO,MAAM,uBAAuB,QAA6B,CAAC;AAClE,eAAO,MAAM,yBAAyB,QAA2B,CAAC;AAClE,eAAO,MAAM,uBAAuB,QAA2B,CAAC;AAChE,eAAO,MAAM,+BAA+B,QAA4B,CAAC;AACzE,eAAO,MAAM,uBAAuB,QAAqB,CAAC;AAC1D,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAG5C,eAAO,MAAM,oBAAoB,QAA6B,CAAC;AAC/D,eAAO,MAAM,iBAAiB,QAA6B,CAAC;AAC5D,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAGtC,eAAO,MAAM,iBAAiB,MAAc,CAAC;AAC7C,eAAO,MAAM,uBAAuB,QAAiC,CAAC;AAGtE,eAAO,MAAM,iBAAiB,eAAe,CAAC;AAG9C,eAAO,MAAM,YAAY,iBAAiB,CAAC"}
+{"version":3,"file":"Const.d.ts","sourceRoot":"","sources":["../../../src/core/common/Const.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,cAAc,MAAM,CAAC;AAClC,eAAO,MAAM,WAAW,MAAM,CAAC;AAC/B,eAAO,MAAM,YAAY,QAAQ,CAAC;AAClC,eAAO,MAAM,YAAY,SAAS,CAAC;AAGnC,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,sBAAsB,QAAqB,CAAC;AACzD,eAAO,MAAM,yBAAyB,MAAiB,CAAC;AAGxD,eAAO,MAAM,uBAAuB,QAA6B,CAAC;AAClE,eAAO,MAAM,yBAAyB,QAA2B,CAAC;AAClE,eAAO,MAAM,uBAAuB,QAA2B,CAAC;AAChE,eAAO,MAAM,+BAA+B,QAA4B,CAAC;AACzE,eAAO,MAAM,uBAAuB,QAAqB,CAAC;AAC1D,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAG5C,eAAO,MAAM,oBAAoB,QAA6B,CAAC;AAC/D,eAAO,MAAM,iBAAiB,QAA6B,CAAC;AAC5D,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAGtC,eAAO,MAAM,iBAAiB,MAAc,CAAC;AAC7C,eAAO,MAAM,uBAAuB,QAAiC,CAAC;AAGtE,eAAO,MAAM,iBAAiB,eAAe,CAAC;AAG9C,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAC3C,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,qCAAqC,kCAAkC,CAAC;AACrF,eAAO,MAAM,iBAAiB,cAAc,CAAC"}

package/lib/core/common/Const.js

@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.MAKEOBSERVED = exports.ARKTS_STATIC_MARK = exports.LEXICAL_ENV_NAME_PREFIX = exports.TEMP_LOCAL_PREFIX = exports.UNKNOWN_METHOD_NAME = exports.UNKNOWN_FIELD_NAME = exports.UNKNOWN_CLASS_NAME = exports.UNKNOWN_NAMESPACE_NAME = exports.UNKNOWN_FILE_NAME = exports.UNKNOWN_PROJECT_NAME = exports.CALL_SIGNATURE_NAME = exports.ANONYMOUS_METHOD_PREFIX = exports.STATIC_BLOCK_METHOD_NAME_PREFIX = exports.STATIC_INIT_METHOD_NAME = exports.INSTANCE_INIT_METHOD_NAME = exports.DEFAULT_ARK_METHOD_NAME = exports.ANONYMOUS_CLASS_DELIMITER = exports.ANONYMOUS_CLASS_PREFIX = exports.DEFAULT_ARK_CLASS_NAME = exports.DEFAULT_NAME = exports.UNKNOWN_NAME = exports.NAME_PREFIX = exports.NAME_DELIMITER = void 0;
+exports.ONMESSAGEFUNCNAME = exports.POSTMESSAGEWITHSHAREDSENDABLEFUNCNAME = exports.POSTMESSAGEFUNCNAME = exports.CONSTRUCTORFUCNNAME = exports.MAKEOBSERVED = exports.ARKTS_STATIC_MARK = exports.LEXICAL_ENV_NAME_PREFIX = exports.TEMP_LOCAL_PREFIX = exports.UNKNOWN_METHOD_NAME = exports.UNKNOWN_FIELD_NAME = exports.UNKNOWN_CLASS_NAME = exports.UNKNOWN_NAMESPACE_NAME = exports.UNKNOWN_FILE_NAME = exports.UNKNOWN_PROJECT_NAME = exports.CALL_SIGNATURE_NAME = exports.ANONYMOUS_METHOD_PREFIX = exports.STATIC_BLOCK_METHOD_NAME_PREFIX = exports.STATIC_INIT_METHOD_NAME = exports.INSTANCE_INIT_METHOD_NAME = exports.DEFAULT_ARK_METHOD_NAME = exports.ANONYMOUS_CLASS_DELIMITER = exports.ANONYMOUS_CLASS_PREFIX = exports.DEFAULT_ARK_CLASS_NAME = exports.DEFAULT_NAME = exports.UNKNOWN_NAME = exports.NAME_PREFIX = exports.NAME_DELIMITER = void 0;
 // names
 exports.NAME_DELIMITER = '$';
 exports.NAME_PREFIX = '%';
@@ -45,3 +45,7 @@ exports.LEXICAL_ENV_NAME_PREFIX = exports.TEMP_LOCAL_PREFIX + 'closures';
 exports.ARKTS_STATIC_MARK = 'use static';
 // Concurrent const
 exports.MAKEOBSERVED = 'makeObserved';
+exports.CONSTRUCTORFUCNNAME = 'constructor';
+exports.POSTMESSAGEFUNCNAME = 'postMessage';
+exports.POSTMESSAGEWITHSHAREDSENDABLEFUNCNAME = 'postMessageWithSharedSendable';
+exports.ONMESSAGEFUNCNAME = 'onmessage';

package/lib/core/model/ArkMetadata.d.ts

@@ -1,7 +1,8 @@
 import { FullPosition } from '../base/Position';
 export declare enum ArkMetadataKind {
     LEADING_COMMENTS = 0,
-    TRAILING_COMMENTS = 1
+    TRAILING_COMMENTS = 1,
+    ENUM_INIT_TYPE_USER = 2
 }
 export interface ArkMetadataType {
 }
@@ -29,4 +30,9 @@ export declare class CommentsMetadata implements ArkMetadataType {
     constructor(comments: CommentItem[]);
     getComments(): CommentItem[];
 }
+export declare class EnumInitTypeUserMetadata implements ArkMetadataType {
+    private originTypeUser;
+    constructor(originTypeUser: boolean);
+    isUserDefined(): boolean;
+}
 //# sourceMappingURL=ArkMetadata.d.ts.map

package/lib/core/model/ArkMetadata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkMetadata.d.ts","sourceRoot":"","sources":["../../../src/core/model/ArkMetadata.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,oBAAY,eAAe;IACvB,gBAAgB,IAAA;IAChB,iBAAiB,IAAA;CACpB;AAED,MAAM,WAAW,eAAe;CAAG;AAEnC;;;;;;;;;GASG;AACH,qBAAa,WAAW;IACpB,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAEpD,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,eAAe,GAAG,SAAS;IAI/D,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI;CAM1E;AAED,MAAM,MAAM,WAAW,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,YAAY,CAAC;CAC1B,CAAC;AAEF,qBAAa,gBAAiB,YAAW,eAAe;IACpD,OAAO,CAAC,QAAQ,CAAqB;gBAEzB,QAAQ,EAAE,WAAW,EAAE;IAI5B,WAAW,IAAI,WAAW,EAAE;CAGtC"}
+{"version":3,"file":"ArkMetadata.d.ts","sourceRoot":"","sources":["../../../src/core/model/ArkMetadata.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,oBAAY,eAAe;IACvB,gBAAgB,IAAA;IAChB,iBAAiB,IAAA;IACjB,mBAAmB,IAAA;CACtB;AAED,MAAM,WAAW,eAAe;CAAI;AAEpC;;;;;;;;;GASG;AACH,qBAAa,WAAW;IACpB,SAAS,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAEpD,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,eAAe,GAAG,SAAS;IAI/D,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI;CAM1E;AAED,MAAM,MAAM,WAAW,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,YAAY,CAAC;CAC1B,CAAC;AAEF,qBAAa,gBAAiB,YAAW,eAAe;IACpD,OAAO,CAAC,QAAQ,CAAqB;gBAEzB,QAAQ,EAAE,WAAW,EAAE;IAI5B,WAAW,IAAI,WAAW,EAAE;CAGtC;AAED,qBAAa,wBAAyB,YAAW,eAAe;IAC5D,OAAO,CAAC,cAAc,CAAU;gBAEpB,cAAc,EAAE,OAAO;IAI5B,aAAa,IAAI,OAAO;CAGlC"}

package/lib/core/model/ArkMetadata.js

@@ -14,11 +14,12 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.CommentsMetadata = exports.ArkMetadata = exports.ArkMetadataKind = void 0;
+exports.EnumInitTypeUserMetadata = exports.CommentsMetadata = exports.ArkMetadata = exports.ArkMetadataKind = void 0;
 var ArkMetadataKind;
 (function (ArkMetadataKind) {
     ArkMetadataKind[ArkMetadataKind["LEADING_COMMENTS"] = 0] = "LEADING_COMMENTS";
     ArkMetadataKind[ArkMetadataKind["TRAILING_COMMENTS"] = 1] = "TRAILING_COMMENTS";
+    ArkMetadataKind[ArkMetadataKind["ENUM_INIT_TYPE_USER"] = 2] = "ENUM_INIT_TYPE_USER";
 })(ArkMetadataKind = exports.ArkMetadataKind || (exports.ArkMetadataKind = {}));
 /**
  * ArkMetadata
@@ -53,3 +54,12 @@ class CommentsMetadata {
     }
 }
 exports.CommentsMetadata = CommentsMetadata;
+class EnumInitTypeUserMetadata {
+    constructor(originTypeUser) {
+        this.originTypeUser = originTypeUser;
+    }
+    isUserDefined() {
+        return this.originTypeUser;
+    }
+}
+exports.EnumInitTypeUserMetadata = EnumInitTypeUserMetadata;

package/lib/core/model/builder/ArkClassBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkClassBuilder.d.ts","sourceRoot":"","sources":["../../../../src/core/model/builder/ArkClassBuilder.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAmE,MAAM,iBAAiB,CAAC;AAClG,OAAO,EAAE,QAAQ,EAAiB,MAAM,aAAa,CAAC;AA0BtD,MAAM,MAAM,aAAa,GACnB,EAAE,CAAC,gBAAgB,GACnB,EAAE,CAAC,oBAAoB,GACvB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,uBAAuB,CAAC;AAUjC,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,CAItH;AAED,wBAAgB,oCAAoC,CAChD,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,QAAQ,EACtB,MAAM,EAAE,EAAE,CAAC,iBAAiB,EAC5B,UAAU,EAAE,EAAE,CAAC,UAAU,GAC1B,IAAI,CAIN;AAED,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CAOpJ;AAED,wBAAgB,8BAA8B,CAC1C,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,OAAO,EAChB,GAAG,EAAE,QAAQ,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CASN;AAED,wBAAgB,mCAAmC,CAC/C,OAAO,EAAE,aAAa,EACtB,YAAY,EAAE,YAAY,EAC1B,GAAG,EAAE,QAAQ,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CAUN;AAmBD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CA0BvI"}
+{"version":3,"file":"ArkClassBuilder.d.ts","sourceRoot":"","sources":["../../../../src/core/model/builder/ArkClassBuilder.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAmE,MAAM,iBAAiB,CAAC;AAClG,OAAO,EAAE,QAAQ,EAAiB,MAAM,aAAa,CAAC;AA+BtD,MAAM,MAAM,aAAa,GACnB,EAAE,CAAC,gBAAgB,GACnB,EAAE,CAAC,oBAAoB,GACvB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,eAAe,GAClB,EAAE,CAAC,iBAAiB,GACpB,EAAE,CAAC,uBAAuB,CAAC;AAUjC,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,CAItH;AAED,wBAAgB,oCAAoC,CAChD,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,QAAQ,EACtB,MAAM,EAAE,EAAE,CAAC,iBAAiB,EAC5B,UAAU,EAAE,EAAE,CAAC,UAAU,GAC1B,IAAI,CAIN;AAED,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CAOpJ;AAED,wBAAgB,8BAA8B,CAC1C,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,OAAO,EAChB,GAAG,EAAE,QAAQ,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CASN;AAED,wBAAgB,mCAAmC,CAC/C,OAAO,EAAE,aAAa,EACtB,YAAY,EAAE,YAAY,EAC1B,GAAG,EAAE,QAAQ,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,eAAe,CAAC,EAAE,SAAS,GAC5B,IAAI,CAUN;AAmBD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CA0BvI"}

package/lib/core/model/builder/ArkClassBuilder.js

@@ -61,6 +61,10 @@ const Type_1 = require("../../base/Type");
 const BodyBuilder_1 = require("./BodyBuilder");
 const Expr_1 = require("../../base/Expr");
 const ArkBaseModel_1 = require("../ArkBaseModel");
+const Constant_1 = require("../../base/Constant");
+const ValueUtil_1 = require("../../common/ValueUtil");
+const Local_1 = require("../../base/Local");
+const ArkMetadata_1 = require("../ArkMetadata");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ArkClassBuilder');
 function buildDefaultArkClassFromArkFile(arkFile, defaultClass, astRoot) {
     defaultClass.setDeclaringArkFile(arkFile);
@@ -317,6 +321,7 @@ function buildArkClassMembers(clsNode, cls, sourceFile) {
     const staticInitStmts = [];
     const instanceInitStmts = [];
     let staticBlockId = 0;
+    const enumFieldInfo = { lastFieldName: '', curValue: 0, isCurValueValid: true };
     clsNode.members.forEach(member => {
         if (isClassMethod(member)) {
             // these node types have been handled at the beginning of this function by calling buildMethodsForClass
@@ -341,7 +346,7 @@ function buildArkClassMembers(clsNode, cls, sourceFile) {
         }
         if (ohos_typescript_1.default.isEnumMember(member)) {
             const arkField = (0, ArkFieldBuilder_1.buildProperty2ArkField)(member, sourceFile, cls);
-            getInitStmts(staticIRTransformer, arkField, member.initializer);
+            getInitStmts(staticIRTransformer, arkField, member.initializer, enumFieldInfo);
             arkField.getInitializer().forEach(stmt => staticInitStmts.push(stmt));
         }
         else if (ohos_typescript_1.default.isIndexSignatureDeclaration(member)) {
@@ -466,29 +471,57 @@ function buildStaticBlocksForClass(clsNode, cls, sourceFile) {
     });
     return staticBlockMethodSignatures;
 }
-function getInitStmts(transformer, field, initNode) {
+function getInitStmts(transformer, field, initNode, enumFieldInfo) {
+    let initValue;
+    let initPositions;
+    const stmts = [];
     if (initNode) {
-        const stmts = [];
-        let { value: initValue, valueOriginalPositions: initPositions, stmts: initStmts } = transformer.tsNodeToValueAndStmts(initNode);
+        let initStmts = [];
+        ({ value: initValue, valueOriginalPositions: initPositions, stmts: initStmts } = transformer.tsNodeToValueAndStmts(initNode));
         initStmts.forEach(stmt => stmts.push(stmt));
         if (IRUtils_1.IRUtils.moreThanOneAddress(initValue)) {
             ({ value: initValue, valueOriginalPositions: initPositions, stmts: initStmts } = transformer.generateAssignStmtForValue(initValue, initPositions));
             initStmts.forEach(stmt => stmts.push(stmt));
         }
-        const fieldRef = new Ref_1.ArkInstanceFieldRef(transformer.getThisLocal(), field.getSignature());
-        const fieldRefPositions = [Position_1.FullPosition.DEFAULT, Position_1.FullPosition.DEFAULT];
-        const assignStmt = new Stmt_1.ArkAssignStmt(fieldRef, initValue);
-        assignStmt.setOperandOriginalPositions([...fieldRefPositions, ...initPositions]);
-        stmts.push(assignStmt);
-        const fieldSourceCode = field.getCode();
-        const fieldOriginPosition = field.getOriginPosition();
-        for (const stmt of stmts) {
-            stmt.setOriginPositionInfo(fieldOriginPosition);
-            stmt.setOriginalText(fieldSourceCode);
+        if (enumFieldInfo !== undefined) {
+            if (initValue instanceof Constant_1.NumberConstant) {
+                enumFieldInfo.curValue = parseFloat(initValue.getValue()) + 1;
+                enumFieldInfo.isCurValueValid = true;
+            }
+            else {
+                enumFieldInfo.lastFieldName = field.getName();
+                enumFieldInfo.isCurValueValid = false;
+            }
         }
-        field.setInitializer(stmts);
-        if (field.getType() instanceof Type_1.UnknownType) {
-            field.getSignature().setType(initValue.getType());
+    }
+    else if (enumFieldInfo !== undefined) {
+        if (enumFieldInfo.isCurValueValid) {
+            initValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(enumFieldInfo.curValue);
+            enumFieldInfo.curValue += 1;
+        }
+        else {
+            initValue = new Expr_1.ArkNormalBinopExpr(new Local_1.Local(enumFieldInfo.lastFieldName), ValueUtil_1.ValueUtil.getOrCreateNumberConst(1), Expr_1.NormalBinaryOperator.Addition);
+            enumFieldInfo.lastFieldName = field.getName();
         }
+        initPositions = [Position_1.FullPosition.DEFAULT];
+        field.setMetadata(ArkMetadata_1.ArkMetadataKind.ENUM_INIT_TYPE_USER, new ArkMetadata_1.EnumInitTypeUserMetadata(false));
+    }
+    else {
+        return;
+    }
+    const fieldRef = new Ref_1.ArkInstanceFieldRef(transformer.getThisLocal(), field.getSignature());
+    const fieldRefPositions = [Position_1.FullPosition.DEFAULT, Position_1.FullPosition.DEFAULT];
+    const assignStmt = new Stmt_1.ArkAssignStmt(fieldRef, initValue);
+    assignStmt.setOperandOriginalPositions([...fieldRefPositions, ...initPositions]);
+    stmts.push(assignStmt);
+    const fieldSourceCode = field.getCode();
+    const fieldOriginPosition = field.getOriginPosition();
+    for (const stmt of stmts) {
+        stmt.setOriginPositionInfo(fieldOriginPosition);
+        stmt.setOriginalText(fieldSourceCode);
+    }
+    field.setInitializer(stmts);
+    if (field.getType() instanceof Type_1.UnknownType) {
+        field.getSignature().setType(initValue.getType());
     }
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "arkanalyzer",
-  "version": "1.0.69",
-  "commit_id": "34dca3b7",
+  "version": "1.0.71",
+  "commit_id": "e4e5347f",
   "files": [
     "docs",
     "lib",