arkanalyzer 1.0.20 → 1.0.21

package/lib/callgraph/algorithm/AbstractAnalysis.d.ts

@@ -1,29 +1,29 @@
-import { Scene } from '../../Scene';
-import { AbstractInvokeExpr } from '../../core/base/Expr';
-import { Stmt } from '../../core/base/Stmt';
-import { ArkClass } from '../../core/model/ArkClass';
-import { ArkMethod } from '../../core/model/ArkMethod';
-import { MethodSignature } from '../../core/model/ArkSignature';
-import { NodeID } from '../../core/graph/BaseExplicitGraph';
-import { CallGraph, FuncID, CallSite } from '../model/CallGraph';
-import { CallGraphBuilder } from '../model/builder/CallGraphBuilder';
-export declare abstract class AbstractAnalysis {
-    protected scene: Scene;
-    protected cg: CallGraph;
-    protected cgBuilder: CallGraphBuilder;
-    protected workList: FuncID[];
-    protected processedMethod: Set<FuncID>;
-    constructor(s: Scene);
-    getScene(): Scene;
-    getCallGraph(): CallGraph;
-    protected abstract resolveCall(sourceMethod: NodeID, invokeStmt: Stmt): CallSite[];
-    protected abstract preProcessMethod(funcID: FuncID): CallSite[];
-    resolveInvokeExpr(invokeExpr: AbstractInvokeExpr): ArkMethod | undefined;
-    getClassHierarchy(arkClass: ArkClass): ArkClass[];
-    start(displayGeneratedMethod: boolean): void;
-    protected init(): void;
-    protected processMethod(methodID: FuncID): CallSite[];
-    protected getParamAnonymousMethod(invokeExpr: AbstractInvokeExpr): MethodSignature[];
-    protected addCallGraphEdge(caller: FuncID, callee: ArkMethod | null, cs: CallSite, displayGeneratedMethod: boolean): void;
-}
+import { Scene } from '../../Scene';
+import { AbstractInvokeExpr } from '../../core/base/Expr';
+import { Stmt } from '../../core/base/Stmt';
+import { ArkClass } from '../../core/model/ArkClass';
+import { ArkMethod } from '../../core/model/ArkMethod';
+import { MethodSignature } from '../../core/model/ArkSignature';
+import { NodeID } from '../../core/graph/BaseExplicitGraph';
+import { CallGraph, FuncID, CallSite } from '../model/CallGraph';
+import { CallGraphBuilder } from '../model/builder/CallGraphBuilder';
+export declare abstract class AbstractAnalysis {
+    protected scene: Scene;
+    protected cg: CallGraph;
+    protected cgBuilder: CallGraphBuilder;
+    protected workList: FuncID[];
+    protected processedMethod: Set<FuncID>;
+    constructor(s: Scene);
+    getScene(): Scene;
+    getCallGraph(): CallGraph;
+    protected abstract resolveCall(sourceMethod: NodeID, invokeStmt: Stmt): CallSite[];
+    protected abstract preProcessMethod(funcID: FuncID): CallSite[];
+    resolveInvokeExpr(invokeExpr: AbstractInvokeExpr): ArkMethod | undefined;
+    getClassHierarchy(arkClass: ArkClass): ArkClass[];
+    start(displayGeneratedMethod: boolean): void;
+    protected init(): void;
+    protected processMethod(methodID: FuncID): CallSite[];
+    protected getParamAnonymousMethod(invokeExpr: AbstractInvokeExpr): MethodSignature[];
+    protected addCallGraphEdge(caller: FuncID, callee: ArkMethod | null, cs: CallSite, displayGeneratedMethod: boolean): void;
+}
 //# sourceMappingURL=AbstractAnalysis.d.ts.map

package/lib/callgraph/algorithm/AbstractAnalysis.js

