arkanalyzer 1.0.6 → 1.0.8

package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts

@@ -46,6 +46,8 @@ export declare class PointerAnalysis extends AbstractAnalysis {
      * 3. 在addDynamicCall里对传入指针过滤（已处理指针和未处理指针）
      */
     private onTheFlyDynamicCallSolve;
+    private processDynCallSite;
+    private processUnknownCallSite;
     private addToReanalyze;
     /**
      * compare interface
@@ -53,6 +55,9 @@ export declare class PointerAnalysis extends AbstractAnalysis {
     noAlias(leftValue: Value, rightValue: Value): boolean;
     mayAlias(leftValue: Value, rightValue: Value): boolean;
     getRelatedNodes(value: Value): Set<Value>;
+    private processRelatedNode;
+    private addIncomingEdgesToWorkList;
+    private addOutgoingEdgesToWorkList;
     private detectTypeDiff;
     getTypeDiffMap(): Map<Value, Set<Type>>;
     protected resolveCall(sourceMethod: NodeID, invokeStmt: Stmt): CallSite[];
@@ -60,5 +65,6 @@ export declare class PointerAnalysis extends AbstractAnalysis {
     getHandledFuncs(): FuncID[];
     getPTAConfig(): PointerAnalysisConfig;
     private dumpUnhandledFunctions;
+    mergeInstanceFieldMap(src: Map<number, number[]>, dst: Map<number, number[]>): Map<number, number[]>;
 }
 //# sourceMappingURL=PointerAnalysis.d.ts.map

package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PointerAnalysis.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG5C,OAAO,EAAE,SAAS,EAAiB,QAAQ,EAAe,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAa,IAAI,EAAe,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAI5C,OAAO,EAAE,GAAG,EAAgF,MAAM,OAAO,CAAC;AAE1G,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAKhE,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAA6C;IACxD,OAAO,CAAC,OAAO,CAAY;IAC3B,OAAO,CAAC,QAAQ,CAAY;IAE5B,OAAO,CAAC,OAAO,CAAU;IACzB,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,MAAM,CAAwB;gBAE1B,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;IAW1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,SAAS,CAAC,IAAI;IAYP,KAAK;IAMZ,OAAO,CAAC,WAAW;IAgBnB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE;IAIhC,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IA+BvB,OAAO,CAAC,kBAAkB;IA4B1B,OAAO,CAAC,mBAAmB;IA0B3B;;OAEG;IACH,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAoBjB;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAoChC,OAAO,CAAC,cAAc;IAWtB;;OAEG;IACI,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAkCrD,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAItD,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IAqDhD,OAAO,CAAC,cAAc;IA2Cf,cAAc,IAAI,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAI9C,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,GAAG,QAAQ,EAAE;IAIlE,iBAAiB,IAAI,MAAM,EAAE;IAI7B,eAAe,IAAI,MAAM,EAAE;IAI3B,YAAY,IAAI,qBAAqB;IAI5C,OAAO,CAAC,sBAAsB;CA+BjC"}
+{"version":3,"file":"PointerAnalysis.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG5C,OAAO,EAAE,SAAS,EAAiB,QAAQ,EAAe,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAa,IAAI,EAAe,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAI5C,OAAO,EAAE,GAAG,EAAgF,MAAM,OAAO,CAAC;AAE1G,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAMhE,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAA6C;IACxD,OAAO,CAAC,OAAO,CAAY;IAC3B,OAAO,CAAC,QAAQ,CAAY;IAE5B,OAAO,CAAC,OAAO,CAAU;IACzB,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,MAAM,CAAwB;gBAE1B,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;IAW1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,SAAS,CAAC,IAAI;IAYP,KAAK;IAMZ,OAAO,CAAC,WAAW;IAgBnB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE;IAIhC,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,mBAAmB;IA0B3B;;OAEG;IACH,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAoBjB;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,kBAAkB;IAqB1B,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,cAAc;IAWtB;;OAEG;IACI,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAmCrD,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAItD,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IA6BhD,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,cAAc;IA2Cf,cAAc,IAAI,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAI9C,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,GAAG,QAAQ,EAAE;IAIlE,iBAAiB,IAAI,MAAM,EAAE;IAI7B,eAAe,IAAI,MAAM,EAAE;IAI3B,YAAY,IAAI,qBAAqB;IAI5C,OAAO,CAAC,sBAAsB;IAgCvB,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAU9G"}

package/lib/callgraph/pointerAnalysis/PointerAnalysis.js

@@ -54,6 +54,7 @@ const Pag_1 = require("./Pag");
 const PagBuilder_1 = require("./PagBuilder");
 const PointerAnalysisConfig_1 = require("./PointerAnalysisConfig");
 const PtsDS_1 = require("./PtsDS");
+const Local_1 = require("../../core/base/Local");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
 class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
     constructor(p, cg, s, config) {
@@ -181,19 +182,29 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         return true;
     }
     handleLoadWrite(nodeID) {
+        var _a;
         let node = this.pag.getNode(nodeID);
+        let nodeValue = node.getValue();
         let diffPts = this.ptd.getDiffPts(nodeID);
-        if (!diffPts || diffPts.count() == 0) {
+        if (!diffPts || diffPts.count() === 0) {
             return false;
         }
         // get related field node with current node's value
-        let instanceFieldNodeMap = this.pag.getNodesByBaseValue(node.getValue());
-        if (instanceFieldNodeMap === undefined) {
-            return true;
+        let instanceFieldNodeMap = (_a = this.pag.getNodesByBaseValue(nodeValue)) !== null && _a !== void 0 ? _a : new Map();
+        // get intra procedural field node by exportMap
+        let intraProceduralFieldNodeMap = new Map();
+        if (nodeValue instanceof Local_1.Local) {
+            this.pagBuilder.getExportVariableMap(nodeValue).forEach((dst) => {
+                var _a;
+                let temp = (_a = this.pag.getNodesByBaseValue(dst)) !== null && _a !== void 0 ? _a : new Map();
+                intraProceduralFieldNodeMap = this.mergeInstanceFieldMap(instanceFieldNodeMap, temp);
+            });
         }
         instanceFieldNodeMap.forEach((nodeIDs, cid) => {
             // TODO: check cid
-            if (cid != node.getCid()) {
+            // cid === -1 will escape the check, mainly for globalThis
+            let baseCid = node.getCid();
+            if (baseCid !== -1 && cid !== baseCid) {
                 return;
             }
             nodeIDs.forEach((nodeID) => {
@@ -203,13 +214,21 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
                 this.handleFieldOutEdges(fieldNode, diffPts);
             });
         });
+        // without cid check, because closure and export is under different cid
+        intraProceduralFieldNodeMap.forEach((nodeIDs) => {
+            nodeIDs.forEach((nodeID) => {
+                // get abstract field node
+                let fieldNode = this.pag.getNode(nodeID);
+                this.handleFieldInEdges(fieldNode, diffPts);
+                this.handleFieldOutEdges(fieldNode, diffPts);
+            });
+        });
         return true;
     }
     handleFieldInEdges(fieldNode, diffPts) {
         fieldNode.getIncomingEdge().forEach((edge) => {
             if (edge.getKind() !== Pag_1.PagEdgeKind.Write) {
                 return;
-                //throw new Error ("field node in edge is not write edge")
             }
             let srcNode = edge.getSrcNode();
             this.ptaStat.numProcessedWrite++;
@@ -271,7 +290,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
     }
     handlePt(nodeID) {
         let realDiff = this.ptd.calculateDiff(nodeID, nodeID);
-        if (realDiff.count() != 0) {
+        if (realDiff.count() !== 0) {
             // record the updated nodes
             this.pagBuilder.addUpdatedNode(nodeID, realDiff);
         }
@@ -308,19 +327,8 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
                 logger.warn(`node ${nodeID} is not local node, value: ${node.getValue()}`);
                 return;
             }
-            let dynCallSites = node.getRelatedDynCallSites();
-            if (!dynCallSites) {
-                logger.warn(`node ${nodeID} has no related dynamic call site`);
-                return;
-            }
-            logger.info(`[process dynamic callsite] node ${nodeID}`);
-            dynCallSites.forEach((dynCallsite) => {
-                for (let pt of pts) {
-                    let srcNodes = this.pagBuilder.addDynamicCallEdge(dynCallsite, pt, node.getCid());
-                    changed = this.addToReanalyze(srcNodes) || changed;
-                }
-                processedCallSites.add(dynCallsite);
-            });
+            changed = this.processDynCallSite(node, pts, processedCallSites) || changed;
+            changed = this.processUnknownCallSite(node, pts) || changed;
         });
         this.pagBuilder.resetUpdatedNodes();
         let srcNodes = this.pagBuilder.handleUnprocessedCallSites(processedCallSites);
@@ -329,6 +337,39 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         this.initWorklist();
         return changed;
     }
+    processDynCallSite(node, pts, processedCallSites) {
+        let changed = false;
+        let dynCallSites = node.getRelatedDynCallSites();
+        if (!dynCallSites && !node.isSdkParam()) {
+            logger.warn(`node ${node.getID()} has no related dynamic call site`);
+            return changed;
+        }
+        logger.info(`[process dynamic callsite] node ${node.getID()}`);
+        dynCallSites.forEach((dynCallsite) => {
+            for (let pt of pts) {
+                let srcNodes = this.pagBuilder.addDynamicCallEdge(dynCallsite, pt, node.getCid());
+                changed = this.addToReanalyze(srcNodes) || changed;
+            }
+            processedCallSites.add(dynCallsite);
+        });
+        return changed;
+    }
+    processUnknownCallSite(node, pts) {
+        let changed = false;
+        let unknownCallSites = node.getRelatedUnknownCallSites();
+        if (!unknownCallSites) {
+            logger.warn(`node ${node.getID()} has no related unknown call site`);
+            return changed;
+        }
+        logger.info(`[process unknown callsite] node ${node.getID()}`);
+        unknownCallSites.forEach((unknownCallSite) => {
+            for (let pt of pts) {
+                let srcNodes = this.pagBuilder.addDynamicCallEdge(unknownCallSite, pt, node.getCid());
+                changed = this.addToReanalyze(srcNodes) || changed;
+            }
+        });
+        return changed;
+    }
     addToReanalyze(startNodes) {
         let flag = false;
         for (let node of startNodes) {
@@ -346,7 +387,8 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         var _a, _b;
         let leftValueNodes = (_a = this.pag.getNodesByValue(leftValue)) === null || _a === void 0 ? void 0 : _a.values();
         let rightValueNodes = (_b = this.pag.getNodesByValue(rightValue)) === null || _b === void 0 ? void 0 : _b.values();
-        let leftValuePts = new Set(), rightValuePts = new Set();
+        let leftValuePts = new Set();
+        let rightValuePts = new Set();
         for (let nodeID of leftValueNodes) {
             let node = this.pag.getNode(nodeID);
             for (let pt of node.getPointTo()) {
@@ -374,51 +416,59 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         return !this.noAlias(leftValue, rightValue);
     }
     getRelatedNodes(value) {
-        var _a;
-        let valueNodes = (_a = this.pag.getNodesByValue(value)) === null || _a === void 0 ? void 0 : _a.values();
+        let valueNodes = this.pag.getNodesByValue(value);
         let relatedAllNodes = new Set();
         let workListNodes = [];
         let processedNodes = new Set();
-        for (const nodeID of valueNodes) {
-            workListNodes.push(nodeID);
+        if (valueNodes) {
+            for (const nodeID of valueNodes.values()) {
+                workListNodes.push(nodeID);
+            }
         }
         while (workListNodes.length !== 0) {
             let valueNodeID = workListNodes.shift();
             if (processedNodes.has(valueNodeID)) {
                 continue;
             }
-            let valueNode = this.pag.getNode(valueNodeID);
-            let inCopyEdges = valueNode.getIncomingCopyEdges();
-            if (!inCopyEdges) {
-                continue;
-            }
+            this.processRelatedNode(valueNodeID, workListNodes, processedNodes);
+        }
+        processedNodes.forEach(nodeID => {
+            let valueNode = this.pag.getNode(nodeID);
+            relatedAllNodes.add(valueNode.getValue());
+        });
+        return relatedAllNodes;
+    }
+    processRelatedNode(valueNodeID, workListNodes, processedNodes) {
+        let valueNode = this.pag.getNode(valueNodeID);
+        this.addIncomingEdgesToWorkList(valueNode, workListNodes, processedNodes);
+        this.addOutgoingEdgesToWorkList(valueNode, workListNodes, processedNodes);
+        processedNodes.add(valueNodeID);
+    }
+    addIncomingEdgesToWorkList(valueNode, workListNodes, processedNodes) {
+        let inCopyEdges = valueNode.getIncomingCopyEdges();
+        if (inCopyEdges) {
             inCopyEdges.forEach(edge => {
                 let srcID = edge.getSrcID();
                 if (!processedNodes.has(srcID)) {
                     workListNodes.push(srcID);
                 }
             });
-            let outCopyEdges = valueNode.getOutgoingCopyEdges();
-            if (!outCopyEdges) {
-                continue;
-            }
+        }
+    }
+    addOutgoingEdgesToWorkList(valueNode, workListNodes, processedNodes) {
+        let outCopyEdges = valueNode.getOutgoingCopyEdges();
+        if (outCopyEdges) {
             outCopyEdges.forEach(edge => {
                 let dstID = edge.getDstID();
                 if (!processedNodes.has(dstID)) {
                     workListNodes.push(dstID);
                 }
             });
-            processedNodes.add(valueNodeID);
         }
-        processedNodes.forEach(nodeID => {
-            let valueNode = this.pag.getNode(nodeID);
-            relatedAllNodes.add(valueNode.getValue());
-        });
-        return relatedAllNodes;
     }
     detectTypeDiff(nodeId) {
         var _a;
-        if (this.config.detectTypeDiff == false) {
+        if (this.config.detectTypeDiff === false) {
             return;
         }
         this.typeDiffMap = (_a = this.typeDiffMap) !== null && _a !== void 0 ? _a : new Map();
@@ -431,14 +481,14 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         }
         let findSameType = false;
         let pts = node.getPointTo();
-        if (pts.size == 0) {
+        if (pts.size === 0) {
             return;
         }
         pts.forEach(pt => {
             var _a;
             let ptNode = this.pag.getNode(pt);
             let type = ptNode.getValue().getType();
-            if (type.toString() != origType.toString()) {
+            if (type.toString() !== origType.toString()) {
                 let diffSet = (_a = this.typeDiffMap.get(value)) !== null && _a !== void 0 ? _a : new Set();
                 this.typeDiffMap.set(value, diffSet);
                 if (!diffSet.has(type)) {
@@ -457,7 +507,8 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         }
     }
     getTypeDiffMap() {
-        return this.typeDiffMap;
+        var _a;
+        return (_a = this.typeDiffMap) !== null && _a !== void 0 ? _a : new Map();
     }
     resolveCall(sourceMethod, invokeStmt) {
         return [];
@@ -484,7 +535,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             let updatedContent = '';
             this.getUnhandledFuncs().forEach(funcID => {
                 let cgNode = this.cg.getNode(funcID);
-                if (cgNode.getIsSdkMethod()) {
+                if (cgNode.isSdkMethod()) {
                     return;
                 }
                 let f = this.cg.getArkMethodByFuncID(funcID);
@@ -499,5 +550,16 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             });
         });
     }
+    mergeInstanceFieldMap(src, dst) {
+        dst.forEach((value, key) => {
+            if (src.has(key)) {
+                src.set(key, [...src.get(key), ...value]);
+            }
+            else {
+                src.set(key, value);
+            }
+        });
+        return src;
+    }
 }
 exports.PointerAnalysis = PointerAnalysis;

package/lib/callgraph/pointerAnalysis/PtsDS.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PtsDS.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PtsDS.ts"],"names":[],"mappings":"AAeA,UAAU,GAAG;CAEZ;AAED,UAAU,cAAc,CAAC,CAAC,SAAS,GAAG;IAElC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IAC3B,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IACzB,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IACzB,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,IAAI,MAAM,CAAC;IAChB,OAAO,IAAI,OAAO,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAChC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;CAC5C;AAKD,qBAAa,MAAM,CAAC,CAAC,SAAS,GAAG,CAAE,YAAW,cAAc,CAAC,CAAC,CAAC;IAC3D,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;;IASZ,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAI1B,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAQxB,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAQxB,KAAK,IAAG,IAAI;IAOZ,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAQ3B,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAS9B,KAAK,IAAI,IAAI;IAIZ,KAAK,IAAI,MAAM;IAIhB,OAAO,IAAI,OAAO;IAKlB,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAU9B,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IASxB,cAAc,IAAI,GAAG,CAAC,CAAC,CAAC;IAI/B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;CAG3C;AAED,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,SAAS,cAAc,CAAC,CAAC,CAAC;IAItD,OAAO,CAAC,SAAS;IAH7B,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAEJ,SAAS,EAAE,UAAS,EAAE;IAK1C,KAAK,IAAI,IAAI;IAKb,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAU9B,SAAS,CAAC,CAAC,EAAC,CAAC,GAAG,OAAO;IAUvB,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAavC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAkBnC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO;IAUvC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAMrC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAIhC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAOnC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAIjC,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE;IAOxB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAUjB,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAOpB,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAKxB,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAKzB,UAAU,IAAI,IAAI;IAMlB,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE;CAYpC"}
+{"version":3,"file":"PtsDS.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PtsDS.ts"],"names":[],"mappings":"AAeA,UAAU,GAAG;CAEZ;AAED,UAAU,cAAc,CAAC,CAAC,SAAS,GAAG;IAElC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IAC3B,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IACzB,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;IACzB,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,IAAI,MAAM,CAAC;IAChB,OAAO,IAAI,OAAO,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAAC;IAChC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;CAC5C;AAKD,qBAAa,MAAM,CAAC,CAAC,SAAS,GAAG,CAAE,YAAW,cAAc,CAAC,CAAC,CAAC;IAC3D,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;;IASZ,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAI1B,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAQxB,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO;IAQxB,KAAK,IAAG,IAAI;IAOZ,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAQ3B,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAS9B,KAAK,IAAI,IAAI;IAIZ,KAAK,IAAI,MAAM;IAIhB,OAAO,IAAI,OAAO;IAKlB,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IAU9B,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO;IASxB,cAAc,IAAI,GAAG,CAAC,CAAC,CAAC;IAI/B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;CAG3C;AAED,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,SAAS,cAAc,CAAC,CAAC,CAAC;IAItD,OAAO,CAAC,SAAS;IAH7B,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,WAAW,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAEJ,SAAS,EAAE,UAAS,EAAE;IAK1C,KAAK,IAAI,IAAI;IAKb,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAU9B,SAAS,CAAC,CAAC,EAAC,CAAC,GAAG,OAAO;IASvB,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAavC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAkBnC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,OAAO;IAUvC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO;IAMrC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAIhC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAOnC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,SAAS;IAIjC,cAAc,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE;IAOxB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IASjB,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAOpB,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAKxB,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI;IAKzB,UAAU,IAAI,IAAI;IAMlB,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE;CAYpC"}

package/lib/callgraph/pointerAnalysis/PtsDS.js

@@ -120,7 +120,6 @@ class DiffPTData {
         let propa = this.propaPtsMap.get(v);
         if (propa) {
             this.diffPtsMap.set(v, propa.clone());
-            // this.propaPtsMap.set(v, new this.DSCreator());
             return true;
         }
         return false;
@@ -193,7 +192,6 @@ class DiffPTData {
         let diff = this.diffPtsMap.get(v);
         let propa = this.getPropaPtsMut(v);
         // do not clear origin propa, only copy the pt and add it to diff
-        //let propa = this.propaPtsMap.get(v) || new this.DSCreator();
         propa.union(diff);
         diff.clear();
     }

package/lib/core/base/Constant.d.ts

@@ -4,14 +4,46 @@ import { Value } from './Value';
  * @category core/base
  */
 export declare class Constant implements Value {
-    private value;
-    private type;
-    constructor(value: string, type?: Type);
+    private readonly value;
+    private readonly type;
+    constructor(value: string, type: Type);
+    /**
+     * Returns the constant's value as a **string**.
+     * @returns The constant's value.
+     */
     getValue(): string;
-    setValue(newValue: string): void;
     getUses(): Value[];
+    /**
+     * Returns the type of this constant.
+     * @returns The type of this constant.
+     */
     getType(): Type;
-    setType(newType: Type): void;
+    /**
+     * Get a string of constant value in Constant.
+     * @returns The string of constant value.
+     */
     toString(): string;
 }
+export declare class BooleanConstant extends Constant {
+    private static readonly FALSE;
+    private static readonly TRUE;
+    constructor(value: boolean);
+    static getInstance(value: boolean): NullConstant;
+}
+export declare class NumberConstant extends Constant {
+    constructor(value: number);
+}
+export declare class StringConstant extends Constant {
+    constructor(value: string);
+}
+export declare class NullConstant extends Constant {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): NullConstant;
+}
+export declare class UndefinedConstant extends Constant {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): UndefinedConstant;
+}
 //# sourceMappingURL=Constant.d.ts.map

