arkanalyzer 1.0.39 → 1.0.41

package/lib/callgraph/pointerAnalysis/PagBuilder.js

@@ -47,11 +47,12 @@ const Local_1 = require("../../core/base/Local");
 const Type_1 = require("../../core/base/Type");
 const Constant_1 = require("../../core/base/Constant");
 const Statistics_1 = require("../common/Statistics");
-const Context_1 = require("./Context");
 const Pag_1 = require("./Pag");
 const TSConst_1 = require("../../core/common/TSConst");
 const PTAUtils_1 = require("./PTAUtils");
 const PointerAnalysisConfig_1 = require("./PointerAnalysisConfig");
+const Context_1 = require("./context/Context");
+const ContextSelector_1 = require("./context/ContextSelector");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
 class CSFuncID {
     constructor(cid, fid) {
@@ -61,15 +62,12 @@ class CSFuncID {
 }
 exports.CSFuncID = CSFuncID;
 class PagBuilder {
-    constructor(p, cg, s, kLimit, scale) {
+    constructor(p, cg, s, config) {
         this.handledFunc = new Set();
         this.worklist = [];
         // TODO: change string to hash value
         this.staticField2UniqInstanceMap = new Map();
         this.instanceField2UniqInstanceMap = new Map();
-        this.cid2ThisRefPtMap = new Map();
-        this.cid2ThisRefMap = new Map();
-        this.cid2ThisLocalMap = new Map();
         this.sdkMethodReturnValueMap = new Map();
         // record the SDK API param, and create fake Values
         this.methodParamValueMap = new Map();
@@ -83,11 +81,25 @@ class PagBuilder {
         this.retriggerNodesList = new Set();
         this.pag = p;
         this.cg = cg;
-        this.scale = scale;
+        this.scale = config.analysisScale;
         this.funcPags = new Map();
-        this.ctx = new Context_1.KLimitedContextSensitive(kLimit);
         this.scene = s;
         this.pagStat = new Statistics_1.PAGStat();
+        let kLimit = config.kLimit;
+        switch (config.contextType) {
+            case PointerAnalysisConfig_1.ContextType.CallSite:
+                this.ctxSelector = new ContextSelector_1.KCallSiteContextSelector(kLimit);
+                break;
+            case PointerAnalysisConfig_1.ContextType.Obj:
+                this.ctxSelector = new ContextSelector_1.KObjContextSelector(kLimit);
+                break;
+            case PointerAnalysisConfig_1.ContextType.Func:
+                this.ctxSelector = new ContextSelector_1.KFuncContextSelector(kLimit);
+                break;
+            default:
+                this.ctxSelector = new ContextSelector_1.KCallSiteContextSelector(kLimit);
+                break;
+        }
     }
     buildFuncPagAndAddToWorklist(cs) {
         if (this.worklist.includes(cs)) {
@@ -109,12 +121,12 @@ class PagBuilder {
     buildForEntries(funcIDs) {
         this.worklist = [];
         funcIDs.forEach(funcID => {
-            let cid = this.ctx.getNewContextID(funcID);
+            let cid = this.ctxSelector.emptyContext(funcID);
             let csFuncID = new CSFuncID(cid, funcID);
             this.buildFuncPagAndAddToWorklist(csFuncID);
         });
         this.handleReachable();
-        this.globalThisPagNode = this.getOrNewGlobalThisNode(-1);
+        this.globalThisPagNode = this.getOrNewGlobalThisNode(ContextSelector_1.emptyID);
         this.pag.addPagEdge(this.globalThisPagNode, this.globalThisPagNode, Pag_1.PagEdgeKind.Copy);
     }
     handleReachable() {
@@ -131,7 +143,7 @@ class PagBuilder {
     }
     build() {
         for (let funcID of this.cg.getEntries()) {
-            let cid = this.ctx.getNewContextID(funcID);
+            let cid = this.ctxSelector.emptyContext(funcID);
             let csFuncID = new CSFuncID(cid, funcID);
             this.buildFuncPagAndAddToWorklist(csFuncID);
             this.handleReachable();
@@ -193,12 +205,12 @@ class PagBuilder {
             });
             return;
         }
-        let dycs = this.cg.getDynCallsiteByStmt(stmt);
+        let dycs = this.cg.getDynCallSiteByStmt(stmt);
         if (dycs) {
             this.addToDynamicCallSite(fpag, dycs);
         }
         else {
-            logger.error(`can not find callsite by stmt: ${stmt.toString()}`);
+            logger.error(`can not find callSite by stmt: ${stmt.toString()}`);
         }
     }
     processExternalScopeValue(value, funcID) {
@@ -322,9 +334,10 @@ class PagBuilder {
     }
     /// add Copy edges interprocedural
     addCallsEdgesFromFuncPag(funcPag, cid) {
+        var _a, _b;
         for (let cs of funcPag.getNormalCallSites()) {
             let ivkExpr = cs.callStmt.getInvokeExpr();
-            let calleeCid = this.ctx.getOrNewContext(cid, cs.calleeFuncID, true);
+            let calleeCid = this.ctxSelector.selectContext(cid, cs, ContextSelector_1.emptyID, cs.calleeFuncID);
             let calleeCGNode = this.cg.getNode(cs.calleeFuncID);
             if (this.scale === PointerAnalysisConfig_1.PtaAnalysisScale.MethodLevel) {
                 this.addStaticPagCallReturnEdge(cs, cid, calleeCid);
@@ -338,19 +351,18 @@ class PagBuilder {
             if (calleeCGNode.getKind() === CallGraph_1.CallGraphNodeKind.constructor || calleeCGNode.getKind() === CallGraph_1.CallGraphNodeKind.intrinsic) {
                 let callee = this.scene.getMethod(this.cg.getMethodByFuncID(cs.calleeFuncID));
                 if (ivkExpr instanceof Expr_1.ArkInstanceInvokeExpr) {
-                    let baseNode = this.getOrNewPagNode(cid, ivkExpr.getBase());
-                    let baseNodeID = baseNode.getID();
-                    this.addThisRefCallEdge(baseNodeID, cid, ivkExpr.getBase(), callee, calleeCid, cs.callerFuncID);
+                    this.addThisRefCallEdge(cid, ivkExpr.getBase(), callee, calleeCid, cs.callerFuncID);
                 }
                 else {
                     logger.error(`constructor or intrinsic func is static ${ivkExpr.toString()}`);
                 }
             }
+            this.cg.addDirectOrSpecialCallEdge((_a = this.cg.getArkMethodByFuncID(cs.callerFuncID)) === null || _a === void 0 ? void 0 : _a.getSignature(), (_b = this.cg.getArkMethodByFuncID(cs.calleeFuncID)) === null || _b === void 0 ? void 0 : _b.getSignature(), cs.callStmt);
         }
         return true;
     }
     addDynamicCallSite(funcPag, funcID, cid) {
-        // add dyn callsite in funcpag to base node
+        // add dyn callSite in funcpag to base node
         for (let cs of funcPag.getDynamicCallSites()) {
             let invokeExpr = cs.callStmt.getInvokeExpr();
             let base;
@@ -443,8 +455,8 @@ class PagBuilder {
             if (this.cg.detectReachable(dstCGNode.getID(), callerNode.getID())) {
                 return srcNodes;
             }
-            let calleeCid = this.ctx.getOrNewContext(cid, dstCGNode.getID(), true);
-            let staticCS = new CallGraph_1.CallSite(cs.callStmt, cs.args, dstCGNode.getID(), cs.callerFuncID);
+            let staticCS = this.cg.getCallSiteManager().cloneCallSiteFromDyn(cs, dstCGNode.getID());
+            let calleeCid = this.ctxSelector.selectContext(cid, staticCS, baseClassPTNode, dstCGNode.getID());
             if (this.scale === PointerAnalysisConfig_1.PtaAnalysisScale.MethodLevel) {
                 srcNodes.push(...this.addStaticPagCallReturnEdge(staticCS, baseClassPTNode, calleeCid));
                 continue;
@@ -522,7 +534,7 @@ class PagBuilder {
         srcNodes.push(...this.addStaticPagCallEdge(staticCS, cid, calleeCid, ptNode));
         // Pass base's pts to callee's this pointer
         if (!dstCGNode.isSdkMethod() && ivkExpr instanceof Expr_1.ArkInstanceInvokeExpr) {
-            let srcBaseNode = this.addThisRefCallEdge(baseClassPTNode, cid, ivkExpr.getBase(), callee, calleeCid, staticCS.callerFuncID);
+            let srcBaseNode = this.addThisRefCallEdge(cid, ivkExpr.getBase(), callee, calleeCid, staticCS.callerFuncID);
             if (srcBaseNode !== -1) {
                 srcNodes.push(srcBaseNode);
             }
@@ -536,7 +548,7 @@ class PagBuilder {
             if (!(thisValue instanceof Local_1.Local)) {
                 return srcNodes;
             }
-            this.addThisRefCallEdge(baseClassPTNode, ptNode.getOriginCid(), thisValue, callee, calleeCid, staticCS.callerFuncID);
+            this.addThisRefCallEdge(ptNode.getOriginCid(), thisValue, callee, calleeCid, staticCS.callerFuncID);
         }
         return srcNodes;
     }
@@ -576,7 +588,7 @@ class PagBuilder {
                 break;
             case PTAUtils_1.BuiltApiType.FunctionBind:
                 /**
-                 * clone the function node and add the this pointer, origin callsite, args offset to it
+                 * clone the function node and add the this pointer, origin callSite, args offset to it
                  * let f = function.bind(thisArg, arg1, arg2, ...)
                  * f();
                  */
@@ -616,7 +628,7 @@ class PagBuilder {
     handleFunctionCall(staticCS, cid, calleeCid, realCallee, srcNodes, baseClassPTNode) {
         this.buildFuncPagAndAddToWorklist(new CSFuncID(calleeCid, staticCS.calleeFuncID));
         srcNodes.push(...this.addCallParamPagEdge(realCallee, staticCS.args, staticCS.callStmt, cid, calleeCid, 1));
-        this.addThisEdge(staticCS, cid, realCallee, srcNodes, baseClassPTNode, calleeCid);
+        this.addThisEdge(staticCS, cid, realCallee, srcNodes, calleeCid);
     }
     handleFunctionApply(staticCS, cid, calleeCid, realCallee, srcNodes, baseClassPTNode) {
         this.buildFuncPagAndAddToWorklist(new CSFuncID(calleeCid, staticCS.calleeFuncID));
@@ -626,7 +638,7 @@ class PagBuilder {
         }
         let argsRealValues = this.transferArrayValues(callerMethod, staticCS.args[1]);
         srcNodes.push(...this.addCallParamPagEdge(realCallee, argsRealValues, staticCS.callStmt, cid, calleeCid, 0));
-        this.addThisEdge(staticCS, cid, realCallee, srcNodes, baseClassPTNode, calleeCid);
+        this.addThisEdge(staticCS, cid, realCallee, srcNodes, calleeCid);
     }
     handleFunctionBind(staticCS, cid, baseClassPTNode, srcNodes) {
         let srcNode = this.pag.getOrClonePagFuncNode(baseClassPTNode);
@@ -641,9 +653,9 @@ class PagBuilder {
         srcNode.setArgsOffset(1);
         srcNode.setOriginCid(cid);
     }
-    addThisEdge(staticCS, cid, realCallee, srcNodes, baseClassPTNode, calleeCid) {
+    addThisEdge(staticCS, cid, realCallee, srcNodes, calleeCid) {
         if (!(staticCS.args[0] instanceof Constant_1.NullConstant) && !realCallee.isStatic()) {
-            let srcNodeID = this.addThisRefCallEdge(baseClassPTNode, cid, staticCS.args[0], realCallee, calleeCid, staticCS.callerFuncID);
+            let srcNodeID = this.addThisRefCallEdge(cid, staticCS.args[0], realCallee, calleeCid, staticCS.callerFuncID);
             if (srcNodeID !== -1) {
                 srcNodes.push(srcNodeID);
             }
@@ -701,8 +713,8 @@ class PagBuilder {
             logger.warn(`\tAdd call edge of unknown call ${callee.getSignature().toString()}`);
             this.cg.addDynamicCallEdge(callerNode.getID(), dstCGNode.getID(), cs.callStmt);
             if (!this.cg.detectReachable(dstCGNode.getID(), callerNode.getID())) {
-                let calleeCid = this.ctx.getOrNewContext(cid, dstCGNode.getID(), true);
-                let staticCS = new CallGraph_1.CallSite(cs.callStmt, cs.args, dstCGNode.getID(), cs.callerFuncID);
+                let staticCS = this.cg.getCallSiteManager().cloneCallSiteFromDyn(cs, dstCGNode.getID());
+                let calleeCid = this.ctxSelector.selectContext(cid, staticCS, ContextSelector_1.emptyID, staticCS.calleeFuncID);
                 let staticSrcNodes = this.addStaticPagCallEdge(staticCS, cid, calleeCid);
                 srcNodes.push(...staticSrcNodes);
             }
@@ -740,8 +752,8 @@ class PagBuilder {
         }
         return reAnalyzeNodes;
     }
-    addThisRefCallEdge(baseClassPTNode, cid, baseLocal, callee, calleeCid, callerFunID) {
-        let thisRefNodeID = this.recordThisRefNode(baseClassPTNode, callee, calleeCid);
+    addThisRefCallEdge(cid, baseLocal, callee, calleeCid, callerFunID) {
+        let thisRefNodeID = this.recordThisRefNode(callee, calleeCid);
         if (thisRefNodeID === -1) {
             return -1;
         }
@@ -763,7 +775,7 @@ class PagBuilder {
         this.pag.addPagEdge(this.pag.getNode(srcNodeId), thisRefNode, Pag_1.PagEdgeKind.This);
         return srcNodeId;
     }
-    recordThisRefNode(baseClassPTNode, callee, calleeCid) {
+    recordThisRefNode(callee, calleeCid) {
         var _a;
         if (!callee || !callee.getCfg()) {
             logger.error(`callee is null`);
@@ -771,25 +783,22 @@ class PagBuilder {
         }
         let thisAssignStmt = (_a = callee
             .getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().filter(s => s instanceof Stmt_1.ArkAssignStmt && s.getRightOp() instanceof Ref_1.ArkThisRef);
-        let thisPtr = (thisAssignStmt === null || thisAssignStmt === void 0 ? void 0 : thisAssignStmt.at(0)).getRightOp();
+        let thisPtr = (thisAssignStmt === null || thisAssignStmt === void 0 ? void 0 : thisAssignStmt[0]).getRightOp();
         if (!thisPtr) {
             throw new Error('Can not get this ptr');
         }
-        // IMPORTANT: set cid 2 base Pt info firstly
-        this.cid2ThisRefPtMap.set(calleeCid, baseClassPTNode);
-        let thisRefNode = this.getOrNewThisRefNode(calleeCid, thisPtr);
-        thisRefNode.addPTNode(baseClassPTNode);
+        let thisRefNode = this.getOrNewPagNode(calleeCid, thisPtr);
         return thisRefNode.getID();
     }
     /*
      * Add copy edges from arguments to parameters
-     *     ret edges from return values to callsite
+     *     ret edges from return values to callSite
      * Return src node
      */
     addStaticPagCallEdge(cs, callerCid, calleeCid, ptNode) {
         var _a, _b, _c, _d;
         if (!calleeCid) {
-            calleeCid = this.ctx.getOrNewContext(callerCid, cs.calleeFuncID, true);
+            calleeCid = this.ctxSelector.selectContext(callerCid, cs, ptNode ? ptNode.getID() : ContextSelector_1.emptyID, cs.calleeFuncID);
         }
         let srcNodes = [];
         // Add reachable
@@ -845,8 +854,8 @@ class PagBuilder {
         }
         // add args to parameters edges
         for (let i = offset; i <= args.length; i++) {
-            let arg = args.at(i);
-            let param = params.at(i - offset);
+            let arg = args[i];
+            let param = params[i - offset];
             if (!arg || !param) {
                 return srcNodes;
             }
@@ -872,7 +881,7 @@ class PagBuilder {
         // container value is the base value of callstmt, its points-to is PagNewContainerExprNode
         let srcNodes = [];
         let containerValue = callStmt.getInvokeExpr().getBase();
-        let param = params.at(0);
+        let param = params[0];
         if (!containerValue || !param) {
             return srcNodes;
         }
@@ -924,7 +933,7 @@ class PagBuilder {
     }
     addStaticPagCallReturnEdge(cs, callerCid, calleeCid) {
         if (!calleeCid) {
-            calleeCid = this.ctx.getOrNewContext(callerCid, cs.calleeFuncID, true);
+            calleeCid = this.ctxSelector.selectContext(callerCid, cs, ContextSelector_1.emptyID, cs.calleeFuncID);
         }
         let srcNodes = [];
         // Add reachable
@@ -990,7 +999,7 @@ class PagBuilder {
         }
         // add args to parameters edges
         for (let i = 0; i < argNum; i++) {
-            let arg = (_b = cs.args) === null || _b === void 0 ? void 0 : _b.at(i);
+            let arg = (_b = cs.args) === null || _b === void 0 ? void 0 : _b[i];
             let paramValue;
             if (arg instanceof Local_1.Local && arg.getType() instanceof Type_1.FunctionType) {
                 // TODO: cannot find value
@@ -1019,7 +1028,7 @@ class PagBuilder {
                 dstPagNode.setSdkParam();
                 let sdkParamInvokeStmt = new Stmt_1.ArkInvokeStmt(new Expr_1.ArkPtrInvokeExpr(arg.getType().getMethodSignature(), paramValue, []));
                 // create new DynCallSite
-                let sdkParamCallSite = new CallGraph_1.DynCallSite(sdkParamInvokeStmt, undefined, undefined, funcID);
+                let sdkParamCallSite = this.cg.getCallSiteManager().newDynCallSite(sdkParamInvokeStmt, undefined, undefined, funcID);
                 dstPagNode.addRelatedDynCallSite(sdkParamCallSite);
             }
             this.pag.addPagEdge(srcPagNode, dstPagNode, Pag_1.PagEdgeKind.Copy, cs.callStmt);
@@ -1028,55 +1037,19 @@ class PagBuilder {
         return srcNodes;
     }
     getOrNewPagNode(cid, v, s) {
-        if (v instanceof Ref_1.ArkThisRef) {
-            return this.getOrNewThisRefNode(cid, v);
-        }
-        // this local is also not uniq!!!
-        // remove below block once this issue fixed
         // globalThis process can not be removed while all `globalThis` ref is the same Value
-        if (v instanceof Local_1.Local) {
-            if (v.getName() === 'this') {
-                return this.getOrNewThisLoalNode(cid, v, s);
-            }
-            else if (v.getName() === TSConst_1.GLOBAL_THIS_NAME && v.getDeclaringStmt() == null) {
-                // globalThis node has no cid
-                return this.getOrNewGlobalThisNode(-1);
-            }
+        if (v instanceof Local_1.Local && v.getName() === TSConst_1.GLOBAL_THIS_NAME && v.getDeclaringStmt() == null) {
+            // globalThis node has no cid
+            return this.getOrNewGlobalThisNode(-1);
         }
         if (v instanceof Ref_1.ArkInstanceFieldRef || v instanceof Ref_1.ArkStaticFieldRef) {
             v = this.getRealInstanceRef(v);
         }
         return this.pag.getOrNewNode(cid, v, s);
     }
-    /**
-     * return ThisRef PAG node according to cid, a cid has a unique ThisRef node
-     * @param cid: current contextID
-     */
-    getOrNewThisRefNode(cid, v) {
-        let thisRefNodeID = this.cid2ThisRefMap.get(cid);
-        if (!thisRefNodeID) {
-            thisRefNodeID = -1;
-        }
-        let thisRefNode = this.pag.getOrNewThisRefNode(thisRefNodeID, v);
-        this.cid2ThisRefMap.set(cid, thisRefNode.getID());
-        return thisRefNode;
-    }
-    // TODO: remove it once this local not uniq issue is fixed
-    getOrNewThisLoalNode(cid, v, s) {
-        let thisLocalNodeID = this.cid2ThisLocalMap.get(cid);
-        if (thisLocalNodeID) {
-            return this.pag.getNode(thisLocalNodeID);
-        }
-        let thisNode = this.pag.getOrNewNode(cid, v, s);
-        this.cid2ThisLocalMap.set(cid, thisNode.getID());
-        return thisNode;
-    }
     getOrNewGlobalThisNode(cid) {
         return this.pag.getOrNewNode(cid, this.getGlobalThisValue());
     }
-    getUniqThisLocalNode(cid) {
-        return this.cid2ThisLocalMap.get(cid);
-    }
     /**
      * search the storage map to get propertyNode with given storage and propertyFieldName
      * @param storage storage type: AppStorage, LocalStorage etc.
@@ -1475,7 +1448,7 @@ class PagBuilder {
         var _a;
         funcPag.addDynamicCallSite(cs);
         this.pagStat.numDynamicCall++;
-        logger.trace('[add dynamic callsite] ' + cs.callStmt.toString() + ':  ' + ((_a = cs.callStmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod().getSignature().toString()));
+        logger.trace('[add dynamic callSite] ' + cs.callStmt.toString() + ':  ' + ((_a = cs.callStmt.getCfg()) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod().getSignature().toString()));
     }
     setPtForNode(node, pts) {
         if (!pts) {
@@ -1571,7 +1544,7 @@ class PagBuilder {
         let srcFunc = (_c = src.getDeclaringStmt()) === null || _c === void 0 ? void 0 : _c.getCfg().getDeclaringMethod();
         if (srcFunc) {
             let srcFuncID = this.cg.getCallGraphNodeByMethod(srcFunc.getSignature()).getID();
-            let cid = this.ctx.getNewContextID(srcFuncID);
+            let cid = this.ctxSelector.emptyContext(funcID);
             let csFuncID = new CSFuncID(cid, srcFuncID);
             this.buildFuncPagAndAddToWorklist(csFuncID);
         }
@@ -1696,5 +1669,8 @@ class PagBuilder {
         });
         return usedValuesInArray;
     }
+    getContextSelector() {
+        return this.ctxSelector;
+    }
 }
 exports.PagBuilder = PagBuilder;

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

@@ -25,6 +25,7 @@ export declare class PointerAnalysis extends AbstractAnalysis {
     start(): void;
     private postProcess;
     getPTD(): DiffPTData<NodeID, NodeID, IPtsCollection<NodeID>>;
+    getPag(): Pag;
     getStat(): string;
     protected preProcessMethod(funcID: FuncID): CallSite[];
     setEntries(fIds: FuncID[]): void;
@@ -47,7 +48,7 @@ export declare class PointerAnalysis extends AbstractAnalysis {
     private propagate;
     /**
      * 1. 记录被更新的节点(记录cid, nodeid)
-     * 2. ( PAGLocalNode记录callsite(cid, value唯一))，通过1种的nodeID查询Node,拿到Callsite
+     * 2. ( PAGLocalNode记录callSite(cid, value唯一))，通过1种的nodeID查询Node,拿到CallSite
      * 3. 在addDynamicCall里对传入指针过滤（已处理指针和未处理指针）
      */
     private onTheFlyDynamicCallSolve;

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,oCAAoC,CAAC;AAG5D,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,EAAoB,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAIvD,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAAqD;IAChE,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;IAU1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAgB7G,SAAS,CAAC,IAAI,IAAI,IAAI;IAYf,KAAK,IAAI,IAAI;IAMpB,OAAO,CAAC,WAAW;IAgBZ,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IAI5D,OAAO,IAAI,MAAM;IAQxB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAIvC,OAAO,CAAC,eAAe;IAwBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAqBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,kBAAkB;IA6B1B,OAAO,CAAC,mBAAmB;IA4B3B;;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;IAclC,OAAO,CAAC,0BAA0B;IAclC,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;IA8BvB,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"}
+{"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,oCAAoC,CAAC;AAG5D,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,EAAoB,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAIvD,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAAqD;IAChE,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;IAU1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAgB7G,SAAS,CAAC,IAAI,IAAI,IAAI;IAYf,KAAK,IAAI,IAAI;IAMpB,OAAO,CAAC,WAAW;IAiBZ,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IAI5D,MAAM,IAAI,GAAG;IAIb,OAAO,IAAI,MAAM;IAQxB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAIvC,OAAO,CAAC,eAAe;IAwBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAqBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,kBAAkB;IA6B1B,OAAO,CAAC,mBAAmB;IA4B3B;;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;IAclC,OAAO,CAAC,0BAA0B;IAclC,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;IA8BvB,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

@@ -61,7 +61,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         super(s, cg);
         this.pag = p;
         this.ptd = new PtsDS_1.DiffPTData(config.ptsCollectionCtor);
-        this.pagBuilder = new PagBuilder_1.PagBuilder(this.pag, this.cg, s, config.kLimit, config.analysisScale);
+        this.pagBuilder = new PagBuilder_1.PagBuilder(this.pag, this.cg, s, config);
         this.cgBuilder = new CallGraphBuilder_1.CallGraphBuilder(this.cg, s);
         this.ptaStat = new Statistics_1.PTAStat(this);
         this.config = config;
@@ -125,13 +125,17 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             this.pag.dump(path_1.default.join(this.config.outputDirectory, 'ptaEnd_pag.dot'));
             this.cg.dump(path_1.default.join(this.config.outputDirectory, 'cgEnd.dot'));
         }
-        if (this.config.unhandledFuncDump) {
+        if (this.config.debug) {
             this.dumpUnhandledFunctions();
+            this.pagBuilder.getContextSelector().dump(this.config.outputDirectory, this.cg);
         }
     }
     getPTD() {
         return this.ptd;
     }
+    getPag() {
+        return this.pag;
+    }
     getStat() {
         let ret = this.cg.getStat();
         ret += '\n' + this.pagBuilder.getStat();
@@ -348,7 +352,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
     }
     /**
      * 1. 记录被更新的节点(记录cid, nodeid)
-     * 2. ( PAGLocalNode记录callsite(cid, value唯一))，通过1种的nodeID查询Node,拿到Callsite
+     * 2. ( PAGLocalNode记录callSite(cid, value唯一))，通过1种的nodeID查询Node,拿到CallSite
      * 3. 在addDynamicCall里对传入指针过滤（已处理指针和未处理指针）
      */
     onTheFlyDynamicCallSolve() {
@@ -377,13 +381,13 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             logger.warn(`node ${node.getID()} has no related dynamic call site`);
             return changed;
         }
-        logger.info(`[process dynamic callsite] node ${node.getID()}`);
-        dynCallSites.forEach(dynCallsite => {
+        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());
+                let srcNodes = this.pagBuilder.addDynamicCallEdge(dynCallSite, pt, node.getCid());
                 changed = this.addToReanalyze(srcNodes) || changed;
             }
-            processedCallSites.add(dynCallsite);
+            processedCallSites.add(dynCallSite);
         });
         return changed;
     }
@@ -394,7 +398,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             logger.warn(`node ${node.getID()} has no related unknown call site`);
             return changed;
         }
-        logger.info(`[process unknown callsite] node ${node.getID()}`);
+        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());

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

@@ -4,18 +4,25 @@ export declare enum PtaAnalysisScale {
     WholeProgram = 0,
     MethodLevel = 1
 }
+export declare enum ContextType {
+    CallSite = 0,
+    Obj = 1,
+    Func = 2
+}
 export declare class PointerAnalysisConfig {
     private static instance;
     kLimit: number;
+    contextType: ContextType;
     outputDirectory: string;
     detectTypeDiff: boolean;
     dotDump: boolean;
-    unhandledFuncDump: boolean;
+    debug: boolean;
     analysisScale: PtaAnalysisScale;
     ptsCollectionType: PtsCollectionType;
     ptsCollectionCtor: new () => IPtsCollection<NodeID>;
-    constructor(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, analysisScale?: PtaAnalysisScale, ptsCoType?: PtsCollectionType);
-    static create(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, analysisScale?: PtaAnalysisScale, ptsCoType?: PtsCollectionType): PointerAnalysisConfig;
+    constructor(kLimit: number, contextType: ContextType, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, debug?: boolean, analysisScale?: PtaAnalysisScale, ptsCoType?: PtsCollectionType);
+    static dispose(): void;
+    static create(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, debug?: boolean, analysisScale?: PtaAnalysisScale, ptsCoType?: PtsCollectionType, contextType?: ContextType): PointerAnalysisConfig;
     static getInstance(): PointerAnalysisConfig;
 }
 //# sourceMappingURL=PointerAnalysisConfig.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"PointerAnalysisConfig.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysisConfig.ts"],"names":[],"mappings":"AAgBA,OAAO,EAA2B,cAAc,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAC;AAE5D,oBAAY,gBAAgB;IACxB,YAAY,IAAI;IAChB,WAAW,IAAI;CAClB;AAED,qBAAa,qBAAqB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAwB;IAExC,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;IACjB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,aAAa,EAAE,gBAAgB,CAAC;IAChC,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,iBAAiB,EAAE,UAAU,cAAc,CAAC,MAAM,CAAC,CAAC;gBAOvD,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EACvB,cAAc,GAAE,OAAe,EAC/B,OAAO,GAAE,OAAe,EACxB,iBAAiB,GAAE,OAAe,EAClC,aAAa,GAAE,gBAAgD,EAC/D,SAAS,oBAAwB;WAuBvB,MAAM,CAChB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EACvB,cAAc,GAAE,OAAe,EAC/B,OAAO,GAAE,OAAe,EACxB,iBAAiB,GAAE,OAAe,EAClC,aAAa,GAAE,gBAAgD,EAC/D,SAAS,oBAAwB,GAClC,qBAAqB;WAgBV,WAAW,IAAI,qBAAqB;CAMrD"}
+{"version":3,"file":"PointerAnalysisConfig.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysisConfig.ts"],"names":[],"mappings":"AAgBA,OAAO,EAA2B,cAAc,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAC;AAE5D,oBAAY,gBAAgB;IACxB,YAAY,IAAI;IAChB,WAAW,IAAI;CAClB;AAED,oBAAY,WAAW;IACnB,QAAQ,IAAI;IACZ,GAAG,IAAI;IACP,IAAI,IAAI;CACX;AAED,qBAAa,qBAAqB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAwB;IAExC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,aAAa,EAAE,gBAAgB,CAAC;IAChC,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,iBAAiB,EAAE,UAAU,cAAc,CAAC,MAAM,CAAC,CAAC;gBAOvD,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,eAAe,EAAE,MAAM,EACvB,cAAc,GAAE,OAAe,EAC/B,OAAO,GAAE,OAAe,EACxB,KAAK,GAAE,OAAe,EACtB,aAAa,GAAE,gBAAgD,EAC/D,SAAS,oBAAwB;WAyBvB,OAAO,IAAI,IAAI;WASf,MAAM,CAChB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EACvB,cAAc,GAAE,OAAe,EAC/B,OAAO,GAAE,OAAe,EACxB,KAAK,GAAE,OAAe,EACtB,aAAa,GAAE,gBAAgD,EAC/D,SAAS,oBAAwB,EACjC,WAAW,GAAE,WAA8B,GAC5C,qBAAqB;WAiBV,WAAW,IAAI,qBAAqB;CAMrD"}

package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js

@@ -37,7 +37,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.PointerAnalysisConfig = exports.PtaAnalysisScale = void 0;
+exports.PointerAnalysisConfig = exports.ContextType = exports.PtaAnalysisScale = void 0;
 const fs = __importStar(require("fs"));
 const PtsDS_1 = require("./PtsDS");
 var PtaAnalysisScale;
@@ -45,12 +45,18 @@ var PtaAnalysisScale;
     PtaAnalysisScale[PtaAnalysisScale["WholeProgram"] = 0] = "WholeProgram";
     PtaAnalysisScale[PtaAnalysisScale["MethodLevel"] = 1] = "MethodLevel";
 })(PtaAnalysisScale = exports.PtaAnalysisScale || (exports.PtaAnalysisScale = {}));
+var ContextType;
+(function (ContextType) {
+    ContextType[ContextType["CallSite"] = 0] = "CallSite";
+    ContextType[ContextType["Obj"] = 1] = "Obj";
+    ContextType[ContextType["Func"] = 2] = "Func";
+})(ContextType = exports.ContextType || (exports.ContextType = {}));
 class PointerAnalysisConfig {
     /*
      * Note: DO NOT use `new PointerAnalysisConfig` to initialize ptaconfig
      *       Use PointerAnalysisConfig.create() for singleton pattern
      */
-    constructor(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, analysisScale = PtaAnalysisScale.WholeProgram, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
+    constructor(kLimit, contextType, outputDirectory, detectTypeDiff = false, dotDump = false, debug = false, analysisScale = PtaAnalysisScale.WholeProgram, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
         if (kLimit > 5) {
             throw new Error('K Limit too large');
         }
@@ -58,20 +64,29 @@ class PointerAnalysisConfig {
         this.outputDirectory = outputDirectory;
         this.detectTypeDiff = detectTypeDiff;
         this.dotDump = dotDump;
-        this.unhandledFuncDump = unhandledFuncDump;
+        this.debug = debug;
         this.analysisScale = analysisScale;
         this.ptsCollectionType = ptsCoType;
         this.ptsCollectionCtor = (0, PtsDS_1.createPtsCollectionCtor)(ptsCoType);
+        this.contextType = contextType;
         if (!fs.existsSync(outputDirectory)) {
             fs.mkdirSync(outputDirectory, { recursive: true });
         }
     }
+    /*
+     * Set static field to be null, then all related objects could be freed by GC.
+     * Class PointerAnalysisConfig has been exported by ArkAnalyzer, the dispose method should be called by users themselves before free this class.
+     */
+    static dispose() {
+        // @ts-expect-error: only be used to free the memory
+        this.instance = null;
+    }
     /*
      * Create Singleton instance
      * The instance can be created multi-times and be overwrited
      */
-    static create(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, analysisScale = PtaAnalysisScale.WholeProgram, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
-        PointerAnalysisConfig.instance = new PointerAnalysisConfig(kLimit, outputDirectory, detectTypeDiff, dotDump, unhandledFuncDump, analysisScale, ptsCoType);
+    static create(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, debug = false, analysisScale = PtaAnalysisScale.WholeProgram, ptsCoType = PtsDS_1.PtsCollectionType.Set, contextType = ContextType.Func) {
+        PointerAnalysisConfig.instance = new PointerAnalysisConfig(kLimit, contextType, outputDirectory, detectTypeDiff, dotDump, debug, analysisScale, ptsCoType);
         return PointerAnalysisConfig.instance;
     }
     /*

package/lib/callgraph/pointerAnalysis/context/Context.d.ts

@@ -0,0 +1,69 @@
+import { CallGraph } from '../../model/CallGraph';
+import { ContextItemManager } from './ContextItem';
+export type ContextID = number;
+export declare const DUMMY_CID = 0;
+/**
+ * An abstract base class representing a context in pointer analysis.
+ * A context is an immutable sequence of context elements (represented by their IDs).
+ */
+export declare abstract class Context {
+    protected contextElems: number[];
+    constructor(contextElems?: number[]);
+    /**
+     * Creates a new empty context instance.
+     * This static method must be called on a concrete subclass.
+     * @example CallSiteContext.newEmpty()
+     */
+    static newEmpty<T extends Context>(this: new () => T): T;
+    /**
+     * Creates a new context instance from an array of element IDs.
+     * This static method must be called on a concrete subclass.
+     * @param contextElems An array of ContextItem IDs.
+     * @example CallSiteContext.new([1, 2])
+     */
+    static new<T extends Context>(this: new (elems: number[]) => T, contextElems: number[]): T;
+    /**
+     * Creates a new k-limited context by prepending a new element to an old context.
+     * The returned instance has the same type as the `oldCtx`.
+     * @param oldCtx The previous context instance.
+     * @param elem The ID of the new element to add.
+     * @param k The maximum length limit for the context.
+     */
+    static newKLimitedContext<T extends Context>(oldCtx: T, elem: number, k: number): T;
+    /**
+     * Truncates an existing context to a specified k-limit.
+     * The returned instance has the same type as `ctx`.
+     * @param ctx The context instance to truncate.
+     * @param k The maximum length limit for the context.
+     */
+    static kLimitedContext<T extends Context>(ctx: T, k: number): T;
+    length(): number;
+    get(index: number): number;
+    toString(): string;
+    abstract append(callSiteID: number, elementID: number, k: number, m: ContextItemManager): Context;
+    abstract dump(m: ContextItemManager, cg: CallGraph): string;
+}
+export declare class CallSiteContext extends Context {
+    append(callSiteID: number, calleeFunc: number, k: number, m: ContextItemManager): CallSiteContext;
+    dump(m: ContextItemManager, cg: CallGraph): string;
+}
+export declare class ObjContext extends Context {
+    append(callSiteID: number, objId: number, k: number, m: ContextItemManager): ObjContext;
+    dump(m: ContextItemManager, cg: CallGraph): string;
+}
+export declare class FuncContext extends Context {
+    append(callSiteID: number, funcId: number, k: number, m: ContextItemManager): FuncContext;
+    dump(m: ContextItemManager, cg: CallGraph): string;
+}
+export declare class ContextCache {
+    private contextList;
+    private contextToIDMap;
+    constructor();
+    getOrNewContextID(context: Context): ContextID;
+    updateContext(id: ContextID, newContext: Context, oldContext: Context): boolean;
+    getContextID(context: Context): ContextID | undefined;
+    getContext(id: number): Context | undefined;
+    getContextList(): Context[];
+    dump(m: ContextItemManager, cg: CallGraph): string;
+}
+//# sourceMappingURL=Context.d.ts.map