@@ -1,144 +1,144 @@
-"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.AbstractAnalysis = void 0;
-const Type_1 = require("../../core/base/Type");
-const logger_1 = __importStar(require("../../utils/logger"));
-const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'CG');
-class AbstractAnalysis {
-    constructor(s) {
-        this.workList = [];
-        this.scene = s;
-    }
-    getScene() {
-        return this.scene;
-    }
-    getCallGraph() {
-        return this.cg;
-    }
-    resolveInvokeExpr(invokeExpr) {
-        const method = this.scene.getMethod(invokeExpr.getMethodSignature());
-        if (method != null) {
-            return method;
-        }
-    }
-    getClassHierarchy(arkClass) {
-        // TODO: remove abstract class
-        let classWorkList = [arkClass];
-        // TODO: check class with no super Class
-        let classHierarchy = [];
-        while (classWorkList.length > 0) {
-            // TODO: no dumplicated check, TS doesn't allow multi extend
-            let tempClass = classWorkList.shift();
-            classWorkList.push(...tempClass.getExtendedClasses().values());
-            classHierarchy.push(tempClass);
-        }
-        return classHierarchy;
-    }
-    start(displayGeneratedMethod) {
-        this.init();
-        while (this.workList.length !== 0) {
-            const method = this.workList.shift();
-            const cgNode = this.cg.getNode(method);
-            if (this.processedMethod.has(method) || cgNode.isSdkMethod()) {
-                continue;
-            }
-            // pre process for RTA only
-            this.preProcessMethod(method).forEach((cs) => {
-                this.workList.push(cs.calleeFuncID);
-            });
-            this.processMethod(method).forEach((cs) => {
-                var _a;
-                let me = this.cg.getArkMethodByFuncID(cs.calleeFuncID);
-                this.addCallGraphEdge(method, me, cs, displayGeneratedMethod);
-                if (!this.processedMethod.has(cs.calleeFuncID)) {
-                    this.workList.push(cs.calleeFuncID);
-                    logger.info(`New workList item ${cs.calleeFuncID}: ${(_a = this.cg.getArkMethodByFuncID(cs.calleeFuncID)) === null || _a === void 0 ? void 0 : _a.getSignature().toString()}`);
-                    this.processedMethod.add(cs.callerFuncID);
-                }
-            });
-        }
-    }
-    init() {
-        this.processedMethod = new Set();
-        this.cg.getEntries().forEach((entryFunc) => {
-            this.workList.push(entryFunc);
-        });
-    }
-    processMethod(methodID) {
-        let cgNode = this.cg.getNode(methodID);
-        let arkMethod = this.scene.getMethod(cgNode.getMethod(), true);
-        let calleeMethods = [];
-        if (!arkMethod) {
-            throw new Error("can not find method");
-        }
-        const cfg = arkMethod.getCfg();
-        if (!cfg) {
-            return [];
-        }
-        cfg.getStmts().forEach((stmt) => {
-            if (stmt.containsInvokeExpr()) {
-                this.resolveCall(cgNode.getID(), stmt).forEach(stmt => calleeMethods.push(stmt));
-            }
-        });
-        return calleeMethods;
-    }
-    getParamAnonymousMethod(invokeExpr) {
-        let paramMethod = [];
-        invokeExpr.getArgs().forEach((args) => {
-            let argsType = args.getType();
-            if (argsType instanceof Type_1.FunctionType) {
-                paramMethod.push(argsType.getMethodSignature());
-            }
-        });
-        return paramMethod;
-    }
-    addCallGraphEdge(caller, callee, cs, displayGeneratedMethod) {
-        // check if need to display generated method
-        if (!callee) {
-            logger.error(`FuncID has no method ${cs.calleeFuncID}`);
-        }
-        else {
-            if (displayGeneratedMethod || !(callee === null || callee === void 0 ? void 0 : callee.isGenerated())) {
-                this.cg.addDynamicCallEdge(caller, cs.calleeFuncID, cs.callStmt);
-            }
-        }
-    }
-}
-exports.AbstractAnalysis = AbstractAnalysis;
+"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.AbstractAnalysis = void 0;
+const Type_1 = require("../../core/base/Type");
+const logger_1 = __importStar(require("../../utils/logger"));
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'CG');
+class AbstractAnalysis {
+    constructor(s) {
+        this.workList = [];
+        this.scene = s;
+    }
+    getScene() {
+        return this.scene;
+    }
+    getCallGraph() {
+        return this.cg;
+    }
+    resolveInvokeExpr(invokeExpr) {
+        const method = this.scene.getMethod(invokeExpr.getMethodSignature());
+        if (method != null) {
+            return method;
+        }
+    }
+    getClassHierarchy(arkClass) {
+        // TODO: remove abstract class
+        let classWorkList = [arkClass];
+        // TODO: check class with no super Class
+        let classHierarchy = [];
+        while (classWorkList.length > 0) {
+            // TODO: no dumplicated check, TS doesn't allow multi extend
+            let tempClass = classWorkList.shift();
+            classWorkList.push(...tempClass.getExtendedClasses().values());
+            classHierarchy.push(tempClass);
+        }
+        return classHierarchy;
+    }
+    start(displayGeneratedMethod) {
+        this.init();
+        while (this.workList.length !== 0) {
+            const method = this.workList.shift();
+            const cgNode = this.cg.getNode(method);
+            if (this.processedMethod.has(method) || cgNode.isSdkMethod()) {
+                continue;
+            }
+            // pre process for RTA only
+            this.preProcessMethod(method).forEach((cs) => {
+                this.workList.push(cs.calleeFuncID);
+            });
+            this.processMethod(method).forEach((cs) => {
+                var _a;
+                let me = this.cg.getArkMethodByFuncID(cs.calleeFuncID);
+                this.addCallGraphEdge(method, me, cs, displayGeneratedMethod);
+                if (!this.processedMethod.has(cs.calleeFuncID)) {
+                    this.workList.push(cs.calleeFuncID);
+                    logger.info(`New workList item ${cs.calleeFuncID}: ${(_a = this.cg.getArkMethodByFuncID(cs.calleeFuncID)) === null || _a === void 0 ? void 0 : _a.getSignature().toString()}`);
+                    this.processedMethod.add(cs.callerFuncID);
+                }
+            });
+        }
+    }
+    init() {
+        this.processedMethod = new Set();
+        this.cg.getEntries().forEach((entryFunc) => {
+            this.workList.push(entryFunc);
+        });
+    }
+    processMethod(methodID) {
+        let cgNode = this.cg.getNode(methodID);
+        let arkMethod = this.scene.getMethod(cgNode.getMethod(), true);
+        let calleeMethods = [];
+        if (!arkMethod) {
+            throw new Error("can not find method");
+        }
+        const cfg = arkMethod.getCfg();
+        if (!cfg) {
+            return [];
+        }
+        cfg.getStmts().forEach((stmt) => {
+            if (stmt.containsInvokeExpr()) {
+                this.resolveCall(cgNode.getID(), stmt).forEach(stmt => calleeMethods.push(stmt));
+            }
+        });
+        return calleeMethods;
+    }
+    getParamAnonymousMethod(invokeExpr) {
+        let paramMethod = [];
+        invokeExpr.getArgs().forEach((args) => {
+            let argsType = args.getType();
+            if (argsType instanceof Type_1.FunctionType) {
+                paramMethod.push(argsType.getMethodSignature());
+            }
+        });
+        return paramMethod;
+    }
+    addCallGraphEdge(caller, callee, cs, displayGeneratedMethod) {
+        // check if need to display generated method
+        if (!callee) {
+            logger.error(`FuncID has no method ${cs.calleeFuncID}`);
+        }
+        else {
+            if (displayGeneratedMethod || !(callee === null || callee === void 0 ? void 0 : callee.isGenerated())) {
+                this.cg.addDynamicCallEdge(caller, cs.calleeFuncID, cs.callStmt);
+            }
+        }
+    }
+}
+exports.AbstractAnalysis = AbstractAnalysis;

