arkanalyzer 1.0.72 → 1.0.74

package/lib/callgraph/pointerAnalysis/Pag.js

@@ -1,949 +1,949 @@
-"use strict";
-/*
- * Copyright (c) 2024-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.
- */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.InterFuncPag = exports.FuncPag = exports.Pag = exports.PagGlobalThisNode = exports.PagFuncNode = exports.PagParamNode = exports.PagNewContainerExprNode = exports.PagNewExprNode = exports.PagConstantNode = exports.PagArrayNode = exports.PagThisRefNode = exports.PagStaticFieldNode = exports.PagInstanceFieldNode = exports.PagLocalNode = exports.PagNode = exports.PagNodeKind = exports.ThisPagEdge = exports.WritePagEdge = exports.LoadPagEdge = exports.CopyPagEdge = exports.AddrPagEdge = exports.PagEdge = exports.PagEdgeKind = void 0;
-const BaseExplicitGraph_1 = require("../../core/graph/BaseExplicitGraph");
-const Stmt_1 = require("../../core/base/Stmt");
-const Expr_1 = require("../../core/base/Expr");
-const Ref_1 = require("../../core/base/Ref");
-const Local_1 = require("../../core/base/Local");
-const GraphPrinter_1 = require("../../save/GraphPrinter");
-const PrinterBuilder_1 = require("../../save/PrinterBuilder");
-const Constant_1 = require("../../core/base/Constant");
-const Type_1 = require("../../core/base/Type");
-const logger_1 = __importStar(require("../../utils/logger"));
-const TSConst_1 = require("../../core/common/TSConst");
-const ArkExport_1 = require("../../core/model/ArkExport");
-const PTAUtils_1 = require("./PTAUtils");
-const PointerAnalysisConfig_1 = require("./PointerAnalysisConfig");
-const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
-/*
- * Implementation of pointer-to assignment graph for pointer analysis
- */
-var PagEdgeKind;
-(function (PagEdgeKind) {
-    PagEdgeKind[PagEdgeKind["Address"] = 0] = "Address";
-    PagEdgeKind[PagEdgeKind["Copy"] = 1] = "Copy";
-    PagEdgeKind[PagEdgeKind["Load"] = 2] = "Load";
-    PagEdgeKind[PagEdgeKind["Write"] = 3] = "Write";
-    PagEdgeKind[PagEdgeKind["This"] = 4] = "This";
-    PagEdgeKind[PagEdgeKind["Unknown"] = 5] = "Unknown";
-    PagEdgeKind[PagEdgeKind["InterProceduralCopy"] = 6] = "InterProceduralCopy";
-})(PagEdgeKind = exports.PagEdgeKind || (exports.PagEdgeKind = {}));
-class PagEdge extends BaseExplicitGraph_1.BaseEdge {
-    constructor(n, d, k, s) {
-        super(n, d, k);
-        this.stmt = s;
-    }
-    getDotAttr() {
-        var _a;
-        switch (this.getKind()) {
-            case PagEdgeKind.Address:
-                return 'color=green';
-            case PagEdgeKind.Copy:
-                if (((_a = this.stmt) === null || _a === void 0 ? void 0 : _a.getInvokeExpr()) !== undefined || this.stmt instanceof Stmt_1.ArkReturnStmt) {
-                    return 'color=black,style=dotted';
-                }
-                return 'color=black';
-            case PagEdgeKind.Load:
-                return 'color=red';
-            case PagEdgeKind.Write:
-                return 'color=blue';
-            case PagEdgeKind.This:
-                return 'color=orange';
-            case PagEdgeKind.InterProceduralCopy:
-                return 'color=purple,style=dashed';
-            default:
-                return 'color=black';
-        }
-    }
-}
-exports.PagEdge = PagEdge;
-class AddrPagEdge extends PagEdge {
-    constructor(n, d, s) {
-        super(n, d, PagEdgeKind.Address, s);
-    }
-}
-exports.AddrPagEdge = AddrPagEdge;
-class CopyPagEdge extends PagEdge {
-    constructor(n, d, s) {
-        super(n, d, PagEdgeKind.Copy, s);
-    }
-}
-exports.CopyPagEdge = CopyPagEdge;
-class LoadPagEdge extends PagEdge {
-    constructor(n, d, s) {
-        super(n, d, PagEdgeKind.Copy, s);
-    }
-}
-exports.LoadPagEdge = LoadPagEdge;
-class WritePagEdge extends PagEdge {
-    constructor(n, d, s) {
-        super(n, d, PagEdgeKind.Write, s);
-    }
-}
-exports.WritePagEdge = WritePagEdge;
-class ThisPagEdge extends PagEdge {
-    constructor(n, d, s) {
-        super(n, d, PagEdgeKind.This, s);
-    }
-}
-exports.ThisPagEdge = ThisPagEdge;
-var PagNodeKind;
-(function (PagNodeKind) {
-    PagNodeKind[PagNodeKind["HeapObj"] = 0] = "HeapObj";
-    PagNodeKind[PagNodeKind["LocalVar"] = 1] = "LocalVar";
-    PagNodeKind[PagNodeKind["RefVar"] = 2] = "RefVar";
-    PagNodeKind[PagNodeKind["Param"] = 3] = "Param";
-    PagNodeKind[PagNodeKind["ThisRef"] = 4] = "ThisRef";
-    PagNodeKind[PagNodeKind["Function"] = 5] = "Function";
-    PagNodeKind[PagNodeKind["GlobalThis"] = 6] = "GlobalThis";
-    PagNodeKind[PagNodeKind["ExportInfo"] = 7] = "ExportInfo";
-})(PagNodeKind = exports.PagNodeKind || (exports.PagNodeKind = {}));
-class PagNode extends BaseExplicitGraph_1.BaseNode {
-    constructor(id, cid = undefined, value, k, s) {
-        super(id, k);
-        this.cid = cid;
-        this.value = value;
-        this.stmt = s;
-        let ptaConfig = PointerAnalysisConfig_1.PointerAnalysisConfig.getInstance();
-        this.pointTo = new ptaConfig.ptsCollectionCtor();
-    }
-    getBasePt() {
-        return this.basePt;
-    }
-    setBasePt(pt) {
-        this.basePt = pt;
-    }
-    getCid() {
-        if (this.cid === undefined) {
-            throw new Error('cid is undefine');
-        }
-        return this.cid;
-    }
-    setCid(cid) {
-        this.cid = cid;
-    }
-    setStmt(s) {
-        this.stmt = s;
-    }
-    getStmt() {
-        return this.stmt;
-    }
-    hasOutgoingCopyEdge() {
-        return this.copyOutEdges.size !== 0;
-    }
-    getOutgoingCopyEdges() {
-        return this.copyOutEdges;
-    }
-    getIncomingCopyEdges() {
-        return this.copyInEdges;
-    }
-    getOutgoingLoadEdges() {
-        return this.loadOutEdges;
-    }
-    getOutgoingWriteEdges() {
-        return this.writeOutEdges;
-    }
-    getIncomingWriteEdges() {
-        return this.writeInEdges;
-    }
-    getOutgoingThisEdges() {
-        return this.thisOutEdges;
-    }
-    getIncomingThisEdges() {
-        return this.thisInEdges;
-    }
-    addAddressInEdge(e) {
-        this.addressInEdges === undefined ? (this.addressInEdges = new Set()) : undefined;
-        this.addressInEdges.add(e);
-        this.addIncomingEdge(e);
-    }
-    addAddressOutEdge(e) {
-        this.addressOutEdges === undefined ? (this.addressOutEdges = new Set()) : undefined;
-        this.addressOutEdges.add(e);
-        this.addOutgoingEdge(e);
-    }
-    addCopyInEdge(e) {
-        this.copyInEdges === undefined ? (this.copyInEdges = new Set()) : undefined;
-        this.copyInEdges.add(e);
-        this.addIncomingEdge(e);
-    }
-    addCopyOutEdge(e) {
-        this.copyOutEdges === undefined ? (this.copyOutEdges = new Set()) : undefined;
-        this.copyOutEdges.add(e);
-        this.addOutgoingEdge(e);
-    }
-    addLoadInEdge(e) {
-        this.loadInEdges === undefined ? (this.loadInEdges = new Set()) : undefined;
-        this.loadInEdges.add(e);
-        this.addIncomingEdge(e);
-    }
-    addLoadOutEdge(e) {
-        this.loadOutEdges === undefined ? (this.loadOutEdges = new Set()) : undefined;
-        this.loadOutEdges.add(e);
-        this.addOutgoingEdge(e);
-    }
-    addWriteInEdge(e) {
-        var _a;
-        this.writeInEdges = (_a = this.writeInEdges) !== null && _a !== void 0 ? _a : new Set();
-        this.writeInEdges.add(e);
-        this.addIncomingEdge(e);
-    }
-    addWriteOutEdge(e) {
-        var _a;
-        this.writeOutEdges = (_a = this.writeOutEdges) !== null && _a !== void 0 ? _a : new Set();
-        this.writeOutEdges.add(e);
-        this.addOutgoingEdge(e);
-    }
-    addThisInEdge(e) {
-        var _a;
-        this.thisInEdges = (_a = this.thisInEdges) !== null && _a !== void 0 ? _a : new Set();
-        this.thisInEdges.add(e);
-        this.addIncomingEdge(e);
-    }
-    addThisOutEdge(e) {
-        var _a;
-        this.thisOutEdges = (_a = this.thisOutEdges) !== null && _a !== void 0 ? _a : new Set();
-        this.thisOutEdges.add(e);
-        this.addOutgoingEdge(e);
-    }
-    getValue() {
-        return this.value;
-    }
-    getPointTo() {
-        return this.pointTo;
-    }
-    addPointToElement(node) {
-        this.pointTo.insert(node);
-    }
-    setPointTo(pts) {
-        this.pointTo = pts;
-    }
-    getOutEdges() {
-        return {
-            AddressEdge: this.addressOutEdges,
-            CopyEdge: this.copyOutEdges,
-            LoadEdge: this.loadOutEdges,
-            WriteEdge: this.writeOutEdges,
-        };
-    }
-    getClonedFrom() {
-        return this.clonedFrom;
-    }
-    setClonedFrom(id) {
-        this.clonedFrom = id;
-    }
-    getDotAttr() {
-        switch (this.getKind()) {
-            case PagNodeKind.HeapObj:
-            case PagNodeKind.Function:
-            case PagNodeKind.GlobalThis:
-                return 'shape=box3d';
-            case PagNodeKind.LocalVar:
-                return 'shape=box';
-            case PagNodeKind.RefVar:
-                return 'shape=component';
-            case PagNodeKind.Param:
-                return 'shape=box';
-            case PagNodeKind.ExportInfo:
-                return 'shape=tab,color=purple';
-            case PagNodeKind.ThisRef:
-                return 'shape=box,color=orange';
-            default:
-                return 'shape=box';
-        }
-    }
-    getDotLabel() {
-        var _a;
-        let label;
-        let param;
-        label = PagNodeKind[this.getKind()];
-        label = label + ` ID: ${this.getID()} Ctx: ${this.cid}`;
-        if (this.basePt) {
-            label = label + ` base:{${this.basePt}}`;
-        }
-        label = label + ` pts:{${Array.from(this.pointTo).join(',')}}`;
-        if (this.getKind() === PagNodeKind.Param) {
-            param = this.value;
-            label = label + `\nParam#${param.getIndex()} ${param.toString()}`;
-        }
-        if (this.getKind() === PagNodeKind.ThisRef) {
-            label = label + `\n${this.value.toString()}`;
-        }
-        if (this.getKind() === PagNodeKind.Function) {
-            label = label + ` thisPt:{${this.getThisPt()}}`;
-        }
-        if (this.stmt) {
-            label = label + `\n${this.stmt.toString()}`;
-            let method = (_a = this.stmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod().getSubSignature().toString();
-            if (method) {
-                label = label + '\n' + method;
-            }
-            label = label + ' ln: ' + this.stmt.getOriginPositionInfo().getLineNo();
-        }
-        else if (this.value) {
-            label += `\n${this.value.toString()}`;
-        }
-        return label;
-    }
-}
-exports.PagNode = PagNode;
-class PagLocalNode extends PagNode {
-    constructor(id, cid = undefined, value, stmt) {
-        super(id, cid, value, PagNodeKind.LocalVar, stmt);
-        this.storageLinked = false;
-        this.sdkParam = false;
-    }
-    addRelatedDynCallSite(cs) {
-        var _a;
-        this.relatedDynamicCallSite = (_a = this.relatedDynamicCallSite) !== null && _a !== void 0 ? _a : new Set();
-        this.relatedDynamicCallSite.add(cs);
-    }
-    getRelatedDynCallSites() {
-        var _a;
-        return (_a = this.relatedDynamicCallSite) !== null && _a !== void 0 ? _a : new Set();
-    }
-    addRelatedUnknownCallSite(cs) {
-        var _a;
-        this.relatedUnknownCallSite = (_a = this.relatedUnknownCallSite) !== null && _a !== void 0 ? _a : new Set();
-        this.relatedUnknownCallSite.add(cs);
-    }
-    getRelatedUnknownCallSites() {
-        var _a;
-        return (_a = this.relatedUnknownCallSite) !== null && _a !== void 0 ? _a : new Set();
-    }
-    setStorageLink(storageType, propertyName) {
-        this.storageLinked = true;
-        this.storageType = storageType;
-        this.propertyName = propertyName;
-    }
-    getStorage() {
-        return {
-            StorageType: this.storageType,
-            PropertyName: this.propertyName,
-        };
-    }
-    isStorageLinked() {
-        return this.storageLinked;
-    }
-    setSdkParam() {
-        this.sdkParam = true;
-    }
-    isSdkParam() {
-        return this.sdkParam;
-    }
-}
-exports.PagLocalNode = PagLocalNode;
-class PagInstanceFieldNode extends PagNode {
-    constructor(id, cid = undefined, instanceFieldRef, stmt) {
-        super(id, cid, instanceFieldRef, PagNodeKind.RefVar, stmt);
-    }
-}
-exports.PagInstanceFieldNode = PagInstanceFieldNode;
-class PagStaticFieldNode extends PagNode {
-    constructor(id, cid = undefined, staticFieldRef, stmt) {
-        super(id, cid, staticFieldRef, PagNodeKind.RefVar, stmt);
-    }
-}
-exports.PagStaticFieldNode = PagStaticFieldNode;
-class PagThisRefNode extends PagNode {
-    constructor(id, cid = undefined, thisRef) {
-        super(id, cid, thisRef, PagNodeKind.ThisRef);
-        this.pointToNode = [];
-    }
-    getThisPTNode() {
-        return this.pointToNode;
-    }
-    addPTNode(ptNode) {
-        this.pointToNode.push(ptNode);
-    }
-}
-exports.PagThisRefNode = PagThisRefNode;
-class PagArrayNode extends PagNode {
-    constructor(id, cid = undefined, expr, stmt) {
-        super(id, cid, expr, PagNodeKind.LocalVar, stmt);
-        this.base = expr.getBase();
-    }
-}
-exports.PagArrayNode = PagArrayNode;
-class PagConstantNode extends PagNode {
-    constructor(id, cid = undefined, constant, stmt) {
-        super(id, cid, constant, PagNodeKind.LocalVar, stmt);
-    }
-}
-exports.PagConstantNode = PagConstantNode;
-/**
- * below is heapObj like Node
- */
-class PagNewExprNode extends PagNode {
-    constructor(id, cid = undefined, expr, stmt) {
-        super(id, cid, expr, PagNodeKind.HeapObj, stmt);
-    }
-    addFieldNode(fieldSignature, nodeID) {
-        if (!this.fieldNodes) {
-            this.fieldNodes = new Map();
-        }
-        if (this.fieldNodes.has(fieldSignature.getFieldSignature().toString())) {
-            return false;
-        }
-        this.fieldNodes.set(fieldSignature.getFieldSignature().toString(), nodeID);
-        return true;
-    }
-    getFieldNode(fieldSignature) {
-        if (!this.fieldNodes) {
-            return undefined;
-        }
-        return this.fieldNodes.get(fieldSignature.getFieldSignature().toString());
-    }
-    getFieldNodes() {
-        if (!this.fieldNodes) {
-            return undefined;
-        }
-        return this.fieldNodes;
-    }
-}
-exports.PagNewExprNode = PagNewExprNode;
-class PagNewContainerExprNode extends PagNode {
-    constructor(id, cid = undefined, expr, stmt) {
-        super(id, cid, expr, PagNodeKind.HeapObj, stmt);
-    }
-    addElementNode(nodeID) {
-        if (!this.elementNode) {
-            this.elementNode = nodeID;
-        }
-        return true;
-    }
-    getElementNode() {
-        if (this.elementNode) {
-            return this.elementNode;
-        }
-        return undefined;
-    }
-}
-exports.PagNewContainerExprNode = PagNewContainerExprNode;
-class PagParamNode extends PagNode {
-    constructor(id, cid = undefined, r, stmt) {
-        super(id, cid, r, PagNodeKind.Param, stmt);
-    }
-}
-exports.PagParamNode = PagParamNode;
-class PagFuncNode extends PagNode {
-    // TODO: may add obj interface
-    constructor(id, cid = undefined, r, stmt, method, thisInstanceID) {
-        super(id, cid, r, PagNodeKind.Function, stmt);
-        this.argsOffset = 0;
-        if (method) {
-            this.methodSignature = method;
-            this.methodType = (0, PTAUtils_1.getBuiltInApiType)(method);
-        }
-        if (thisInstanceID) {
-            this.thisPt = thisInstanceID;
-        }
-    }
-    setMethod(method) {
-        this.methodSignature = method;
-        this.methodType = (0, PTAUtils_1.getBuiltInApiType)(method);
-    }
-    getMethod() {
-        return this.methodSignature;
-    }
-    setThisPt(thisPt) {
-        this.thisPt = thisPt;
-    }
-    getThisPt() {
-        return this.thisPt;
-    }
-    setCS(callSite) {
-        this.originCallSite = callSite;
-    }
-    getCS() {
-        return this.originCallSite;
-    }
-    setArgsOffset(offset) {
-        this.argsOffset = offset;
-    }
-    getArgsOffset() {
-        return this.argsOffset;
-    }
-    getMethodType() {
-        return this.methodType;
-    }
-    setOriginCid(cid) {
-        this.originCid = cid;
-    }
-    getOriginCid() {
-        return this.originCid;
-    }
-}
-exports.PagFuncNode = PagFuncNode;
-/**
- * almost same as PagNewExprNode, used only for globalThis and its field reference
- */
-class PagGlobalThisNode extends PagNode {
-    constructor(id, cid = undefined, r, stmt) {
-        super(id, cid, r, PagNodeKind.GlobalThis, stmt);
-        this.fieldNodes = new Map();
-    }
-    addFieldNode(fieldSignature, nodeID) {
-        if (this.fieldNodes.has(fieldSignature.getFieldSignature().toString())) {
-            return false;
-        }
-        this.fieldNodes.set(fieldSignature.getFieldSignature().toString(), nodeID);
-        return true;
-    }
-    getFieldNode(fieldSignature) {
-        return this.fieldNodes.get(fieldSignature.getFieldSignature().toString());
-    }
-    getFieldNodes() {
-        return this.fieldNodes;
-    }
-}
-exports.PagGlobalThisNode = PagGlobalThisNode;
-class Pag extends BaseExplicitGraph_1.BaseExplicitGraph {
-    constructor() {
-        super(...arguments);
-        this.contextValueToIdMap = new Map();
-        // contextBaseToIdMap will only be used in instance field
-        // Value: instance field base value, NodeID: abstract nodes
-        this.contextBaseToIdMap = new Map();
-        // for reanalyze, will return new addr edges
-        this.stashAddrEdge = new Set();
-        this.addrEdge = new Set();
-        this.clonedNodeMap = new Map();
-    }
-    getCG() {
-        return this.cg;
-    }
-    /*
-     * Clone a PagNode with same cid/value/stmt,
-     * but different Node ID
-     */
-    getOrClonePagNode(src, basePt) {
-        if (src.getBasePt() !== undefined) {
-            throw new Error('This is a cloned ref node, can not be cloned again');
-        }
-        let cloneSet = this.clonedNodeMap.get(src.getID());
-        if (!cloneSet) {
-            cloneSet = new Map();
-            this.clonedNodeMap.set(src.getID(), cloneSet);
-        }
-        else {
-            let nodeID = cloneSet.get(basePt);
-            if (nodeID) {
-                return this.getNode(nodeID);
-            }
-        }
-        // Not found
-        let cloneNode = this.addPagNode(src.getCid(), src.getValue(), src.getStmt(), false);
-        cloneNode.setClonedFrom(src.getID());
-        cloneSet.set(basePt, cloneNode.getID());
-        return cloneNode;
-    }
-    getOrClonePagFieldNode(src, basePt) {
-        let baseNode = this.getNode(basePt);
-        if (baseNode instanceof PagNewExprNode || baseNode instanceof PagGlobalThisNode) {
-            // check if real field node has been created with basePT, using FieldSignature as key
-            let existedNode = baseNode.getFieldNode(src.getValue());
-            if (existedNode) {
-                return this.getNode(existedNode);
-            }
-            let fieldNode = this.getOrClonePagNode(src, basePt);
-            baseNode.addFieldNode(src.getValue(), fieldNode.getID());
-            fieldNode.setBasePt(basePt);
-            return fieldNode;
-        }
-        else {
-            logger.error(`Error clone field node ${src.getValue()}`);
-            return undefined;
-        }
-    }
-    getOrClonePagContainerFieldNode(basePt, base, className) {
-        let baseNode = this.getNode(basePt);
-        if (baseNode instanceof PagNewContainerExprNode) {
-            // check if Array Ref real node has been created or not, if not: create a real Array Ref node
-            let existedNode = baseNode.getElementNode();
-            let fieldNode;
-            let fieldRef;
-            if (existedNode) {
-                return this.getNode(existedNode);
-            }
-            switch (className) {
-                case 'Array':
-                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.ARRAY_FIELD_SIGNATURE);
-                    break;
-                case 'Set':
-                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.SET_FIELD_SIGNATURE);
-                    break;
-                case 'Map':
-                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.MAP_FIELD_SIGNATURE);
-                    break;
-                default:
-                    logger.error(`Error clone array field node ${className}`);
-                    return undefined;
-            }
-            fieldNode = this.addPagNode(0, fieldRef);
-            baseNode.addElementNode(fieldNode.getID());
-            fieldNode.setBasePt(basePt);
-            return fieldNode;
-        }
-        else if (baseNode instanceof PagNewExprNode) {
-            // In some cases, the value of a variable of array type may not be an explicit array object.
-            // For example, it could be a return value of a function (assuming that the call depth has
-            // exceeded the k-limit).
-            // In such situation, the `baseNode` will be a PagNewExprNode instead of a PagNewContainerExprNode,
-            // and a warning will be raised.
-            logger.warn(`[PTA]: Trying to clone an array from a PagNewExprNode instead of a PagNewContainerExprNode`);
-        }
-        else {
-            throw new Error(`Error clone array field node ${baseNode.getValue()}`);
-        }
-        return undefined;
-    }
-    getOrClonePagFuncNode(basePt) {
-        let baseNode = this.getNode(basePt);
-        if (baseNode instanceof PagFuncNode) {
-            let clonedFuncNode = this.getOrClonePagNode(baseNode, basePt);
-            return clonedFuncNode;
-        }
-        else {
-            logger.error(`Error clone func node ${baseNode.getValue()}`);
-            return undefined;
-        }
-    }
-    addPagNode(cid, value, stmt, refresh = true) {
-        let id = this.nodeNum + 1;
-        let pagNode;
-        if (value instanceof Local_1.Local) {
-            pagNode = this.handleLocalNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Ref_1.ArkInstanceFieldRef) {
-            pagNode = this.handleInstanceFieldNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Ref_1.ArkStaticFieldRef) {
-            pagNode = this.handleStaticFieldNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Ref_1.ArkArrayRef) {
-            pagNode = new PagArrayNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Expr_1.ArkNewExpr) {
-            pagNode = this.handleNewExprNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Expr_1.ArkNewArrayExpr) {
-            pagNode = new PagNewContainerExprNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Ref_1.ArkParameterRef) {
-            pagNode = new PagParamNode(id, cid, value, stmt);
-        }
-        else if (value instanceof Ref_1.ArkThisRef) {
-            pagNode = new PagThisRefNode(id, cid, value);
-        }
-        else if (value instanceof Constant_1.Constant) {
-            pagNode = new PagConstantNode(id, cid, value, stmt);
-        }
-        else {
-            throw new Error('unsupported Value type ' + value.getType().toString());
-        }
-        this.addNode(pagNode);
-        this.addContextOrExportInfoMap(refresh, cid, id, value, pagNode, stmt);
-        return pagNode;
-    }
-    handleLocalNode(id, cid, value, stmt) {
-        const valueType = value.getType();
-        if (valueType instanceof Type_1.FunctionType && value.getDeclaringStmt() === null) {
-            return new PagFuncNode(id, cid, value, stmt, valueType.getMethodSignature());
-        }
-        else if (value.getName() === TSConst_1.GLOBAL_THIS_NAME && value.getDeclaringStmt() == null) {
-            return new PagGlobalThisNode(id, -1, value);
-        }
-        else {
-            return new PagLocalNode(id, cid, value, stmt);
-        }
-    }
-    handleInstanceFieldNode(id, cid, value, stmt) {
-        return this.createFieldNode(id, cid, value, stmt);
-    }
-    handleStaticFieldNode(id, cid, value, stmt) {
-        return this.createFieldNode(id, cid, value, stmt);
-    }
-    createFieldNode(id, cid, value, stmt) {
-        if (value.getType() instanceof Type_1.FunctionType) {
-            return new PagFuncNode(id, cid, value, stmt, value.getType().getMethodSignature());
-        }
-        else {
-            return value instanceof Ref_1.ArkStaticFieldRef ? new PagStaticFieldNode(id, cid, value, stmt) : new PagInstanceFieldNode(id, cid, value, stmt);
-        }
-    }
-    handleNewExprNode(id, cid, value, stmt) {
-        const classSignature = value.getClassType().getClassSignature();
-        if ((0, PTAUtils_1.IsCollectionClass)(classSignature)) {
-            return new PagNewContainerExprNode(id, cid, value, stmt);
-        }
-        else {
-            return new PagNewExprNode(id, cid, value, stmt);
-        }
-    }
-    addContextOrExportInfoMap(refresh, cid, id, value, pagNode, stmt) {
-        if (!(value instanceof ArkExport_1.ExportInfo)) {
-            this.addContextMap(refresh, cid, id, value, stmt, pagNode);
-        }
-        else {
-            this.addExportInfoMap(id, value);
-        }
-    }
-    addExportInfoMap(id, v) {
-        var _a;
-        this.ExportInfoToIdMap = (_a = this.ExportInfoToIdMap) !== null && _a !== void 0 ? _a : new Map();
-        this.ExportInfoToIdMap.set(v, id);
-    }
-    addContextMap(refresh, cid, id, value, stmt, pagNode) {
-        var _a;
-        if (!refresh) {
-            return;
-        }
-        let ctx2NdMap = this.contextValueToIdMap.get(value);
-        if (!ctx2NdMap) {
-            ctx2NdMap = new Map();
-            this.contextValueToIdMap.set(value, ctx2NdMap);
-        }
-        ctx2NdMap.set(cid, id);
-        if (!(value instanceof Ref_1.ArkInstanceFieldRef || value instanceof Ref_1.ArkArrayRef)) {
-            return;
-        }
-        let base = value.getBase();
-        //TODO: remove below once this Local is not uniq in %instInit is fix
-        if (base instanceof Local_1.Local && base.getName() === 'this') {
-            (_a = stmt === null || stmt === void 0 ? void 0 : stmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().forEach(s => {
-                if (s instanceof Stmt_1.ArkAssignStmt && s.getLeftOp() instanceof Local_1.Local && s.getLeftOp().getName() === 'this') {
-                    base = s.getLeftOp();
-                    return;
-                }
-            });
-        }
-        let ctxMap = this.contextBaseToIdMap.get(base);
-        if (ctxMap === undefined) {
-            ctxMap = new Map();
-            ctxMap.set(cid, [pagNode.getID()]);
-        }
-        else {
-            let nodes = ctxMap.get(cid);
-            if (nodes === undefined) {
-                nodes = [pagNode.getID()];
-            }
-            else {
-                nodes.push(pagNode.getID());
-            }
-            ctxMap.set(cid, nodes);
-        }
-        this.contextBaseToIdMap.set(base, ctxMap);
-    }
-    getOrNewThisLocalNode(cid, ptNode, value, s) {
-        if (ptNode !== -1) {
-            return this.getNode(ptNode);
-        }
-        else {
-            return this.getOrNewNode(cid, value, s);
-        }
-    }
-    hasExportNode(v) {
-        var _a;
-        this.ExportInfoToIdMap = (_a = this.ExportInfoToIdMap) !== null && _a !== void 0 ? _a : new Map();
-        return this.ExportInfoToIdMap.get(v);
-    }
-    hasCtxNode(cid, v) {
-        let ctx2nd = this.contextValueToIdMap.get(v);
-        if (!ctx2nd) {
-            return undefined;
-        }
-        let ndId = ctx2nd.get(cid);
-        if (!ndId) {
-            return undefined;
-        }
-        return ndId;
-    }
-    hasCtxRetNode(cid, v) {
-        let ctx2nd = this.contextValueToIdMap.get(v);
-        if (!ctx2nd) {
-            return undefined;
-        }
-        let ndId = ctx2nd.get(cid);
-        if (!ndId) {
-            return undefined;
-        }
-        return ndId;
-    }
-    getOrNewNode(cid, v, s) {
-        let nodeId;
-        // Value
-        if (!(v instanceof ArkExport_1.ExportInfo)) {
-            nodeId = this.hasCtxNode(cid, v);
-        }
-        else {
-            // ExportInfo
-            nodeId = this.hasExportNode(v);
-        }
-        if (nodeId !== undefined) {
-            return this.getNode(nodeId);
-        }
-        return this.addPagNode(cid, v, s);
-    }
-    getNodesByValue(v) {
-        return this.contextValueToIdMap.get(v);
-    }
-    getNodesByBaseValue(v) {
-        return this.contextBaseToIdMap.get(v);
-    }
-    addPagEdge(src, dst, kind, stmt) {
-        // TODO: check if the edge already existing
-        let edge = new PagEdge(src, dst, kind, stmt);
-        if (this.ifEdgeExisting(edge)) {
-            return false;
-        }
-        switch (kind) {
-            case PagEdgeKind.Copy:
-            case PagEdgeKind.InterProceduralCopy:
-                src.addCopyOutEdge(edge);
-                dst.addCopyInEdge(edge);
-                if (src instanceof PagFuncNode || src instanceof PagGlobalThisNode || src instanceof PagNewExprNode || src instanceof PagNewContainerExprNode) {
-                    this.addrEdge.add(edge);
-                    this.stashAddrEdge.add(edge);
-                }
-                break;
-            case PagEdgeKind.Address:
-                src.addAddressOutEdge(edge);
-                dst.addAddressInEdge(edge);
-                this.addrEdge.add(edge);
-                this.stashAddrEdge.add(edge);
-                break;
-            case PagEdgeKind.Write:
-                src.addWriteOutEdge(edge);
-                dst.addWriteInEdge(edge);
-                break;
-            case PagEdgeKind.Load:
-                src.addLoadOutEdge(edge);
-                dst.addLoadInEdge(edge);
-                break;
-            case PagEdgeKind.This:
-                src.addThisOutEdge(edge);
-                dst.addThisInEdge(edge);
-                break;
-            default:
-        }
-        this.edgeNum++;
-        return true;
-    }
-    getAddrEdges() {
-        return this.stashAddrEdge;
-    }
-    resetAddrEdges() {
-        this.stashAddrEdge.clear();
-    }
-    getGraphName() {
-        return 'PAG';
-    }
-    dump(name) {
-        let printer = new GraphPrinter_1.GraphPrinter(this);
-        PrinterBuilder_1.PrinterBuilder.dump(printer, name);
-    }
-}
-exports.Pag = Pag;
-class FuncPag {
-    getInternalEdges() {
-        return this.internalEdges;
-    }
-    addNormalCallSite(cs) {
-        var _a;
-        this.normalCallSites = (_a = this.normalCallSites) !== null && _a !== void 0 ? _a : new Set();
-        this.normalCallSites.add(cs);
-    }
-    getNormalCallSites() {
-        var _a;
-        this.normalCallSites = (_a = this.normalCallSites) !== null && _a !== void 0 ? _a : new Set();
-        return this.normalCallSites;
-    }
-    addDynamicCallSite(cs) {
-        var _a;
-        this.dynamicCallSites = (_a = this.dynamicCallSites) !== null && _a !== void 0 ? _a : new Set();
-        this.dynamicCallSites.add(cs);
-    }
-    getDynamicCallSites() {
-        var _a;
-        this.dynamicCallSites = (_a = this.dynamicCallSites) !== null && _a !== void 0 ? _a : new Set();
-        return this.dynamicCallSites;
-    }
-    addUnknownCallSite(cs) {
-        var _a;
-        this.unknownCallSites = (_a = this.unknownCallSites) !== null && _a !== void 0 ? _a : new Set();
-        this.unknownCallSites.add(cs);
-    }
-    getUnknownCallSites() {
-        var _a;
-        this.unknownCallSites = (_a = this.unknownCallSites) !== null && _a !== void 0 ? _a : new Set();
-        return this.unknownCallSites;
-    }
-    addInternalEdge(stmt, k) {
-        this.internalEdges === undefined ? (this.internalEdges = new Set()) : undefined;
-        let lhOp = stmt.getLeftOp();
-        let rhOp = stmt.getRightOp();
-        if (rhOp instanceof Constant_1.Constant) {
-            return false;
-        }
-        let iEdge = {
-            src: rhOp,
-            dst: lhOp,
-            kind: k,
-            stmt: stmt,
-        };
-        this.internalEdges.add(iEdge);
-        return true;
-    }
-}
-exports.FuncPag = FuncPag;
-class InterFuncPag {
-    constructor() {
-        this.interFuncEdges = new Set();
-    }
-    getInterProceduralEdges() {
-        return this.interFuncEdges;
-    }
-    addToInterProceduralEdgeSet(e) {
-        this.interFuncEdges.add(e);
-    }
-}
-exports.InterFuncPag = InterFuncPag;
+"use strict";
+/*
+ * Copyright (c) 2024-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.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InterFuncPag = exports.FuncPag = exports.Pag = exports.PagGlobalThisNode = exports.PagFuncNode = exports.PagParamNode = exports.PagNewContainerExprNode = exports.PagNewExprNode = exports.PagConstantNode = exports.PagArrayNode = exports.PagThisRefNode = exports.PagStaticFieldNode = exports.PagInstanceFieldNode = exports.PagLocalNode = exports.PagNode = exports.PagNodeKind = exports.ThisPagEdge = exports.WritePagEdge = exports.LoadPagEdge = exports.CopyPagEdge = exports.AddrPagEdge = exports.PagEdge = exports.PagEdgeKind = void 0;
+const BaseExplicitGraph_1 = require("../../core/graph/BaseExplicitGraph");
+const Stmt_1 = require("../../core/base/Stmt");
+const Expr_1 = require("../../core/base/Expr");
+const Ref_1 = require("../../core/base/Ref");
+const Local_1 = require("../../core/base/Local");
+const GraphPrinter_1 = require("../../save/GraphPrinter");
+const PrinterBuilder_1 = require("../../save/PrinterBuilder");
+const Constant_1 = require("../../core/base/Constant");
+const Type_1 = require("../../core/base/Type");
+const logger_1 = __importStar(require("../../utils/logger"));
+const TSConst_1 = require("../../core/common/TSConst");
+const ArkExport_1 = require("../../core/model/ArkExport");
+const PTAUtils_1 = require("./PTAUtils");
+const PointerAnalysisConfig_1 = require("./PointerAnalysisConfig");
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
+/*
+ * Implementation of pointer-to assignment graph for pointer analysis
+ */
+var PagEdgeKind;
+(function (PagEdgeKind) {
+    PagEdgeKind[PagEdgeKind["Address"] = 0] = "Address";
+    PagEdgeKind[PagEdgeKind["Copy"] = 1] = "Copy";
+    PagEdgeKind[PagEdgeKind["Load"] = 2] = "Load";
+    PagEdgeKind[PagEdgeKind["Write"] = 3] = "Write";
+    PagEdgeKind[PagEdgeKind["This"] = 4] = "This";
+    PagEdgeKind[PagEdgeKind["Unknown"] = 5] = "Unknown";
+    PagEdgeKind[PagEdgeKind["InterProceduralCopy"] = 6] = "InterProceduralCopy";
+})(PagEdgeKind = exports.PagEdgeKind || (exports.PagEdgeKind = {}));
+class PagEdge extends BaseExplicitGraph_1.BaseEdge {
+    constructor(n, d, k, s) {
+        super(n, d, k);
+        this.stmt = s;
+    }
+    getDotAttr() {
+        var _a;
+        switch (this.getKind()) {
+            case PagEdgeKind.Address:
+                return 'color=green';
+            case PagEdgeKind.Copy:
+                if (((_a = this.stmt) === null || _a === void 0 ? void 0 : _a.getInvokeExpr()) !== undefined || this.stmt instanceof Stmt_1.ArkReturnStmt) {
+                    return 'color=black,style=dotted';
+                }
+                return 'color=black';
+            case PagEdgeKind.Load:
+                return 'color=red';
+            case PagEdgeKind.Write:
+                return 'color=blue';
+            case PagEdgeKind.This:
+                return 'color=orange';
+            case PagEdgeKind.InterProceduralCopy:
+                return 'color=purple,style=dashed';
+            default:
+                return 'color=black';
+        }
+    }
+}
+exports.PagEdge = PagEdge;
+class AddrPagEdge extends PagEdge {
+    constructor(n, d, s) {
+        super(n, d, PagEdgeKind.Address, s);
+    }
+}
+exports.AddrPagEdge = AddrPagEdge;
+class CopyPagEdge extends PagEdge {
+    constructor(n, d, s) {
+        super(n, d, PagEdgeKind.Copy, s);
+    }
+}
+exports.CopyPagEdge = CopyPagEdge;
+class LoadPagEdge extends PagEdge {
+    constructor(n, d, s) {
+        super(n, d, PagEdgeKind.Copy, s);
+    }
+}
+exports.LoadPagEdge = LoadPagEdge;
+class WritePagEdge extends PagEdge {
+    constructor(n, d, s) {
+        super(n, d, PagEdgeKind.Write, s);
+    }
+}
+exports.WritePagEdge = WritePagEdge;
+class ThisPagEdge extends PagEdge {
+    constructor(n, d, s) {
+        super(n, d, PagEdgeKind.This, s);
+    }
+}
+exports.ThisPagEdge = ThisPagEdge;
+var PagNodeKind;
+(function (PagNodeKind) {
+    PagNodeKind[PagNodeKind["HeapObj"] = 0] = "HeapObj";
+    PagNodeKind[PagNodeKind["LocalVar"] = 1] = "LocalVar";
+    PagNodeKind[PagNodeKind["RefVar"] = 2] = "RefVar";
+    PagNodeKind[PagNodeKind["Param"] = 3] = "Param";
+    PagNodeKind[PagNodeKind["ThisRef"] = 4] = "ThisRef";
+    PagNodeKind[PagNodeKind["Function"] = 5] = "Function";
+    PagNodeKind[PagNodeKind["GlobalThis"] = 6] = "GlobalThis";
+    PagNodeKind[PagNodeKind["ExportInfo"] = 7] = "ExportInfo";
+})(PagNodeKind = exports.PagNodeKind || (exports.PagNodeKind = {}));
+class PagNode extends BaseExplicitGraph_1.BaseNode {
+    constructor(id, cid = undefined, value, k, s) {
+        super(id, k);
+        this.cid = cid;
+        this.value = value;
+        this.stmt = s;
+        let ptaConfig = PointerAnalysisConfig_1.PointerAnalysisConfig.getInstance();
+        this.pointTo = new ptaConfig.ptsCollectionCtor();
+    }
+    getBasePt() {
+        return this.basePt;
+    }
+    setBasePt(pt) {
+        this.basePt = pt;
+    }
+    getCid() {
+        if (this.cid === undefined) {
+            throw new Error('cid is undefine');
+        }
+        return this.cid;
+    }
+    setCid(cid) {
+        this.cid = cid;
+    }
+    setStmt(s) {
+        this.stmt = s;
+    }
+    getStmt() {
+        return this.stmt;
+    }
+    hasOutgoingCopyEdge() {
+        return this.copyOutEdges.size !== 0;
+    }
+    getOutgoingCopyEdges() {
+        return this.copyOutEdges;
+    }
+    getIncomingCopyEdges() {
+        return this.copyInEdges;
+    }
+    getOutgoingLoadEdges() {
+        return this.loadOutEdges;
+    }
+    getOutgoingWriteEdges() {
+        return this.writeOutEdges;
+    }
+    getIncomingWriteEdges() {
+        return this.writeInEdges;
+    }
+    getOutgoingThisEdges() {
+        return this.thisOutEdges;
+    }
+    getIncomingThisEdges() {
+        return this.thisInEdges;
+    }
+    addAddressInEdge(e) {
+        this.addressInEdges === undefined ? (this.addressInEdges = new Set()) : undefined;
+        this.addressInEdges.add(e);
+        this.addIncomingEdge(e);
+    }
+    addAddressOutEdge(e) {
+        this.addressOutEdges === undefined ? (this.addressOutEdges = new Set()) : undefined;
+        this.addressOutEdges.add(e);
+        this.addOutgoingEdge(e);
+    }
+    addCopyInEdge(e) {
+        this.copyInEdges === undefined ? (this.copyInEdges = new Set()) : undefined;
+        this.copyInEdges.add(e);
+        this.addIncomingEdge(e);
+    }
+    addCopyOutEdge(e) {
+        this.copyOutEdges === undefined ? (this.copyOutEdges = new Set()) : undefined;
+        this.copyOutEdges.add(e);
+        this.addOutgoingEdge(e);
+    }
+    addLoadInEdge(e) {
+        this.loadInEdges === undefined ? (this.loadInEdges = new Set()) : undefined;
+        this.loadInEdges.add(e);
+        this.addIncomingEdge(e);
+    }
+    addLoadOutEdge(e) {
+        this.loadOutEdges === undefined ? (this.loadOutEdges = new Set()) : undefined;
+        this.loadOutEdges.add(e);
+        this.addOutgoingEdge(e);
+    }
+    addWriteInEdge(e) {
+        var _a;
+        this.writeInEdges = (_a = this.writeInEdges) !== null && _a !== void 0 ? _a : new Set();
+        this.writeInEdges.add(e);
+        this.addIncomingEdge(e);
+    }
+    addWriteOutEdge(e) {
+        var _a;
+        this.writeOutEdges = (_a = this.writeOutEdges) !== null && _a !== void 0 ? _a : new Set();
+        this.writeOutEdges.add(e);
+        this.addOutgoingEdge(e);
+    }
+    addThisInEdge(e) {
+        var _a;
+        this.thisInEdges = (_a = this.thisInEdges) !== null && _a !== void 0 ? _a : new Set();
+        this.thisInEdges.add(e);
+        this.addIncomingEdge(e);
+    }
+    addThisOutEdge(e) {
+        var _a;
+        this.thisOutEdges = (_a = this.thisOutEdges) !== null && _a !== void 0 ? _a : new Set();
+        this.thisOutEdges.add(e);
+        this.addOutgoingEdge(e);
+    }
+    getValue() {
+        return this.value;
+    }
+    getPointTo() {
+        return this.pointTo;
+    }
+    addPointToElement(node) {
+        this.pointTo.insert(node);
+    }
+    setPointTo(pts) {
+        this.pointTo = pts;
+    }
+    getOutEdges() {
+        return {
+            AddressEdge: this.addressOutEdges,
+            CopyEdge: this.copyOutEdges,
+            LoadEdge: this.loadOutEdges,
+            WriteEdge: this.writeOutEdges,
+        };
+    }
+    getClonedFrom() {
+        return this.clonedFrom;
+    }
+    setClonedFrom(id) {
+        this.clonedFrom = id;
+    }
+    getDotAttr() {
+        switch (this.getKind()) {
+            case PagNodeKind.HeapObj:
+            case PagNodeKind.Function:
+            case PagNodeKind.GlobalThis:
+                return 'shape=box3d';
+            case PagNodeKind.LocalVar:
+                return 'shape=box';
+            case PagNodeKind.RefVar:
+                return 'shape=component';
+            case PagNodeKind.Param:
+                return 'shape=box';
+            case PagNodeKind.ExportInfo:
+                return 'shape=tab,color=purple';
+            case PagNodeKind.ThisRef:
+                return 'shape=box,color=orange';
+            default:
+                return 'shape=box';
+        }
+    }
+    getDotLabel() {
+        var _a;
+        let label;
+        let param;
+        label = PagNodeKind[this.getKind()];
+        label = label + ` ID: ${this.getID()} Ctx: ${this.cid}`;
+        if (this.basePt) {
+            label = label + ` base:{${this.basePt}}`;
+        }
+        label = label + ` pts:{${Array.from(this.pointTo).join(',')}}`;
+        if (this.getKind() === PagNodeKind.Param) {
+            param = this.value;
+            label = label + `\nParam#${param.getIndex()} ${param.toString()}`;
+        }
+        if (this.getKind() === PagNodeKind.ThisRef) {
+            label = label + `\n${this.value.toString()}`;
+        }
+        if (this.getKind() === PagNodeKind.Function) {
+            label = label + ` thisPt:{${this.getThisPt()}}`;
+        }
+        if (this.stmt) {
+            label = label + `\n${this.stmt.toString()}`;
+            let method = (_a = this.stmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod().getSubSignature().toString();
+            if (method) {
+                label = label + '\n' + method;
+            }
+            label = label + ' ln: ' + this.stmt.getOriginPositionInfo().getLineNo();
+        }
+        else if (this.value) {
+            label += `\n${this.value.toString()}`;
+        }
+        return label;
+    }
+}
+exports.PagNode = PagNode;
+class PagLocalNode extends PagNode {
+    constructor(id, cid = undefined, value, stmt) {
+        super(id, cid, value, PagNodeKind.LocalVar, stmt);
+        this.storageLinked = false;
+        this.sdkParam = false;
+    }
+    addRelatedDynCallSite(cs) {
+        var _a;
+        this.relatedDynamicCallSite = (_a = this.relatedDynamicCallSite) !== null && _a !== void 0 ? _a : new Set();
+        this.relatedDynamicCallSite.add(cs);
+    }
+    getRelatedDynCallSites() {
+        var _a;
+        return (_a = this.relatedDynamicCallSite) !== null && _a !== void 0 ? _a : new Set();
+    }
+    addRelatedUnknownCallSite(cs) {
+        var _a;
+        this.relatedUnknownCallSite = (_a = this.relatedUnknownCallSite) !== null && _a !== void 0 ? _a : new Set();
+        this.relatedUnknownCallSite.add(cs);
+    }
+    getRelatedUnknownCallSites() {
+        var _a;
+        return (_a = this.relatedUnknownCallSite) !== null && _a !== void 0 ? _a : new Set();
+    }
+    setStorageLink(storageType, propertyName) {
+        this.storageLinked = true;
+        this.storageType = storageType;
+        this.propertyName = propertyName;
+    }
+    getStorage() {
+        return {
+            StorageType: this.storageType,
+            PropertyName: this.propertyName,
+        };
+    }
+    isStorageLinked() {
+        return this.storageLinked;
+    }
+    setSdkParam() {
+        this.sdkParam = true;
+    }
+    isSdkParam() {
+        return this.sdkParam;
+    }
+}
+exports.PagLocalNode = PagLocalNode;
+class PagInstanceFieldNode extends PagNode {
+    constructor(id, cid = undefined, instanceFieldRef, stmt) {
+        super(id, cid, instanceFieldRef, PagNodeKind.RefVar, stmt);
+    }
+}
+exports.PagInstanceFieldNode = PagInstanceFieldNode;
+class PagStaticFieldNode extends PagNode {
+    constructor(id, cid = undefined, staticFieldRef, stmt) {
+        super(id, cid, staticFieldRef, PagNodeKind.RefVar, stmt);
+    }
+}
+exports.PagStaticFieldNode = PagStaticFieldNode;
+class PagThisRefNode extends PagNode {
+    constructor(id, cid = undefined, thisRef) {
+        super(id, cid, thisRef, PagNodeKind.ThisRef);
+        this.pointToNode = [];
+    }
+    getThisPTNode() {
+        return this.pointToNode;
+    }
+    addPTNode(ptNode) {
+        this.pointToNode.push(ptNode);
+    }
+}
+exports.PagThisRefNode = PagThisRefNode;
+class PagArrayNode extends PagNode {
+    constructor(id, cid = undefined, expr, stmt) {
+        super(id, cid, expr, PagNodeKind.LocalVar, stmt);
+        this.base = expr.getBase();
+    }
+}
+exports.PagArrayNode = PagArrayNode;
+class PagConstantNode extends PagNode {
+    constructor(id, cid = undefined, constant, stmt) {
+        super(id, cid, constant, PagNodeKind.LocalVar, stmt);
+    }
+}
+exports.PagConstantNode = PagConstantNode;
+/**
+ * below is heapObj like Node
+ */
+class PagNewExprNode extends PagNode {
+    constructor(id, cid = undefined, expr, stmt) {
+        super(id, cid, expr, PagNodeKind.HeapObj, stmt);
+    }
+    addFieldNode(fieldSignature, nodeID) {
+        if (!this.fieldNodes) {
+            this.fieldNodes = new Map();
+        }
+        if (this.fieldNodes.has(fieldSignature.getFieldSignature().toString())) {
+            return false;
+        }
+        this.fieldNodes.set(fieldSignature.getFieldSignature().toString(), nodeID);
+        return true;
+    }
+    getFieldNode(fieldSignature) {
+        if (!this.fieldNodes) {
+            return undefined;
+        }
+        return this.fieldNodes.get(fieldSignature.getFieldSignature().toString());
+    }
+    getFieldNodes() {
+        if (!this.fieldNodes) {
+            return undefined;
+        }
+        return this.fieldNodes;
+    }
+}
+exports.PagNewExprNode = PagNewExprNode;
+class PagNewContainerExprNode extends PagNode {
+    constructor(id, cid = undefined, expr, stmt) {
+        super(id, cid, expr, PagNodeKind.HeapObj, stmt);
+    }
+    addElementNode(nodeID) {
+        if (!this.elementNode) {
+            this.elementNode = nodeID;
+        }
+        return true;
+    }
+    getElementNode() {
+        if (this.elementNode) {
+            return this.elementNode;
+        }
+        return undefined;
+    }
+}
+exports.PagNewContainerExprNode = PagNewContainerExprNode;
+class PagParamNode extends PagNode {
+    constructor(id, cid = undefined, r, stmt) {
+        super(id, cid, r, PagNodeKind.Param, stmt);
+    }
+}
+exports.PagParamNode = PagParamNode;
+class PagFuncNode extends PagNode {
+    // TODO: may add obj interface
+    constructor(id, cid = undefined, r, stmt, method, thisInstanceID) {
+        super(id, cid, r, PagNodeKind.Function, stmt);
+        this.argsOffset = 0;
+        if (method) {
+            this.methodSignature = method;
+            this.methodType = (0, PTAUtils_1.getBuiltInApiType)(method);
+        }
+        if (thisInstanceID) {
+            this.thisPt = thisInstanceID;
+        }
+    }
+    setMethod(method) {
+        this.methodSignature = method;
+        this.methodType = (0, PTAUtils_1.getBuiltInApiType)(method);
+    }
+    getMethod() {
+        return this.methodSignature;
+    }
+    setThisPt(thisPt) {
+        this.thisPt = thisPt;
+    }
+    getThisPt() {
+        return this.thisPt;
+    }
+    setCS(callSite) {
+        this.originCallSite = callSite;
+    }
+    getCS() {
+        return this.originCallSite;
+    }
+    setArgsOffset(offset) {
+        this.argsOffset = offset;
+    }
+    getArgsOffset() {
+        return this.argsOffset;
+    }
+    getMethodType() {
+        return this.methodType;
+    }
+    setOriginCid(cid) {
+        this.originCid = cid;
+    }
+    getOriginCid() {
+        return this.originCid;
+    }
+}
+exports.PagFuncNode = PagFuncNode;
+/**
+ * almost same as PagNewExprNode, used only for globalThis and its field reference
+ */
+class PagGlobalThisNode extends PagNode {
+    constructor(id, cid = undefined, r, stmt) {
+        super(id, cid, r, PagNodeKind.GlobalThis, stmt);
+        this.fieldNodes = new Map();
+    }
+    addFieldNode(fieldSignature, nodeID) {
+        if (this.fieldNodes.has(fieldSignature.getFieldSignature().toString())) {
+            return false;
+        }
+        this.fieldNodes.set(fieldSignature.getFieldSignature().toString(), nodeID);
+        return true;
+    }
+    getFieldNode(fieldSignature) {
+        return this.fieldNodes.get(fieldSignature.getFieldSignature().toString());
+    }
+    getFieldNodes() {
+        return this.fieldNodes;
+    }
+}
+exports.PagGlobalThisNode = PagGlobalThisNode;
+class Pag extends BaseExplicitGraph_1.BaseExplicitGraph {
+    constructor() {
+        super(...arguments);
+        this.contextValueToIdMap = new Map();
+        // contextBaseToIdMap will only be used in instance field
+        // Value: instance field base value, NodeID: abstract nodes
+        this.contextBaseToIdMap = new Map();
+        // for reanalyze, will return new addr edges
+        this.stashAddrEdge = new Set();
+        this.addrEdge = new Set();
+        this.clonedNodeMap = new Map();
+    }
+    getCG() {
+        return this.cg;
+    }
+    /*
+     * Clone a PagNode with same cid/value/stmt,
+     * but different Node ID
+     */
+    getOrClonePagNode(src, basePt) {
+        if (src.getBasePt() !== undefined) {
+            throw new Error('This is a cloned ref node, can not be cloned again');
+        }
+        let cloneSet = this.clonedNodeMap.get(src.getID());
+        if (!cloneSet) {
+            cloneSet = new Map();
+            this.clonedNodeMap.set(src.getID(), cloneSet);
+        }
+        else {
+            let nodeID = cloneSet.get(basePt);
+            if (nodeID) {
+                return this.getNode(nodeID);
+            }
+        }
+        // Not found
+        let cloneNode = this.addPagNode(src.getCid(), src.getValue(), src.getStmt(), false);
+        cloneNode.setClonedFrom(src.getID());
+        cloneSet.set(basePt, cloneNode.getID());
+        return cloneNode;
+    }
+    getOrClonePagFieldNode(src, basePt) {
+        let baseNode = this.getNode(basePt);
+        if (baseNode instanceof PagNewExprNode || baseNode instanceof PagGlobalThisNode) {
+            // check if real field node has been created with basePT, using FieldSignature as key
+            let existedNode = baseNode.getFieldNode(src.getValue());
+            if (existedNode) {
+                return this.getNode(existedNode);
+            }
+            let fieldNode = this.getOrClonePagNode(src, basePt);
+            baseNode.addFieldNode(src.getValue(), fieldNode.getID());
+            fieldNode.setBasePt(basePt);
+            return fieldNode;
+        }
+        else {
+            logger.error(`Error clone field node ${src.getValue()}`);
+            return undefined;
+        }
+    }
+    getOrClonePagContainerFieldNode(basePt, base, className) {
+        let baseNode = this.getNode(basePt);
+        if (baseNode instanceof PagNewContainerExprNode) {
+            // check if Array Ref real node has been created or not, if not: create a real Array Ref node
+            let existedNode = baseNode.getElementNode();
+            let fieldNode;
+            let fieldRef;
+            if (existedNode) {
+                return this.getNode(existedNode);
+            }
+            switch (className) {
+                case 'Array':
+                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.ARRAY_FIELD_SIGNATURE);
+                    break;
+                case 'Set':
+                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.SET_FIELD_SIGNATURE);
+                    break;
+                case 'Map':
+                    fieldRef = new Ref_1.ArkInstanceFieldRef(base, PTAUtils_1.MAP_FIELD_SIGNATURE);
+                    break;
+                default:
+                    logger.error(`Error clone array field node ${className}`);
+                    return undefined;
+            }
+            fieldNode = this.addPagNode(0, fieldRef);
+            baseNode.addElementNode(fieldNode.getID());
+            fieldNode.setBasePt(basePt);
+            return fieldNode;
+        }
+        else if (baseNode instanceof PagNewExprNode) {
+            // In some cases, the value of a variable of array type may not be an explicit array object.
+            // For example, it could be a return value of a function (assuming that the call depth has
+            // exceeded the k-limit).
+            // In such situation, the `baseNode` will be a PagNewExprNode instead of a PagNewContainerExprNode,
+            // and a warning will be raised.
+            logger.warn(`[PTA]: Trying to clone an array from a PagNewExprNode instead of a PagNewContainerExprNode`);
+        }
+        else {
+            throw new Error(`Error clone array field node ${baseNode.getValue()}`);
+        }
+        return undefined;
+    }
+    getOrClonePagFuncNode(basePt) {
+        let baseNode = this.getNode(basePt);
+        if (baseNode instanceof PagFuncNode) {
+            let clonedFuncNode = this.getOrClonePagNode(baseNode, basePt);
+            return clonedFuncNode;
+        }
+        else {
+            logger.error(`Error clone func node ${baseNode.getValue()}`);
+            return undefined;
+        }
+    }
+    addPagNode(cid, value, stmt, refresh = true) {
+        let id = this.nodeNum + 1;
+        let pagNode;
+        if (value instanceof Local_1.Local) {
+            pagNode = this.handleLocalNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Ref_1.ArkInstanceFieldRef) {
+            pagNode = this.handleInstanceFieldNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Ref_1.ArkStaticFieldRef) {
+            pagNode = this.handleStaticFieldNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Ref_1.ArkArrayRef) {
+            pagNode = new PagArrayNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Expr_1.ArkNewExpr) {
+            pagNode = this.handleNewExprNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Expr_1.ArkNewArrayExpr) {
+            pagNode = new PagNewContainerExprNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Ref_1.ArkParameterRef) {
+            pagNode = new PagParamNode(id, cid, value, stmt);
+        }
+        else if (value instanceof Ref_1.ArkThisRef) {
+            pagNode = new PagThisRefNode(id, cid, value);
+        }
+        else if (value instanceof Constant_1.Constant) {
+            pagNode = new PagConstantNode(id, cid, value, stmt);
+        }
+        else {
+            throw new Error('unsupported Value type ' + value.getType().toString());
+        }
+        this.addNode(pagNode);
+        this.addContextOrExportInfoMap(refresh, cid, id, value, pagNode, stmt);
+        return pagNode;
+    }
+    handleLocalNode(id, cid, value, stmt) {
+        const valueType = value.getType();
+        if (valueType instanceof Type_1.FunctionType && value.getDeclaringStmt() === null) {
+            return new PagFuncNode(id, cid, value, stmt, valueType.getMethodSignature());
+        }
+        else if (value.getName() === TSConst_1.GLOBAL_THIS_NAME && value.getDeclaringStmt() == null) {
+            return new PagGlobalThisNode(id, -1, value);
+        }
+        else {
+            return new PagLocalNode(id, cid, value, stmt);
+        }
+    }
+    handleInstanceFieldNode(id, cid, value, stmt) {
+        return this.createFieldNode(id, cid, value, stmt);
+    }
+    handleStaticFieldNode(id, cid, value, stmt) {
+        return this.createFieldNode(id, cid, value, stmt);
+    }
+    createFieldNode(id, cid, value, stmt) {
+        if (value.getType() instanceof Type_1.FunctionType) {
+            return new PagFuncNode(id, cid, value, stmt, value.getType().getMethodSignature());
+        }
+        else {
+            return value instanceof Ref_1.ArkStaticFieldRef ? new PagStaticFieldNode(id, cid, value, stmt) : new PagInstanceFieldNode(id, cid, value, stmt);
+        }
+    }
+    handleNewExprNode(id, cid, value, stmt) {
+        const classSignature = value.getClassType().getClassSignature();
+        if ((0, PTAUtils_1.IsCollectionClass)(classSignature)) {
+            return new PagNewContainerExprNode(id, cid, value, stmt);
+        }
+        else {
+            return new PagNewExprNode(id, cid, value, stmt);
+        }
+    }
+    addContextOrExportInfoMap(refresh, cid, id, value, pagNode, stmt) {
+        if (!(value instanceof ArkExport_1.ExportInfo)) {
+            this.addContextMap(refresh, cid, id, value, stmt, pagNode);
+        }
+        else {
+            this.addExportInfoMap(id, value);
+        }
+    }
+    addExportInfoMap(id, v) {
+        var _a;
+        this.ExportInfoToIdMap = (_a = this.ExportInfoToIdMap) !== null && _a !== void 0 ? _a : new Map();
+        this.ExportInfoToIdMap.set(v, id);
+    }
+    addContextMap(refresh, cid, id, value, stmt, pagNode) {
+        var _a;
+        if (!refresh) {
+            return;
+        }
+        let ctx2NdMap = this.contextValueToIdMap.get(value);
+        if (!ctx2NdMap) {
+            ctx2NdMap = new Map();
+            this.contextValueToIdMap.set(value, ctx2NdMap);
+        }
+        ctx2NdMap.set(cid, id);
+        if (!(value instanceof Ref_1.ArkInstanceFieldRef || value instanceof Ref_1.ArkArrayRef)) {
+            return;
+        }
+        let base = value.getBase();
+        //TODO: remove below once this Local is not uniq in %instInit is fix
+        if (base instanceof Local_1.Local && base.getName() === 'this') {
+            (_a = stmt === null || stmt === void 0 ? void 0 : stmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().forEach(s => {
+                if (s instanceof Stmt_1.ArkAssignStmt && s.getLeftOp() instanceof Local_1.Local && s.getLeftOp().getName() === 'this') {
+                    base = s.getLeftOp();
+                    return;
+                }
+            });
+        }
+        let ctxMap = this.contextBaseToIdMap.get(base);
+        if (ctxMap === undefined) {
+            ctxMap = new Map();
+            ctxMap.set(cid, [pagNode.getID()]);
+        }
+        else {
+            let nodes = ctxMap.get(cid);
+            if (nodes === undefined) {
+                nodes = [pagNode.getID()];
+            }
+            else {
+                nodes.push(pagNode.getID());
+            }
+            ctxMap.set(cid, nodes);
+        }
+        this.contextBaseToIdMap.set(base, ctxMap);
+    }
+    getOrNewThisLocalNode(cid, ptNode, value, s) {
+        if (ptNode !== -1) {
+            return this.getNode(ptNode);
+        }
+        else {
+            return this.getOrNewNode(cid, value, s);
+        }
+    }
+    hasExportNode(v) {
+        var _a;
+        this.ExportInfoToIdMap = (_a = this.ExportInfoToIdMap) !== null && _a !== void 0 ? _a : new Map();
+        return this.ExportInfoToIdMap.get(v);
+    }
+    hasCtxNode(cid, v) {
+        let ctx2nd = this.contextValueToIdMap.get(v);
+        if (!ctx2nd) {
+            return undefined;
+        }
+        let ndId = ctx2nd.get(cid);
+        if (!ndId) {
+            return undefined;
+        }
+        return ndId;
+    }
+    hasCtxRetNode(cid, v) {
+        let ctx2nd = this.contextValueToIdMap.get(v);
+        if (!ctx2nd) {
+            return undefined;
+        }
+        let ndId = ctx2nd.get(cid);
+        if (!ndId) {
+            return undefined;
+        }
+        return ndId;
+    }
+    getOrNewNode(cid, v, s) {
+        let nodeId;
+        // Value
+        if (!(v instanceof ArkExport_1.ExportInfo)) {
+            nodeId = this.hasCtxNode(cid, v);
+        }
+        else {
+            // ExportInfo
+            nodeId = this.hasExportNode(v);
+        }
+        if (nodeId !== undefined) {
+            return this.getNode(nodeId);
+        }
+        return this.addPagNode(cid, v, s);
+    }
+    getNodesByValue(v) {
+        return this.contextValueToIdMap.get(v);
+    }
+    getNodesByBaseValue(v) {
+        return this.contextBaseToIdMap.get(v);
+    }
+    addPagEdge(src, dst, kind, stmt) {
+        // TODO: check if the edge already existing
+        let edge = new PagEdge(src, dst, kind, stmt);
+        if (this.ifEdgeExisting(edge)) {
+            return false;
+        }
+        switch (kind) {
+            case PagEdgeKind.Copy:
+            case PagEdgeKind.InterProceduralCopy:
+                src.addCopyOutEdge(edge);
+                dst.addCopyInEdge(edge);
+                if (src instanceof PagFuncNode || src instanceof PagGlobalThisNode || src instanceof PagNewExprNode || src instanceof PagNewContainerExprNode) {
+                    this.addrEdge.add(edge);
+                    this.stashAddrEdge.add(edge);
+                }
+                break;
+            case PagEdgeKind.Address:
+                src.addAddressOutEdge(edge);
+                dst.addAddressInEdge(edge);
+                this.addrEdge.add(edge);
+                this.stashAddrEdge.add(edge);
+                break;
+            case PagEdgeKind.Write:
+                src.addWriteOutEdge(edge);
+                dst.addWriteInEdge(edge);
+                break;
+            case PagEdgeKind.Load:
+                src.addLoadOutEdge(edge);
+                dst.addLoadInEdge(edge);
+                break;
+            case PagEdgeKind.This:
+                src.addThisOutEdge(edge);
+                dst.addThisInEdge(edge);
+                break;
+            default:
+        }
+        this.edgeNum++;
+        return true;
+    }
+    getAddrEdges() {
+        return this.stashAddrEdge;
+    }
+    resetAddrEdges() {
+        this.stashAddrEdge.clear();
+    }
+    getGraphName() {
+        return 'PAG';
+    }
+    dump(name) {
+        let printer = new GraphPrinter_1.GraphPrinter(this);
+        PrinterBuilder_1.PrinterBuilder.dump(printer, name);
+    }
+}
+exports.Pag = Pag;
+class FuncPag {
+    getInternalEdges() {
+        return this.internalEdges;
+    }
+    addNormalCallSite(cs) {
+        var _a;
+        this.normalCallSites = (_a = this.normalCallSites) !== null && _a !== void 0 ? _a : new Set();
+        this.normalCallSites.add(cs);
+    }
+    getNormalCallSites() {
+        var _a;
+        this.normalCallSites = (_a = this.normalCallSites) !== null && _a !== void 0 ? _a : new Set();
+        return this.normalCallSites;
+    }
+    addDynamicCallSite(cs) {
+        var _a;
+        this.dynamicCallSites = (_a = this.dynamicCallSites) !== null && _a !== void 0 ? _a : new Set();
+        this.dynamicCallSites.add(cs);
+    }
+    getDynamicCallSites() {
+        var _a;
+        this.dynamicCallSites = (_a = this.dynamicCallSites) !== null && _a !== void 0 ? _a : new Set();
+        return this.dynamicCallSites;
+    }
+    addUnknownCallSite(cs) {
+        var _a;
+        this.unknownCallSites = (_a = this.unknownCallSites) !== null && _a !== void 0 ? _a : new Set();
+        this.unknownCallSites.add(cs);
+    }
+    getUnknownCallSites() {
+        var _a;
+        this.unknownCallSites = (_a = this.unknownCallSites) !== null && _a !== void 0 ? _a : new Set();
+        return this.unknownCallSites;
+    }
+    addInternalEdge(stmt, k) {
+        this.internalEdges === undefined ? (this.internalEdges = new Set()) : undefined;
+        let lhOp = stmt.getLeftOp();
+        let rhOp = stmt.getRightOp();
+        if (rhOp instanceof Constant_1.Constant) {
+            return false;
+        }
+        let iEdge = {
+            src: rhOp,
+            dst: lhOp,
+            kind: k,
+            stmt: stmt,
+        };
+        this.internalEdges.add(iEdge);
+        return true;
+    }
+}
+exports.FuncPag = FuncPag;
+class InterFuncPag {
+    constructor() {
+        this.interFuncEdges = new Set();
+    }
+    getInterProceduralEdges() {
+        return this.interFuncEdges;
+    }
+    addToInterProceduralEdgeSet(e) {
+        this.interFuncEdges.add(e);
+    }
+}
+exports.InterFuncPag = InterFuncPag;