arkanalyzer 1.0.68 → 1.0.70

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/SdkPlugin.d.ts

@@ -15,6 +15,7 @@ export declare class SdkPlugin implements IPagPlugin {
     pagBuilder: PagBuilder;
     cg: CallGraph;
     private sdkMethodReturnValueMap;
+    private sdkMethodReturnArrayMap;
     private methodParamValueMap;
     private fakeSdkMethodParamDeclaringStmt;
     constructor(pag: Pag, pagBuilder: PagBuilder, cg: CallGraph);
@@ -28,6 +29,9 @@ export declare class SdkPlugin implements IPagPlugin {
     buildSDKFuncPag(funcID: FuncID, sdkMethod: ArkMethod): void;
     private createDummyParamValue;
     private addSDKMethodReturnPagEdge;
+    private addSDKMethodReturnArrayPagEdge;
+    private addSDKMethodReturnUnionPagEdge;
+    private addSDKMethodReturnGenericPagEdge;
     /**
      * process the anonymous method param, create a new CallSite for it and invoke it.
      */

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

@@ -1 +1 @@
-{"version":3,"file":"SdkPlugin.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/SdkPlugin.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,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;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C;;;GAGG;AACH,qBAAa,SAAU,YAAW,UAAU;IACxC,GAAG,EAAE,GAAG,CAAC;IACT,UAAU,EAAE,UAAU,CAAC;IACvB,EAAE,EAAE,SAAS,CAAC;IAEd,OAAO,CAAC,uBAAuB,CAA6C;IAC5E,OAAO,CAAC,mBAAmB,CAAuB;IAClD,OAAO,CAAC,+BAA+B,CAAO;gBAElC,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS;IAS3D,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;IAM5E,OAAO,CAAC,uBAAuB;IAiB/B;;OAEG;IACI,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAMlE,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,yBAAyB;IA4BjC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAsDzB,cAAc,CAAC,MAAM,EAAE,SAAS,GAAG,KAAK,EAAE,GAAG,SAAS;CAIhE"}
+{"version":3,"file":"SdkPlugin.d.ts","sourceRoot":"","sources":["../../../../src/callgraph/pointerAnalysis/plugins/SdkPlugin.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEjD,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;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C;;;GAGG;AACH,qBAAa,SAAU,YAAW,UAAU;IACxC,GAAG,EAAE,GAAG,CAAC;IACT,UAAU,EAAE,UAAU,CAAC;IACvB,EAAE,EAAE,SAAS,CAAC;IAEd,OAAO,CAAC,uBAAuB,CAA6C;IAC5E,OAAO,CAAC,uBAAuB,CAAkD;IACjF,OAAO,CAAC,mBAAmB,CAAuB;IAClD,OAAO,CAAC,+BAA+B,CAAO;gBAElC,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;IAKxD,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAM5E,OAAO,CAAC,uBAAuB;IAiB/B;;OAEG;IACI,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAMlE,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,yBAAyB;IA6CjC,OAAO,CAAC,8BAA8B;IAsCtC,OAAO,CAAC,8BAA8B;IAkCtC,OAAO,CAAC,gCAAgC;IA6BxC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAsDzB,cAAc,CAAC,MAAM,EAAE,SAAS,GAAG,KAAK,EAAE,GAAG,SAAS;CAIhE"}

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

@@ -19,6 +19,7 @@ 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 PTAUtils_1 = require("../PTAUtils");
 /**
@@ -31,6 +32,8 @@ class SdkPlugin {
         this.pagBuilder = pagBuilder;
         this.cg = cg;
         this.sdkMethodReturnValueMap = new Map();
+        this.sdkMethodReturnArrayMap = new Map();
+        this.sdkMethodReturnArrayMap = new Map();
         this.methodParamValueMap = new Map();
         this.fakeSdkMethodParamDeclaringStmt = new Stmt_1.ArkAssignStmt(new Local_1.Local(''), new Local_1.Local(''));
     }
@@ -83,6 +86,23 @@ class SdkPlugin {
     }
     addSDKMethodReturnPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes) {
         let returnType = calleeMethod.getReturnType();
+        if (returnType instanceof Type_1.ArrayType && cs.callStmt instanceof Stmt_1.ArkAssignStmt) {
+            // Handling the return value of collections.Array.creat, return type is ArrayType
+            this.addSDKMethodReturnArrayPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes);
+            return;
+        }
+        if (returnType instanceof Type_1.UnionType && cs.callStmt instanceof Stmt_1.ArkAssignStmt) {
+            // Handling the return value of ArkTSUtils.ASON.parse, return type is UnionType
+            // find real type in UnionType
+            this.addSDKMethodReturnUnionPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes);
+            return;
+        }
+        if (returnType instanceof Type_1.GenericType && cs.callStmt instanceof Stmt_1.ArkAssignStmt) {
+            // Handling the return value of UIUtils.makeObserved, return type is GenericType
+            // find real type in callsite realGenericTypes
+            this.addSDKMethodReturnGenericPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes);
+            return;
+        }
         if (!(returnType instanceof Type_1.ClassType) || !(cs.callStmt instanceof Stmt_1.ArkAssignStmt)) {
             return;
         }
@@ -105,6 +125,100 @@ class SdkPlugin {
         srcNodes.push(srcPagNode.getID());
         return;
     }
+    addSDKMethodReturnArrayPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes) {
+        var _a;
+        let returnType = calleeMethod.getReturnType();
+        let callstmt = cs.callStmt;
+        let arraycidMap = this.sdkMethodReturnArrayMap.get(calleeMethod);
+        if (!arraycidMap) {
+            arraycidMap = new Map();
+        }
+        let newArrayExpr = arraycidMap.get(calleeCid);
+        if (!newArrayExpr) {
+            let staticInvokeExpr = callstmt.getRightOp();
+            if (!(staticInvokeExpr instanceof Expr_1.ArkStaticInvokeExpr)) {
+                return;
+            }
+            if (((_a = staticInvokeExpr.getMethodSignature().getDeclaringClassSignature().getDeclaringNamespaceSignature()) === null || _a === void 0 ? void 0 : _a.getNamespaceName()) === 'collections') {
+                let realtypes = staticInvokeExpr.getRealGenericTypes();
+                if (realtypes !== undefined && realtypes.length > 0) {
+                    // create new array with real type
+                    newArrayExpr = new Expr_1.ArkNewArrayExpr(realtypes[0], staticInvokeExpr.getArg(0));
+                }
+                else {
+                    // create new array with base type
+                    newArrayExpr = new Expr_1.ArkNewArrayExpr(returnType.getBaseType(), staticInvokeExpr.getArg(0));
+                }
+            }
+        }
+        if (newArrayExpr === undefined) {
+            return;
+        }
+        arraycidMap.set(calleeCid, newArrayExpr);
+        this.sdkMethodReturnArrayMap.set(calleeMethod, arraycidMap);
+        let srcPagNode = this.pagBuilder.getOrNewPagNode(calleeCid, newArrayExpr);
+        let dstPagNode = this.pagBuilder.getOrNewPagNode(callerCid, callstmt.getLeftOp(), cs.callStmt);
+        this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Address, cs.callStmt);
+        srcNodes.push(srcPagNode.getID());
+        return;
+    }
+    addSDKMethodReturnUnionPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes) {
+        let returnType = calleeMethod.getReturnType();
+        let callstmt = cs.callStmt;
+        let cidMap = this.sdkMethodReturnValueMap.get(calleeMethod);
+        if (!cidMap) {
+            cidMap = new Map();
+        }
+        let newExpr = cidMap.get(calleeCid);
+        if (!newExpr) {
+            let types = returnType.getTypes();
+            for (let uniontype of types) {
+                if (uniontype instanceof Type_1.AliasType && uniontype.getOriginalType() instanceof Type_1.ClassType) {
+                    let classtype = uniontype.getOriginalType();
+                    newExpr = new Expr_1.ArkNewExpr(classtype);
+                }
+                if (uniontype instanceof Type_1.ClassType) {
+                    newExpr = new Expr_1.ArkNewExpr(uniontype);
+                }
+            }
+        }
+        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, callstmt.getLeftOp(), cs.callStmt);
+        this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Address, cs.callStmt);
+        srcNodes.push(srcPagNode.getID());
+        return;
+    }
+    addSDKMethodReturnGenericPagEdge(cs, callerCid, calleeCid, calleeMethod, srcNodes) {
+        if (calleeMethod.getName() === Const_1.MAKEOBSERVED) {
+            let callstmt = cs.callStmt;
+            let cidMap = this.sdkMethodReturnValueMap.get(calleeMethod);
+            if (!cidMap) {
+                cidMap = new Map();
+            }
+            let newExpr = cidMap.get(calleeCid);
+            if (!newExpr && cs.args !== undefined && cs.args.length > 0) {
+                let type = cs.args[0].getType();
+                if (type instanceof Type_1.ClassType) {
+                    newExpr = new Expr_1.ArkNewExpr(type);
+                }
+            }
+            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, callstmt.getLeftOp(), cs.callStmt);
+            this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Address, cs.callStmt);
+            srcNodes.push(srcPagNode.getID());
+            return;
+        }
+    }
     /**
      * process the anonymous method param, create a new CallSite for it and invoke it.
      */

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

@@ -20,4 +20,9 @@ export declare const UNKNOWN_METHOD_NAME = "";
 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"}
+{"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.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 = '%';
@@ -43,3 +43,9 @@ exports.TEMP_LOCAL_PREFIX = exports.NAME_PREFIX;
 exports.LEXICAL_ENV_NAME_PREFIX = exports.TEMP_LOCAL_PREFIX + 'closures';
 // ArkTS version
 exports.ARKTS_STATIC_MARK = 'use static';
+// Concurrent const
+exports.MAKEOBSERVED = 'makeObserved';
+exports.CONSTRUCTORFUCNNAME = 'constructor';
+exports.POSTMESSAGEFUNCNAME = 'postMessage';
+exports.POSTMESSAGEWITHSHAREDSENDABLEFUNCNAME = 'postMessageWithSharedSendable';
+exports.ONMESSAGEFUNCNAME = 'onmessage';

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "arkanalyzer",
-  "version": "1.0.68",
-  "commit_id": "d2543c9c",
+  "version": "1.0.70",
+  "commit_id": "2a5b916e",
   "files": [
     "docs",
     "lib",