package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts

@@ -1,11 +1,11 @@
-import { Scene } from '../../Scene';
-import { Stmt } from '../../core/base/Stmt';
-import { NodeID } from '../../core/graph/BaseExplicitGraph';
-import { CallGraph, CallSite } from '../model/CallGraph';
-import { AbstractAnalysis } from './AbstractAnalysis';
-export declare class ClassHierarchyAnalysis extends AbstractAnalysis {
-    constructor(scene: Scene, cg: CallGraph);
-    resolveCall(callerMethod: NodeID, invokeStmt: Stmt): CallSite[];
-    protected preProcessMethod(): CallSite[];
-}
+import { Scene } from '../../Scene';
+import { Stmt } from '../../core/base/Stmt';
+import { NodeID } from '../../core/graph/BaseExplicitGraph';
+import { CallGraph, CallSite } from '../model/CallGraph';
+import { AbstractAnalysis } from './AbstractAnalysis';
+export declare class ClassHierarchyAnalysis extends AbstractAnalysis {
+    constructor(scene: Scene, cg: CallGraph);
+    resolveCall(callerMethod: NodeID, invokeStmt: Stmt): CallSite[];
+    protected preProcessMethod(): CallSite[];
+}
 //# sourceMappingURL=ClassHierarchyAnalysis.d.ts.map

