arkanalyzer 1.0.6 → 1.0.8

package/lib/callgraph/pointerAnalysis/Pag.js

@@ -37,7 +37,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.FuncPag = exports.Pag = exports.PagGlobalThisNode = exports.PagFuncNode = exports.PagParamNode = exports.PagNewArrayExprNode = exports.PagNewExprNode = 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.GLOBAL_THIS = exports.StorageLinkEdgeType = exports.StorageType = exports.PagEdgeKind = void 0;
+exports.InterFuncPag = exports.FuncPag = exports.Pag = exports.PagGlobalThisNode = exports.PagFuncNode = exports.PagParamNode = exports.PagNewArrayExprNode = exports.PagNewExprNode = 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.StorageLinkEdgeType = exports.StorageType = exports.PagEdgeKind = void 0;
 const BaseGraph_1 = require("../model/BaseGraph");
 const Stmt_1 = require("../../core/base/Stmt");
 const Expr_1 = require("../../core/base/Expr");
@@ -48,6 +48,8 @@ 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 logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
 /*
  * Implementation of pointer-to assignment graph for pointer analysis
@@ -61,22 +63,22 @@ var PagEdgeKind;
     PagEdgeKind[PagEdgeKind["Write"] = 3] = "Write";
     PagEdgeKind[PagEdgeKind["This"] = 4] = "This";
     PagEdgeKind[PagEdgeKind["Unknown"] = 5] = "Unknown";
-})(PagEdgeKind || (exports.PagEdgeKind = PagEdgeKind = {}));
+    PagEdgeKind[PagEdgeKind["InterProceduralCopy"] = 6] = "InterProceduralCopy";
+})(PagEdgeKind = exports.PagEdgeKind || (exports.PagEdgeKind = {}));
 ;
 var StorageType;
 (function (StorageType) {
     StorageType[StorageType["APP_STORAGE"] = 0] = "APP_STORAGE";
     StorageType[StorageType["LOCAL_STORAGE"] = 1] = "LOCAL_STORAGE";
     StorageType[StorageType["Undefined"] = 2] = "Undefined";
-})(StorageType || (exports.StorageType = StorageType = {}));
+})(StorageType = exports.StorageType || (exports.StorageType = {}));
 ;
 var StorageLinkEdgeType;
 (function (StorageLinkEdgeType) {
     StorageLinkEdgeType[StorageLinkEdgeType["Property2Local"] = 0] = "Property2Local";
     StorageLinkEdgeType[StorageLinkEdgeType["Local2Property"] = 1] = "Local2Property";
     StorageLinkEdgeType[StorageLinkEdgeType["TwoWay"] = 2] = "TwoWay";
-})(StorageLinkEdgeType || (exports.StorageLinkEdgeType = StorageLinkEdgeType = {}));
-exports.GLOBAL_THIS = 'globaThis';
+})(StorageLinkEdgeType = exports.StorageLinkEdgeType || (exports.StorageLinkEdgeType = {}));
 class PagEdge extends BaseGraph_1.BaseEdge {
     constructor(n, d, k, s) {
         super(n, d, k);
@@ -89,7 +91,7 @@ class PagEdge extends BaseGraph_1.BaseEdge {
             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) {
+                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";
@@ -99,6 +101,8 @@ class PagEdge extends BaseGraph_1.BaseEdge {
                 return "color=blue";
             case PagEdgeKind.This:
                 return "color=orange";
+            case PagEdgeKind.InterProceduralCopy:
+                return "color=purple,style=dashed";
             default:
                 return "color=black";
         }
@@ -149,7 +153,8 @@ var PagNodeKind;
     PagNodeKind[PagNodeKind["ThisRef"] = 4] = "ThisRef";
     PagNodeKind[PagNodeKind["Function"] = 5] = "Function";
     PagNodeKind[PagNodeKind["GlobalThis"] = 6] = "GlobalThis";
-})(PagNodeKind || (exports.PagNodeKind = PagNodeKind = {}));
+    PagNodeKind[PagNodeKind["ExportInfo"] = 7] = "ExportInfo";
+})(PagNodeKind = exports.PagNodeKind || (exports.PagNodeKind = {}));
 class PagNode extends BaseGraph_1.BaseNode {
     constructor(id, cid = undefined, value, k, s) {
         super(id, k);
@@ -165,7 +170,7 @@ class PagNode extends BaseGraph_1.BaseNode {
         this.basePt = pt;
     }
     getCid() {
-        if (this.cid == undefined) {
+        if (this.cid === undefined) {
             throw new Error('cid is undefine');
         }
         return this.cid;
@@ -204,32 +209,32 @@ class PagNode extends BaseGraph_1.BaseNode {
         return this.thisInEdges;
     }
     addAddressInEdge(e) {
-        this.addressInEdges == undefined ? this.addressInEdges = new Set() : undefined;
+        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 === 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 === 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 === 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 === 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 === undefined ? this.loadOutEdges = new Set() : undefined;
         this.loadOutEdges.add(e);
         this.addOutgoingEdge(e);
     }
@@ -295,6 +300,10 @@ class PagNode extends BaseGraph_1.BaseNode {
                 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';
         }
@@ -309,11 +318,11 @@ class PagNode extends BaseGraph_1.BaseNode {
             label = label + ` base:{${this.basePt}}`;
         }
         label = label + ` pts:{${Array.from(this.pointTo).join(',')}}`;
-        if (this.getKind() == PagNodeKind.Param) {
+        if (this.getKind() === PagNodeKind.Param) {
             param = this.value;
             label = label + `\nParam#${param.getIndex()} ${param.toString()}`;
         }
-        if (this.getKind() == PagNodeKind.ThisRef) {
+        if (this.getKind() === PagNodeKind.ThisRef) {
             label = label + `\n${this.value.toString()}`;
         }
         if (this.stmt) {
@@ -332,6 +341,7 @@ 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;
@@ -339,7 +349,17 @@ class PagLocalNode extends PagNode {
         this.relatedDynamicCallSite.add(cs);
     }
     getRelatedDynCallSites() {
-        return this.relatedDynamicCallSite;
+        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;
@@ -355,6 +375,12 @@ class PagLocalNode extends PagNode {
     isStorageLinked() {
         return this.storageLinked;
     }
+    setSdkParam() {
+        this.sdkParam = true;
+    }
+    isSdkParam() {
+        return this.sdkParam;
+    }
 }
 exports.PagLocalNode = PagLocalNode;
 class PagInstanceFieldNode extends PagNode {
@@ -443,8 +469,11 @@ class PagParamNode extends PagNode {
 exports.PagParamNode = PagParamNode;
 class PagFuncNode extends PagNode {
     // TODO: may add obj interface
-    constructor(id, cid = undefined, r, stmt) {
+    constructor(id, cid = undefined, r, stmt, method) {
         super(id, cid, r, PagNodeKind.Function, stmt);
+        if (method) {
+            this.methodSignature = method;
+        }
     }
     setMethod(method) {
         this.methodSignature = method;
@@ -497,7 +526,7 @@ class Pag extends BaseGraph_1.BaseGraph {
      * but different Node ID
      */
     getOrClonePagNode(src, basePt) {
-        if (src.getBasePt() != undefined) {
+        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());
@@ -543,7 +572,6 @@ class Pag extends BaseGraph_1.BaseGraph {
             if (existedNode) {
                 return this.getNode(existedNode);
             }
-            // let arrayBase: Local = (src.getValue() as ArkArrayRef).getBase()
             let fieldNode = this.getOrClonePagNode(src, basePt);
             baseNode.addElementNode(fieldNode.getID());
             fieldNode.setBasePt(basePt);
@@ -561,16 +589,13 @@ class Pag extends BaseGraph_1.BaseGraph {
             if (valueType instanceof Type_1.FunctionType &&
                 (value.getDeclaringStmt() === null)) {
                 // init function pointer
-                pagNode = new PagFuncNode(id, cid, value, stmt);
-                if (pagNode instanceof PagFuncNode) {
-                    pagNode.setMethod(valueType.getMethodSignature());
-                }
+                pagNode = new PagFuncNode(id, cid, value, stmt, valueType.getMethodSignature());
             }
             else {
                 // judge 'globalThis' is a redefined Local or real globalThis with its declaring stmt
                 // value has been replaced in param
-                if (value.getName() == exports.GLOBAL_THIS && value.getDeclaringStmt() == null) {
-                    pagNode = new PagGlobalThisNode(id, 0, value);
+                if (value.getName() === TSConst_1.GLOBAL_THIS && value.getDeclaringStmt() == null) {
+                    pagNode = new PagGlobalThisNode(id, -1, value);
                 }
                 else {
                     pagNode = new PagLocalNode(id, cid, value, stmt);
@@ -578,10 +603,24 @@ class Pag extends BaseGraph_1.BaseGraph {
             }
         }
         else if (value instanceof Ref_1.ArkInstanceFieldRef) {
-            pagNode = new PagInstanceFieldNode(id, cid, value, stmt);
+            if (value.getType() instanceof Type_1.FunctionType) {
+                // function ptr: let ptr = Class.MethodA
+                pagNode = new PagFuncNode(id, cid, value, stmt, value.getType().getMethodSignature());
+            }
+            else {
+                // normal field
+                pagNode = new PagInstanceFieldNode(id, cid, value, stmt);
+            }
         }
         else if (value instanceof Ref_1.ArkStaticFieldRef) {
-            pagNode = new PagStaticFieldNode(id, cid, value, stmt);
+            if (value.getType() instanceof Type_1.FunctionType) {
+                // function ptr: let ptr = Class.StaticMethodA
+                pagNode = new PagFuncNode(id, cid, value, stmt, value.getType().getMethodSignature());
+            }
+            else {
+                // normal field
+                pagNode = new PagStaticFieldNode(id, cid, value, stmt);
+            }
         }
         else if (value instanceof Ref_1.ArkArrayRef) {
             pagNode = new PagArrayNode(id, cid, value, stmt);
@@ -602,9 +641,21 @@ class Pag extends BaseGraph_1.BaseGraph {
             throw new Error('unsupported Value type ' + value.getType().toString());
         }
         this.addNode(pagNode);
-        this.addContextMap(refresh, cid, id, value, stmt, pagNode);
+        // Value
+        if (!(value instanceof ArkExport_1.ExportInfo)) {
+            this.addContextMap(refresh, cid, id, value, stmt, pagNode);
+        }
+        else {
+            // ExportInfo
+            this.addExportInfoMap(id, value);
+        }
         return pagNode;
     }
+    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) {
@@ -618,7 +669,7 @@ class Pag extends BaseGraph_1.BaseGraph {
         ctx2NdMap.set(cid, id);
         if (value instanceof Ref_1.ArkInstanceFieldRef || value instanceof Ref_1.ArkArrayRef) {
             let base = value.getBase();
-            //TODO: remove below once this Local is not uniq in @instance_init is fix
+            //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 &&
@@ -664,20 +715,25 @@ class Pag extends BaseGraph_1.BaseGraph {
         return pagNode;
     }
     getOrNewThisRefNode(thisRefNodeID, value) {
-        if (thisRefNodeID != -1) {
+        if (thisRefNodeID !== -1) {
             return this.getNode(thisRefNodeID);
         }
         let thisRefNode = this.addPagThisRefNode(value);
         return thisRefNode;
     }
     getOrNewThisLocalNode(cid, ptNode, value, s) {
-        if (ptNode != -1) {
+        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) {
@@ -701,8 +757,16 @@ class Pag extends BaseGraph_1.BaseGraph {
         return ndId;
     }
     getOrNewNode(cid, v, s) {
-        let nodeId = this.hasCtxNode(cid, v);
-        if (nodeId != undefined) {
+        let nodeId = undefined;
+        // 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);
@@ -719,12 +783,18 @@ class Pag extends BaseGraph_1.BaseGraph {
         if (this.ifEdgeExisting(edge)) {
             return false;
         }
-        //src.addOutgoingEdge(edge);
-        //dst.addIncomingEdge(edge);
         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 PagNewArrayExprNode) {
+                    this.addrEdge.add(edge);
+                    this.stashAddrEdge.add(edge);
+                }
                 break;
             case PagEdgeKind.Address:
                 src.addAddressOutEdge(edge);
@@ -743,6 +813,7 @@ class Pag extends BaseGraph_1.BaseGraph {
             case PagEdgeKind.This:
                 src.addThisOutEdge(edge);
                 dst.addThisInEdge(edge);
+                break;
             default:
                 ;
         }
@@ -787,8 +858,18 @@ class FuncPag {
         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;
+        this.internalEdges === undefined ? this.internalEdges = new Set() : undefined;
         let lhOp = stmt.getLeftOp();
         let rhOp = stmt.getRightOp();
         if (rhOp instanceof Constant_1.Constant) {
@@ -800,3 +881,15 @@ class FuncPag {
     }
 }
 exports.FuncPag = FuncPag;
+class InterFuncPag {
+    constructor() {
+        this.interFuncEdges = new Set();
+    }
+    getInterProceduralEdges() {
+        return this.interFuncEdges;
+    }
+    addToInterProceduralEdgeSet(e) {
+        this.interFuncEdges.add(e);
+    }
+}
+exports.InterFuncPag = InterFuncPag;

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

@@ -6,7 +6,7 @@ import { Value } from '../../core/base/Value';
 import { Local } from '../../core/base/Local';
 import { NodeID } from '../model/BaseGraph';
 import { ContextID } from './Context';
-import { Pag, FuncPag, PagNode, StorageType } from './Pag';
+import { Pag, FuncPag, PagNode, StorageType, InterFuncPag, PagNodeType } from './Pag';
 import { PtsSet } from './PtsDS';
 export declare class CSFuncID {
     cid: ContextID;
@@ -17,6 +17,7 @@ export declare class PagBuilder {
     private pag;
     private cg;
     private funcPags;
+    private interFuncPags?;
     private handledFunc;
     private ctx;
     private scene;
@@ -28,11 +29,15 @@ export declare class PagBuilder {
     private cid2ThisRefMap;
     private cid2ThisLocalMap;
     private sdkMethodReturnValueMap;
+    private sdkMethodParamValueMap;
+    private fakeSdkMethodParamDeclaringStmt;
     private funcHandledThisRound;
     private updatedNodesThisRound;
     private singletonFuncMap;
-    private globalThisValue?;
+    private globalThisValue;
+    private globalThisPagNode?;
     private storagePropertyMap;
+    private externalScopeVariableMap;
     constructor(p: Pag, cg: CallGraph, s: Scene, kLimit: number);
     private buildFuncPagAndAddToWorklist;
     private addToFuncHandledListThisRound;
@@ -40,6 +45,10 @@ export declare class PagBuilder {
     handleReachable(): boolean;
     build(): void;
     buildFuncPag(funcID: FuncID): boolean;
+    /**
+     * will not create real funcPag, only create param values
+     */
+    private buildSDKFuncPag;
     buildPagFromFuncPag(funcID: FuncID, cid: ContextID): void;
     addEdgesFromFuncPag(funcPag: FuncPag, cid: ContextID): boolean;
     addCallsEdgesFromFuncPag(funcPag: FuncPag, cid: ContextID): boolean;
@@ -53,8 +62,11 @@ export declare class PagBuilder {
     private processStorageProp;
     private processStorageSet;
     private processStorageGet;
-    addDynamicCallSite(funcPag: FuncPag): void;
-    addDynamicCallEdge(cs: DynCallSite, baseClassPTNode: NodeID, cid: ContextID): NodeID[];
+    private getPropertyName;
+    addDynamicCallSite(funcPag: FuncPag, funcID: FuncID): void;
+    addUnknownCallSite(funcPag: FuncPag, funcID: FuncID): void;
+    addDynamicCallEdge(cs: DynCallSite | CallSite, baseClassPTNode: NodeID, cid: ContextID): NodeID[];
+    private getDynamicCallee;
     addUpdatedNode(nodeID: NodeID, diffPT: PtsSet<NodeID>): void;
     getUpdatedNodes(): Map<number, PtsSet<number>>;
     resetUpdatedNodes(): void;
@@ -62,7 +74,10 @@ export declare class PagBuilder {
     handleUnprocessedCallSites(processedCallSites: Set<DynCallSite>): NodeID[];
     private addThisRefCallEdge;
     addStaticPagCallEdge(cs: CallSite, callerCid: ContextID, calleeCid?: ContextID): NodeID[];
-    getOrNewPagNode(cid: ContextID, v: Value, s?: Stmt): PagNode;
+    private addSDKMethodPagCallEdge;
+    private addSDKMethodReturnPagEdge;
+    private addSDKMethodParamPagEdge;
+    getOrNewPagNode(cid: ContextID, v: PagNodeType, s?: Stmt): PagNode;
     /**
      * return ThisRef PAG node according to cid, a cid has a unique ThisRef node
      * @param cid: current contextID
@@ -123,5 +138,19 @@ export declare class PagBuilder {
     printStat(): void;
     getUnhandledFuncs(): FuncID[];
     getHandledFuncs(): FuncID[];
+    /**
+     * build export edge in internal func pag
+     * @param value: Value that need to check if it is from import/export
+     * @param originValue: if Value if InstanceFieldRef, the base will be passed to `value` recursively,
+     *                      fieldRef will be passed to `originValue`
+     */
+    private handleValueFromExternalScope;
+    private addInterFuncEdge;
+    private getSourceValueFromExternalScope;
+    private getDefaultMethodSourceValue;
+    private getExportSourceValue;
+    private addExportVariableMap;
+    getExportVariableMap(src: Local): Local[];
+    addEdgesFromInterFuncPag(interFuncPag: InterFuncPag, cid: ContextID): boolean;
 }
 //# sourceMappingURL=PagBuilder.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"PagBuilder.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PagBuilder.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAiB,QAAQ,EAAE,WAAW,EAAqB,MAAM,oBAAoB,CAAC;AAChH,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,IAAI,EAA+C,MAAM,sBAAsB,CAAA;AAExF,OAAO,EAAwE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACvH,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAG9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAM5C,OAAO,EAAE,SAAS,EAAuC,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,GAAG,EAAE,OAAO,EAA6B,OAAO,EAA6C,WAAW,EAAuB,MAAM,OAAO,CAAC;AACtJ,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAKjC,qBAAa,QAAQ;IACV,GAAG,EAAE,SAAS,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;gBACV,GAAG,EAAC,SAAS,EAAE,GAAG,EAAE,MAAM;CAIzC;AAED,qBAAa,UAAU;IACnB,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,EAAE,CAAY;IACtB,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,GAAG,CAA2B;IACtC,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,OAAO,CAAU;IAEzB,OAAO,CAAC,2BAA2B,CAAiC;IACpE,OAAO,CAAC,6BAA6B,CAA0C;IAC/E,OAAO,CAAC,gBAAgB,CAAqC;IAC7D,OAAO,CAAC,cAAc,CAAqC;IAC3D,OAAO,CAAC,gBAAgB,CAAqC;IAC7D,OAAO,CAAC,uBAAuB,CAAyD;IACxF,OAAO,CAAC,oBAAoB,CAA0B;IACtD,OAAO,CAAC,qBAAqB,CAAyC;IACtE,OAAO,CAAC,gBAAgB,CAAmC;IAC3D,OAAO,CAAC,eAAe,CAAC,CAAQ;IAChC,OAAO,CAAC,kBAAkB,CAAmD;gBAEjE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM;IAS3D,OAAO,CAAC,4BAA4B;IAcpC,OAAO,CAAC,6BAA6B;IAQ9B,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI;IAWxC,eAAe,IAAI,OAAO;IAe1B,KAAK,IAAI,IAAI;IAUb,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAuErC,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS;IAiBlD,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO;IAsB9D,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO;IA8B1E;;;OAGG;IACH,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,kBAAkB;IAa1B,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,iBAAiB;IAWzB,OAAO,CAAC,iBAAiB;IAwBlB,kBAAkB,CAAC,OAAO,EAAE,OAAO;IAqBnC,kBAAkB,CAAC,EAAE,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE;IAqEtF,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IAMrD,eAAe;IAIf,iBAAiB;IAIjB,uBAAuB,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE;IAqDlE,0BAA0B,CAAC,kBAAkB,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,MAAM,EAAE;IA8BjF,OAAO,CAAC,kBAAkB;IAmCnB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE;IAmHzF,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO;IAsBnE;;;OAGG;IACI,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO;IAY3D,oBAAoB,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO;IAWjE,sBAAsB,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO;IAI/C,oBAAoB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS;IAI/D;;;;;OAKG;IACI,oBAAoB,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO;IAerF,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,GAAG,SAAS;IAoBnG;;;;;OAKG;IACI,mBAAmB,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IA6BpH,kBAAkB,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK;IAiC1C;;;OAGG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IA+BnD,OAAO,CAAC,gBAAgB;IA2CxB,OAAO,CAAC,UAAU;IA0BX,kBAAkB,IAAI,KAAK;IAIlC,OAAO,CAAC,wBAAwB;IAoBhC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAiBtB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,cAAc;IAgBtB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,cAAc;IAWf,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI;IAO7D,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,IAAI;IAQjE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAiBrD,MAAM,IAAI,IAAI;IAId,SAAS,IAAI,IAAI;IAIjB,iBAAiB,IAAI,MAAM,EAAE;IAQ7B,eAAe,IAAI,MAAM,EAAE;CAIrC"}
+{"version":3,"file":"PagBuilder.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PagBuilder.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAiB,QAAQ,EAAE,WAAW,EAAqB,MAAM,oBAAoB,CAAC;AAChH,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,IAAI,EAA+C,MAAM,sBAAsB,CAAA;AAExF,OAAO,EAA0F,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACzI,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAG9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAM5C,OAAO,EAAE,SAAS,EAAuC,MAAM,WAAW,CAAC;AAC3E,OAAO,EAAE,GAAG,EAAE,OAAO,EAA6B,OAAO,EAAoD,WAAW,EAA0C,YAAY,EAAuB,WAAW,EAAE,MAAM,OAAO,CAAC;AAChO,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAMjC,qBAAa,QAAQ;IACV,GAAG,EAAE,SAAS,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;gBACV,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM;CAI1C;AAED,qBAAa,UAAU;IACnB,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,EAAE,CAAY;IACtB,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,aAAa,CAAC,CAA4B;IAClD,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,GAAG,CAA2B;IACtC,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,OAAO,CAAU;IAEzB,OAAO,CAAC,2BAA2B,CAAiC;IACpE,OAAO,CAAC,6BAA6B,CAA0C;IAC/E,OAAO,CAAC,gBAAgB,CAAqC;IAC7D,OAAO,CAAC,cAAc,CAAqC;IAC3D,OAAO,CAAC,gBAAgB,CAAqC;IAC7D,OAAO,CAAC,uBAAuB,CAAyD;IAExF,OAAO,CAAC,sBAAsB,CAAmC;IACjE,OAAO,CAAC,+BAA+B,CAAyD;IAChG,OAAO,CAAC,oBAAoB,CAA0B;IACtD,OAAO,CAAC,qBAAqB,CAAyC;IACtE,OAAO,CAAC,gBAAgB,CAAmC;IAC3D,OAAO,CAAC,eAAe,CAAiC;IACxD,OAAO,CAAC,iBAAiB,CAAC,CAAoB;IAC9C,OAAO,CAAC,kBAAkB,CAAmD;IAC7E,OAAO,CAAC,wBAAwB,CAAkC;gBAEtD,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM;IAS3D,OAAO,CAAC,4BAA4B;IAcpC,OAAO,CAAC,6BAA6B;IAQ9B,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI;IAaxC,eAAe,IAAI,OAAO;IAe1B,KAAK,IAAI,IAAI;IAUb,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAoF5C;;OAEG;IACH,OAAO,CAAC,eAAe;IAuBhB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS;IAsBlD,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO;IAsB9D,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO;IA+B1E;;;OAGG;IACH,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,yBAAyB;IAajC,OAAO,CAAC,kBAAkB;IAkB1B,OAAO,CAAC,kBAAkB;IAiB1B,OAAO,CAAC,iBAAiB;IAgBzB,OAAO,CAAC,iBAAiB;IA8BzB,OAAO,CAAC,eAAe;IAahB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;IAoCnD,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAiC1D,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE;IAsCxG,OAAO,CAAC,gBAAgB;IAwDjB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;IAMrD,eAAe;IAIf,iBAAiB;IAIjB,uBAAuB,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE;IAqDlE,0BAA0B,CAAC,kBAAkB,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,MAAM,EAAE;IAmCjF,OAAO,CAAC,kBAAkB;IA2CnB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE;IAqFhG,OAAO,CAAC,uBAAuB;IAiB/B,OAAO,CAAC,yBAAyB;IA0BjC,OAAO,CAAC,wBAAwB;IAwDzB,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO;IAyBzE;;;OAGG;IACI,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO;IAY3D,oBAAoB,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO;IAWjE,sBAAsB,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO;IAI/C,oBAAoB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS;IAI/D;;;;;OAKG;IACI,oBAAoB,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO;IAerF,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,GAAG,SAAS;IAoBnG;;;;;OAKG;IACI,mBAAmB,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IA6BpH,kBAAkB,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK;IAiC1C;;;OAGG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IA+BnD,OAAO,CAAC,gBAAgB;IA2CxB,OAAO,CAAC,UAAU;IA0BX,kBAAkB,IAAI,KAAK;IAIlC,OAAO,CAAC,wBAAwB;IAoBhC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAmBtB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAkB9B,OAAO,CAAC,cAAc;IAgBtB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,cAAc;IAWf,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI;IAO7D,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,IAAI;IAQjE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAiBrD,MAAM,IAAI,IAAI;IAId,SAAS,IAAI,IAAI;IAIjB,iBAAiB,IAAI,MAAM,EAAE;IAQ7B,eAAe,IAAI,MAAM,EAAE;IAIlC;;;;;OAKG;IACH,OAAO,CAAC,4BAA4B;IAyBpC,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,+BAA+B;IAWvC,OAAO,CAAC,2BAA2B;IA6BnC,OAAO,CAAC,oBAAoB;IAuB5B,OAAO,CAAC,oBAAoB;IAQrB,oBAAoB,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,EAAE;IAKzC,wBAAwB,CAAC,YAAY,EAAE,YAAY,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO;CAoBvF"}