arkanalyzer 1.0.20 → 1.0.22

package/lib/callgraph/common/Statistics.js

@@ -1,228 +1,228 @@
-"use strict";
-/*
- * Copyright (c) 2024 Huawei Device Co., Ltd.
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CGStat = exports.PAGStat = exports.PTAStat = void 0;
-const Stmt_1 = require("../../core/base/Stmt");
-const Type_1 = require("../../core/base/Type");
-const CallGraph_1 = require("../model/CallGraph");
-const logger_1 = __importStar(require("../../utils/logger"));
-const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
-class StatTraits {
-    getStat() {
-        return '';
-    }
-    printStat() {
-        logger.trace(this.getStat());
-    }
-}
-class PTAStat {
-    constructor(pta) {
-        this.numProcessedAddr = 0;
-        this.numProcessedCopy = 0;
-        this.numProcessedLoad = 0;
-        this.numProcessedWrite = 0;
-        this.numProcessedThis = 0;
-        this.numRealWrite = 0;
-        this.numRealLoad = 0;
-        this.numUnhandledFun = 0;
-        this.numTotalValuesInHandedFun = 0;
-        this.numTotalHandledValue = 0;
-        // Original type is UnknownType but inferred by PTA
-        this.numInferedUnknownValue = 0;
-        // Original type is not UnknownType and inferred with different type by PTA
-        this.numInferedDiffTypeValue = 0;
-        // Total number of values in the functions visited by PTA
-        this.totalValuesInVisitedFunc = 0;
-        // Original type is UnkonwnType and not inferred by PTA as well
-        this.numNotInferedUnknownValue = 0;
-        this.numUnhandledFunc = 0;
-        this.iterTimes = 0;
-        this.TotalTime = 0;
-        this.startTime = 0;
-        this.endTime = 0;
-        this.rssUsed = 0;
-        this.heapUsed = 0;
-        this.pta = pta;
-    }
-    startStat() {
-        this.startTime = this.getNow();
-        this.startMemUsage = process.memoryUsage();
-    }
-    endStat() {
-        this.endTime = this.getNow();
-        this.endMemUsage = process.memoryUsage();
-        this.TotalTime = (this.endTime - this.startTime) / 1000;
-        this.rssUsed = Number(this.endMemUsage.rss - this.startMemUsage.rss) / Number(1024 * 1024);
-        this.heapUsed = Number(this.endMemUsage.heapTotal - this.startMemUsage.heapTotal) / Number(1024 * 1024);
-        this.getInferedStat();
-        this.getUnhandledFuncStat();
-    }
-    getNow() {
-        return new Date().getTime();
-    }
-    getInferedStat() {
-        let inferred = Array.from(this.pta.getTypeDiffMap().keys());
-        let visited = new Set();
-        let cg = this.pta.getCallGraph();
-        this.pta.getHandledFuncs().forEach(funcID => {
-            var _a;
-            let f = cg.getArkMethodByFuncID(funcID);
-            (_a = f === null || f === void 0 ? void 0 : f.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().forEach(s => {
-                if (!(s instanceof Stmt_1.ArkAssignStmt)) {
-                    return;
-                }
-                let lop = s.getLeftOp();
-                if (visited.has(lop)) {
-                    return;
-                }
-                visited.add(lop);
-                if (inferred.includes(lop)) {
-                    if (lop.getType() instanceof Type_1.UnknownType) {
-                        this.numInferedUnknownValue++;
-                    }
-                    else {
-                        this.numInferedDiffTypeValue++;
-                    }
-                }
-                else {
-                    if (lop.getType() instanceof Type_1.UnknownType) {
-                        this.numNotInferedUnknownValue++;
-                    }
-                }
-                this.totalValuesInVisitedFunc++;
-            });
-        });
-    }
-    getUnhandledFuncStat() {
-        let cg = this.pta.getCallGraph();
-        this.pta.getUnhandledFuncs().forEach(funcID => {
-            let cgNode = cg.getNode(funcID);
-            if (cgNode.isSdkMethod()) {
-                return;
-            }
-            let f = cg.getArkMethodByFuncID(funcID);
-            if (f) {
-                this.numUnhandledFun++;
-            }
-        });
-    }
-    getStat() {
-        // TODO: get PAG stat and CG stat
-        let output;
-        output = '==== Pointer analysis Statictics: ====\n';
-        output = output + `Processed address\t${this.numProcessedAddr}\n`;
-        output = output + `Processed copy\t\t${this.numProcessedCopy}\n`;
-        output = output + `Processed load\t\t${this.numProcessedLoad}\n`;
-        output = output + `Processed write\t\t${this.numProcessedWrite}\n`;
-        output = output + `Real write\t\t${this.numRealWrite}\n`;
-        output = output + `Real load\t\t${this.numRealLoad}\n`;
-        output = output + `Processed This\t\t${this.numProcessedThis}\n\n`;
-        output = output + `Unhandled function\t${this.numUnhandledFun}\n`;
-        output = output + `Total values in visited function\t${this.totalValuesInVisitedFunc}\n`;
-        output = output + `Infered Value unknown+different type\t${this.numInferedUnknownValue}+${this.numInferedDiffTypeValue}\n\n`;
-        output = output + `Total Time\t\t${this.TotalTime} S\n`;
-        output = output + `Total iterator Times\t${this.iterTimes}\n`;
-        output = output + `RSS used\t\t${this.rssUsed.toFixed(3)} Mb\n`;
-        output = output + `Heap used\t\t${this.heapUsed.toFixed(3)} Mb\n`;
-        return output;
-    }
-    printStat() {
-        logger.trace(this.getStat());
-    }
-}
-exports.PTAStat = PTAStat;
-class PAGStat {
-    constructor() {
-        this.numDynamicCall = 0;
-        this.numTotalFunction = 0;
-        this.numTotalNode = 0;
-    }
-    getStat() {
-        let output;
-        output = '==== PAG Statictics: ====\n';
-        output = output + `Dynamic call\t\t${this.numDynamicCall}\n`;
-        output = output + `Total function handled\t${this.numTotalFunction}\n`;
-        output = output + `Total PAG Nodes\t\t${this.numTotalNode}\n`;
-        return output;
-    }
-    printStat() {
-        logger.trace(this.getStat());
-    }
-}
-exports.PAGStat = PAGStat;
-class CGStat extends StatTraits {
-    constructor() {
-        super(...arguments);
-        //real, vitual, intrinsic, constructor
-        this.numTotalNode = 0;
-        this.numReal = 0;
-        this.numVirtual = 0;
-        this.numIntrinsic = 0;
-        this.numConstructor = 0;
-    }
-    addNodeStat(kind) {
-        switch (kind) {
-            case CallGraph_1.CallGraphNodeKind.real:
-                this.numReal++;
-                break;
-            case CallGraph_1.CallGraphNodeKind.vitual:
-                this.numVirtual++;
-                break;
-            case CallGraph_1.CallGraphNodeKind.constructor:
-                this.numConstructor++;
-                break;
-            case CallGraph_1.CallGraphNodeKind.intrinsic:
-                this.numIntrinsic++;
-                break;
-            default:
-        }
-        this.numTotalNode++;
-    }
-    getStat() {
-        let output;
-        output = '==== CG Statictics: ====\n';
-        output = output + `Real function\t\t${this.numReal}\n`;
-        output = output + `Intrinsic function\t${this.numIntrinsic}\n`;
-        output = output + `Constructor function\t${this.numConstructor}\n`;
-        output = output + `Blank function\t\t${this.numVirtual}\n`;
-        output = output + `Total\t\t\t${this.numTotalNode}\n`;
-        return output;
-    }
-}
-exports.CGStat = CGStat;
+"use strict";
+/*
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CGStat = exports.PAGStat = exports.PTAStat = void 0;
+const Stmt_1 = require("../../core/base/Stmt");
+const Type_1 = require("../../core/base/Type");
+const CallGraph_1 = require("../model/CallGraph");
+const logger_1 = __importStar(require("../../utils/logger"));
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
+class StatTraits {
+    getStat() {
+        return '';
+    }
+    printStat() {
+        logger.trace(this.getStat());
+    }
+}
+class PTAStat {
+    constructor(pta) {
+        this.numProcessedAddr = 0;
+        this.numProcessedCopy = 0;
+        this.numProcessedLoad = 0;
+        this.numProcessedWrite = 0;
+        this.numProcessedThis = 0;
+        this.numRealWrite = 0;
+        this.numRealLoad = 0;
+        this.numUnhandledFun = 0;
+        this.numTotalValuesInHandedFun = 0;
+        this.numTotalHandledValue = 0;
+        // Original type is UnknownType but inferred by PTA
+        this.numInferedUnknownValue = 0;
+        // Original type is not UnknownType and inferred with different type by PTA
+        this.numInferedDiffTypeValue = 0;
+        // Total number of values in the functions visited by PTA
+        this.totalValuesInVisitedFunc = 0;
+        // Original type is UnkonwnType and not inferred by PTA as well
+        this.numNotInferedUnknownValue = 0;
+        this.numUnhandledFunc = 0;
+        this.iterTimes = 0;
+        this.TotalTime = 0;
+        this.startTime = 0;
+        this.endTime = 0;
+        this.rssUsed = 0;
+        this.heapUsed = 0;
+        this.pta = pta;
+    }
+    startStat() {
+        this.startTime = this.getNow();
+        this.startMemUsage = process.memoryUsage();
+    }
+    endStat() {
+        this.endTime = this.getNow();
+        this.endMemUsage = process.memoryUsage();
+        this.TotalTime = (this.endTime - this.startTime) / 1000;
+        this.rssUsed = Number(this.endMemUsage.rss - this.startMemUsage.rss) / Number(1024 * 1024);
+        this.heapUsed = Number(this.endMemUsage.heapTotal - this.startMemUsage.heapTotal) / Number(1024 * 1024);
+        this.getInferedStat();
+        this.getUnhandledFuncStat();
+    }
+    getNow() {
+        return new Date().getTime();
+    }
+    getInferedStat() {
+        let inferred = Array.from(this.pta.getTypeDiffMap().keys());
+        let visited = new Set();
+        let cg = this.pta.getCallGraph();
+        this.pta.getHandledFuncs().forEach(funcID => {
+            var _a;
+            let f = cg.getArkMethodByFuncID(funcID);
+            (_a = f === null || f === void 0 ? void 0 : f.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().forEach(s => {
+                if (!(s instanceof Stmt_1.ArkAssignStmt)) {
+                    return;
+                }
+                let lop = s.getLeftOp();
+                if (visited.has(lop)) {
+                    return;
+                }
+                visited.add(lop);
+                if (inferred.includes(lop)) {
+                    if (lop.getType() instanceof Type_1.UnknownType) {
+                        this.numInferedUnknownValue++;
+                    }
+                    else {
+                        this.numInferedDiffTypeValue++;
+                    }
+                }
+                else {
+                    if (lop.getType() instanceof Type_1.UnknownType) {
+                        this.numNotInferedUnknownValue++;
+                    }
+                }
+                this.totalValuesInVisitedFunc++;
+            });
+        });
+    }
+    getUnhandledFuncStat() {
+        let cg = this.pta.getCallGraph();
+        this.pta.getUnhandledFuncs().forEach(funcID => {
+            let cgNode = cg.getNode(funcID);
+            if (cgNode.isSdkMethod()) {
+                return;
+            }
+            let f = cg.getArkMethodByFuncID(funcID);
+            if (f) {
+                this.numUnhandledFun++;
+            }
+        });
+    }
+    getStat() {
+        // TODO: get PAG stat and CG stat
+        let output;
+        output = '==== Pointer analysis Statictics: ====\n';
+        output = output + `Processed address\t${this.numProcessedAddr}\n`;
+        output = output + `Processed copy\t\t${this.numProcessedCopy}\n`;
+        output = output + `Processed load\t\t${this.numProcessedLoad}\n`;
+        output = output + `Processed write\t\t${this.numProcessedWrite}\n`;
+        output = output + `Real write\t\t${this.numRealWrite}\n`;
+        output = output + `Real load\t\t${this.numRealLoad}\n`;
+        output = output + `Processed This\t\t${this.numProcessedThis}\n\n`;
+        output = output + `Unhandled function\t${this.numUnhandledFun}\n`;
+        output = output + `Total values in visited function\t${this.totalValuesInVisitedFunc}\n`;
+        output = output + `Infered Value unknown+different type\t${this.numInferedUnknownValue}+${this.numInferedDiffTypeValue}\n\n`;
+        output = output + `Total Time\t\t${this.TotalTime} S\n`;
+        output = output + `Total iterator Times\t${this.iterTimes}\n`;
+        output = output + `RSS used\t\t${this.rssUsed.toFixed(3)} Mb\n`;
+        output = output + `Heap used\t\t${this.heapUsed.toFixed(3)} Mb\n`;
+        return output;
+    }
+    printStat() {
+        logger.trace(this.getStat());
+    }
+}
+exports.PTAStat = PTAStat;
+class PAGStat {
+    constructor() {
+        this.numDynamicCall = 0;
+        this.numTotalFunction = 0;
+        this.numTotalNode = 0;
+    }
+    getStat() {
+        let output;
+        output = '==== PAG Statictics: ====\n';
+        output = output + `Dynamic call\t\t${this.numDynamicCall}\n`;
+        output = output + `Total function handled\t${this.numTotalFunction}\n`;
+        output = output + `Total PAG Nodes\t\t${this.numTotalNode}\n`;
+        return output;
+    }
+    printStat() {
+        logger.trace(this.getStat());
+    }
+}
+exports.PAGStat = PAGStat;
+class CGStat extends StatTraits {
+    constructor() {
+        super(...arguments);
+        //real, vitual, intrinsic, constructor
+        this.numTotalNode = 0;
+        this.numReal = 0;
+        this.numVirtual = 0;
+        this.numIntrinsic = 0;
+        this.numConstructor = 0;
+    }
+    addNodeStat(kind) {
+        switch (kind) {
+            case CallGraph_1.CallGraphNodeKind.real:
+                this.numReal++;
+                break;
+            case CallGraph_1.CallGraphNodeKind.vitual:
+                this.numVirtual++;
+                break;
+            case CallGraph_1.CallGraphNodeKind.constructor:
+                this.numConstructor++;
+                break;
+            case CallGraph_1.CallGraphNodeKind.intrinsic:
+                this.numIntrinsic++;
+                break;
+            default:
+        }
+        this.numTotalNode++;
+    }
+    getStat() {
+        let output;
+        output = '==== CG Statictics: ====\n';
+        output = output + `Real function\t\t${this.numReal}\n`;
+        output = output + `Intrinsic function\t${this.numIntrinsic}\n`;
+        output = output + `Constructor function\t${this.numConstructor}\n`;
+        output = output + `Blank function\t\t${this.numVirtual}\n`;
+        output = output + `Total\t\t\t${this.numTotalNode}\n`;
+        return output;
+    }
+}
+exports.CGStat = CGStat;

package/lib/callgraph/model/CallGraph.d.ts

@@ -1,97 +1,97 @@
-import { MethodSignature } from '../../core/model/ArkSignature';
-import { Stmt } from '../../core/base/Stmt';
-import { Value } from '../../core/base/Value';
-import { Scene } from '../../Scene';
-import { ArkMethod } from '../../core/model/ArkMethod';
-import { BaseEdge, BaseNode, BaseExplicitGraph, NodeID } from '../../core/graph/BaseExplicitGraph';
-import { ContextID } from '../pointerAnalysis/Context';
-export type Method = MethodSignature;
-export type CallSiteID = number;
-export type FuncID = number;
-export declare enum CallGraphNodeKind {
-    real = 0,
-    vitual = 1,
-    intrinsic = 2,
-    constructor = 3
-}
-export declare class CallSite {
-    callStmt: Stmt;
-    args: Value[] | undefined;
-    calleeFuncID: FuncID;
-    callerFuncID: FuncID;
-    constructor(s: Stmt, a: Value[] | undefined, ce: FuncID, cr: FuncID);
-}
-export declare class DynCallSite {
-    callerFuncID: FuncID;
-    callStmt: Stmt;
-    args: Value[] | undefined;
-    protentialCalleeFuncID: FuncID | undefined;
-    constructor(caller: FuncID, s: Stmt, a: Value[] | undefined, ptcCallee: FuncID | undefined);
-}
-export declare class CSCallSite extends CallSite {
-    cid: ContextID;
-    constructor(id: ContextID, cs: CallSite);
-}
-export declare class CallGraphEdge extends BaseEdge {
-    private directCalls;
-    private specialCalls;
-    private indirectCalls;
-    constructor(src: CallGraphNode, dst: CallGraphNode);
-    addDirectCallSite(stmt: Stmt): void;
-    addSpecialCallSite(stmt: Stmt): void;
-    addInDirectCallSite(stmt: Stmt): void;
-    getDotAttr(): string;
-}
-export declare class CallGraphNode extends BaseNode {
-    private method;
-    private ifSdkMethod;
-    private isBlank;
-    constructor(id: number, m: Method, k?: CallGraphNodeKind);
-    getMethod(): Method;
-    setSdkMethod(v: boolean): void;
-    isSdkMethod(): boolean;
-    get isBlankMethod(): boolean;
-    set isBlankMethod(is: boolean);
-    getDotAttr(): string;
-    getDotLabel(): string;
-}
-export declare class CallGraph extends BaseExplicitGraph {
-    private scene;
-    private idToCallSiteMap;
-    private callSiteToIdMap;
-    private stmtToCallSitemap;
-    private stmtToDynCallSitemap;
-    private methodToCGNodeMap;
-    private callPairToEdgeMap;
-    private callSiteNum;
-    private entries;
-    private cgStat;
-    private dummyMainMethodID;
-    constructor(s: Scene);
-    private getCallPairString;
-    getCallEdgeByPair(srcID: NodeID, dstID: NodeID): CallGraphEdge | undefined;
-    addCallGraphNode(method: Method, kind?: CallGraphNodeKind): CallGraphNode;
-    removeCallGraphNode(nodeID: NodeID): void;
-    getCallGraphNodeByMethod(method: Method): CallGraphNode;
-    addDirectOrSpecialCallEdge(caller: Method, callee: Method, callStmt: Stmt, isDirectCall?: boolean): void;
-    removeCallGraphEdge(nodeID: NodeID): void;
-    addDynamicCallInfo(callStmt: Stmt, caller: Method, protentialCallee?: Method): void;
-    addDynamicCallEdge(callerID: NodeID, calleeID: NodeID, callStmt: Stmt): void;
-    getDynCallsiteByStmt(stmt: Stmt): DynCallSite | undefined;
-    addStmtToCallSiteMap(stmt: Stmt, cs: CallSite): boolean;
-    getCallSiteByStmt(stmt: Stmt): CallSite | undefined;
-    getDynEdges(): Map<Method, Set<Method>>;
-    getMethodByFuncID(id: FuncID): Method | null;
-    getArkMethodByFuncID(id: FuncID): ArkMethod | null;
-    getEntries(): FuncID[];
-    setEntries(n: NodeID[]): void;
-    dump(name: string, entry?: FuncID): void;
-    detectReachable(fromID: FuncID, dstID: FuncID): boolean;
-    printStat(): void;
-    getStat(): string;
-    setDummyMainFuncID(dummyMainMethodID: number): void;
-    getDummyMainFuncID(): FuncID | undefined;
-    isUnknownMethod(funcID: FuncID): boolean;
-    getGraphName(): string;
-}
+import { MethodSignature } from '../../core/model/ArkSignature';
+import { Stmt } from '../../core/base/Stmt';
+import { Value } from '../../core/base/Value';
+import { Scene } from '../../Scene';
+import { ArkMethod } from '../../core/model/ArkMethod';
+import { BaseEdge, BaseNode, BaseExplicitGraph, NodeID } from '../../core/graph/BaseExplicitGraph';
+import { ContextID } from '../pointerAnalysis/Context';
+export type Method = MethodSignature;
+export type CallSiteID = number;
+export type FuncID = number;
+export declare enum CallGraphNodeKind {
+    real = 0,
+    vitual = 1,
+    intrinsic = 2,
+    constructor = 3
+}
+export declare class CallSite {
+    callStmt: Stmt;
+    args: Value[] | undefined;
+    calleeFuncID: FuncID;
+    callerFuncID: FuncID;
+    constructor(s: Stmt, a: Value[] | undefined, ce: FuncID, cr: FuncID);
+}
+export declare class DynCallSite {
+    callerFuncID: FuncID;
+    callStmt: Stmt;
+    args: Value[] | undefined;
+    protentialCalleeFuncID: FuncID | undefined;
+    constructor(caller: FuncID, s: Stmt, a: Value[] | undefined, ptcCallee: FuncID | undefined);
+}
+export declare class CSCallSite extends CallSite {
+    cid: ContextID;
+    constructor(id: ContextID, cs: CallSite);
+}
+export declare class CallGraphEdge extends BaseEdge {
+    private directCalls;
+    private specialCalls;
+    private indirectCalls;
+    constructor(src: CallGraphNode, dst: CallGraphNode);
+    addDirectCallSite(stmt: Stmt): void;
+    addSpecialCallSite(stmt: Stmt): void;
+    addInDirectCallSite(stmt: Stmt): void;
+    getDotAttr(): string;
+}
+export declare class CallGraphNode extends BaseNode {
+    private method;
+    private ifSdkMethod;
+    private isBlank;
+    constructor(id: number, m: Method, k?: CallGraphNodeKind);
+    getMethod(): Method;
+    setSdkMethod(v: boolean): void;
+    isSdkMethod(): boolean;
+    get isBlankMethod(): boolean;
+    set isBlankMethod(is: boolean);
+    getDotAttr(): string;
+    getDotLabel(): string;
+}
+export declare class CallGraph extends BaseExplicitGraph {
+    private scene;
+    private idToCallSiteMap;
+    private callSiteToIdMap;
+    private stmtToCallSitemap;
+    private stmtToDynCallSitemap;
+    private methodToCGNodeMap;
+    private callPairToEdgeMap;
+    private callSiteNum;
+    private entries;
+    private cgStat;
+    private dummyMainMethodID;
+    constructor(s: Scene);
+    private getCallPairString;
+    getCallEdgeByPair(srcID: NodeID, dstID: NodeID): CallGraphEdge | undefined;
+    addCallGraphNode(method: Method, kind?: CallGraphNodeKind): CallGraphNode;
+    removeCallGraphNode(nodeID: NodeID): void;
+    getCallGraphNodeByMethod(method: Method): CallGraphNode;
+    addDirectOrSpecialCallEdge(caller: Method, callee: Method, callStmt: Stmt, isDirectCall?: boolean): void;
+    removeCallGraphEdge(nodeID: NodeID): void;
+    addDynamicCallInfo(callStmt: Stmt, caller: Method, protentialCallee?: Method): void;
+    addDynamicCallEdge(callerID: NodeID, calleeID: NodeID, callStmt: Stmt): void;
+    getDynCallsiteByStmt(stmt: Stmt): DynCallSite | undefined;
+    addStmtToCallSiteMap(stmt: Stmt, cs: CallSite): boolean;
+    getCallSiteByStmt(stmt: Stmt): CallSite | undefined;
+    getDynEdges(): Map<Method, Set<Method>>;
+    getMethodByFuncID(id: FuncID): Method | null;
+    getArkMethodByFuncID(id: FuncID): ArkMethod | null;
+    getEntries(): FuncID[];
+    setEntries(n: NodeID[]): void;
+    dump(name: string, entry?: FuncID): void;
+    detectReachable(fromID: FuncID, dstID: FuncID): boolean;
+    printStat(): void;
+    getStat(): string;
+    setDummyMainFuncID(dummyMainMethodID: number): void;
+    getDummyMainFuncID(): FuncID | undefined;
+    isUnknownMethod(funcID: FuncID): boolean;
+    getGraphName(): string;
+}
 //# sourceMappingURL=CallGraph.d.ts.map