package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js

@@ -1,69 +1,69 @@
-"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.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ClassHierarchyAnalysis = void 0;
-const Expr_1 = require("../../core/base/Expr");
-const CallGraph_1 = require("../model/CallGraph");
-const AbstractAnalysis_1 = require("./AbstractAnalysis");
-class ClassHierarchyAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
-    constructor(scene, cg) {
-        super(scene);
-        this.cg = cg;
-    }
-    resolveCall(callerMethod, invokeStmt) {
-        let invokeExpr = invokeStmt.getInvokeExpr();
-        let resolveResult = [];
-        if (!invokeExpr) {
-            return [];
-        }
-        // process anonymous method call
-        this.getParamAnonymousMethod(invokeExpr).forEach(method => {
-            resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(method).getID(), callerMethod));
-        });
-        let calleeMethod = this.resolveInvokeExpr(invokeExpr);
-        if (!calleeMethod) {
-            return resolveResult;
-        }
-        if (invokeExpr instanceof Expr_1.ArkStaticInvokeExpr) {
-            // get specific method
-            resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(calleeMethod.getSignature()).getID(), callerMethod));
-        }
-        else {
-            let declareClass = calleeMethod.getDeclaringArkClass();
-            // TODO: super class method should be placed at the end
-            this.getClassHierarchy(declareClass).forEach((arkClass) => {
-                if (arkClass.isAbstract()) {
-                    return;
-                }
-                let possibleCalleeMethod = arkClass.getMethodWithName(calleeMethod.getName());
-                if (possibleCalleeMethod && possibleCalleeMethod.isGenerated() &&
-                    arkClass.getSignature().toString() !== declareClass.getSignature().toString()) {
-                    // remove the generated method in extended classes
-                    return;
-                }
-                if (possibleCalleeMethod && !possibleCalleeMethod.isAbstract()) {
-                    resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(possibleCalleeMethod.getSignature()).getID(), callerMethod));
-                }
-            });
-        }
-        return resolveResult;
-    }
-    preProcessMethod() {
-        // do nothing
-        return [];
-    }
-}
-exports.ClassHierarchyAnalysis = ClassHierarchyAnalysis;
+"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.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClassHierarchyAnalysis = void 0;
+const Expr_1 = require("../../core/base/Expr");
+const CallGraph_1 = require("../model/CallGraph");
+const AbstractAnalysis_1 = require("./AbstractAnalysis");
+class ClassHierarchyAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
+    constructor(scene, cg) {
+        super(scene);
+        this.cg = cg;
+    }
+    resolveCall(callerMethod, invokeStmt) {
+        let invokeExpr = invokeStmt.getInvokeExpr();
+        let resolveResult = [];
+        if (!invokeExpr) {
+            return [];
+        }
+        // process anonymous method call
+        this.getParamAnonymousMethod(invokeExpr).forEach(method => {
+            resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(method).getID(), callerMethod));
+        });
+        let calleeMethod = this.resolveInvokeExpr(invokeExpr);
+        if (!calleeMethod) {
+            return resolveResult;
+        }
+        if (invokeExpr instanceof Expr_1.ArkStaticInvokeExpr) {
+            // get specific method
+            resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(calleeMethod.getSignature()).getID(), callerMethod));
+        }
+        else {
+            let declareClass = calleeMethod.getDeclaringArkClass();
+            // TODO: super class method should be placed at the end
+            this.getClassHierarchy(declareClass).forEach((arkClass) => {
+                if (arkClass.isAbstract()) {
+                    return;
+                }
+                let possibleCalleeMethod = arkClass.getMethodWithName(calleeMethod.getName());
+                if (possibleCalleeMethod && possibleCalleeMethod.isGenerated() &&
+                    arkClass.getSignature().toString() !== declareClass.getSignature().toString()) {
+                    // remove the generated method in extended classes
+                    return;
+                }
+                if (possibleCalleeMethod && !possibleCalleeMethod.isAbstract()) {
+                    resolveResult.push(new CallGraph_1.CallSite(invokeStmt, undefined, this.cg.getCallGraphNodeByMethod(possibleCalleeMethod.getSignature()).getID(), callerMethod));
+                }
+            });
+        }
+        return resolveResult;
+    }
+    preProcessMethod() {
+        // do nothing
+        return [];
+    }
+}
+exports.ClassHierarchyAnalysis = ClassHierarchyAnalysis;