package/lib/core/base/Constant.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Constant.d.ts","sourceRoot":"","sources":["../../../src/core/base/Constant.ts"],"names":[],"mappings":"AAeA,OAAO,EAAc,IAAI,EAAe,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC;;GAEG;AACH,qBAAa,QAAS,YAAW,KAAK;IAClC,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,IAAI,CAAO;gBAEP,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,IAAgC;IAK1D,QAAQ,IAAI,MAAM;IAIlB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAIhC,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,IAAI,IAAI;IAIf,OAAO,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAI5B,QAAQ,IAAI,MAAM;CAS5B"}
+{"version":3,"file":"Constant.d.ts","sourceRoot":"","sources":["../../../src/core/base/Constant.ts"],"names":[],"mappings":"AAeA,OAAO,EAAiD,IAAI,EAAiB,MAAM,QAAQ,CAAC;AAC5F,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAGhC;;GAEG;AACH,qBAAa,QAAS,YAAW,KAAK;IAClC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAO;gBAEhB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI;IAKrC;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIlB,OAAO,IAAI,KAAK,EAAE;IAIzB;;;OAGG;IACI,OAAO,IAAI,IAAI;IAItB;;;OAGG;IACI,QAAQ,IAAI,MAAM;CAS5B;AAED,qBAAa,eAAgB,SAAQ,QAAQ;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAA8B;IAC3D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAA6B;gBAE7C,KAAK,EAAE,OAAO;WAIZ,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY;CAG1D;AAED,qBAAa,cAAe,SAAQ,QAAQ;gBAC5B,KAAK,EAAE,MAAM;CAG5B;AAED,qBAAa,cAAe,SAAQ,QAAQ;gBAC5B,KAAK,EAAE,MAAM;CAG5B;AAED,qBAAa,YAAa,SAAQ,QAAQ;IACtC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAsB;;WAMxC,WAAW,IAAI,YAAY;CAG5C;AAED,qBAAa,iBAAkB,SAAQ,QAAQ;IAC3C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA2B;;WAM7C,WAAW,IAAI,iBAAiB;CAGjD"}