package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts

@@ -1,16 +1,16 @@
-import { Scene } from '../../Scene';
-import { Stmt } from '../../core/base/Stmt';
-import { ClassSignature } from '../../core/model/ArkSignature';
-import { NodeID } from '../../core/graph/BaseExplicitGraph';
-import { CallGraph, CallSite, FuncID } from '../model/CallGraph';
-import { AbstractAnalysis } from './AbstractAnalysis';
-export declare class RapidTypeAnalysis extends AbstractAnalysis {
-    private instancedClasses;
-    private ignoredCalls;
-    constructor(scene: Scene, cg: CallGraph);
-    resolveCall(callerMethod: NodeID, invokeStmt: Stmt): CallSite[];
-    protected preProcessMethod(funcID: FuncID): CallSite[];
-    private collectInstancedClassesInMethod;
-    addIgnoredCalls(arkClass: ClassSignature, callerID: FuncID, calleeID: FuncID, invokeStmt: Stmt): void;
-}
+import { Scene } from '../../Scene';
+import { Stmt } from '../../core/base/Stmt';
+import { ClassSignature } from '../../core/model/ArkSignature';
+import { NodeID } from '../../core/graph/BaseExplicitGraph';
+import { CallGraph, CallSite, FuncID } from '../model/CallGraph';
+import { AbstractAnalysis } from './AbstractAnalysis';
+export declare class RapidTypeAnalysis extends AbstractAnalysis {
+    private instancedClasses;
+    private ignoredCalls;
+    constructor(scene: Scene, cg: CallGraph);
+    resolveCall(callerMethod: NodeID, invokeStmt: Stmt): CallSite[];
+    protected preProcessMethod(funcID: FuncID): CallSite[];
+    private collectInstancedClassesInMethod;
+    addIgnoredCalls(arkClass: ClassSignature, callerID: FuncID, calleeID: FuncID, invokeStmt: Stmt): void;
+}
 //# sourceMappingURL=RapidTypeAnalysis.d.ts.map