package/lib/core/base/Constant.js

@@ -14,31 +14,38 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Constant = void 0;
+exports.UndefinedConstant = exports.NullConstant = exports.StringConstant = exports.NumberConstant = exports.BooleanConstant = exports.Constant = void 0;
 const Type_1 = require("./Type");
+const TSConst_1 = require("../common/TSConst");
 /**
  * @category core/base
  */
 class Constant {
-    constructor(value, type = Type_1.UnknownType.getInstance()) {
+    constructor(value, type) {
         this.value = value;
         this.type = type;
     }
+    /**
+     * Returns the constant's value as a **string**.
+     * @returns The constant's value.
+     */
     getValue() {
         return this.value;
     }
-    setValue(newValue) {
-        this.value = newValue;
-    }
     getUses() {
         return [];
     }
+    /**
+     * Returns the type of this constant.
+     * @returns The type of this constant.
+     */
     getType() {
         return this.type;
     }
-    setType(newType) {
-        this.type = newType;
-    }
+    /**
+     * Get a string of constant value in Constant.
+     * @returns The string of constant value.
+     */
     toString() {
         let str = '';
         if (this.type instanceof Type_1.StringType) {
@@ -51,3 +58,46 @@ class Constant {
     }
 }
 exports.Constant = Constant;
+class BooleanConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.BooleanType.getInstance());
+    }
+    static getInstance(value) {
+        return value ? this.TRUE : this.FALSE;
+    }
+}
+exports.BooleanConstant = BooleanConstant;
+BooleanConstant.FALSE = new BooleanConstant(false);
+BooleanConstant.TRUE = new BooleanConstant(true);
+class NumberConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.NumberType.getInstance());
+    }
+}
+exports.NumberConstant = NumberConstant;
+class StringConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.StringType.getInstance());
+    }
+}
+exports.StringConstant = StringConstant;
+class NullConstant extends Constant {
+    constructor() {
+        super(TSConst_1.NULL_KEYWORD, Type_1.NullType.getInstance());
+    }
+    static getInstance() {
+        return this.INSTANCE;
+    }
+}
+exports.NullConstant = NullConstant;
+NullConstant.INSTANCE = new NullConstant();
+class UndefinedConstant extends Constant {
+    constructor() {
+        super(TSConst_1.UNDEFINED_KEYWORD, Type_1.UndefinedType.getInstance());
+    }
+    static getInstance() {
+        return this.INSTANCE;
+    }
+}
+exports.UndefinedConstant = UndefinedConstant;
+UndefinedConstant.INSTANCE = new UndefinedConstant();