arkanalyzer 1.0.5

package/lib/index.js

@@ -0,0 +1,190 @@
+"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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DominanceTree = exports.DominanceFinder = exports.Cfg = exports.BasicBlock = exports.UndefinedVariableSolver = exports.UndefinedVariableChecker = exports.TiantAnalysisSolver = exports.TiantAnalysisChecker = exports.Fact = exports.PathEdge = exports.PathEdgePoint = exports.Edge = exports.factEqual = exports.DataflowSolver = exports.DataflowResult = exports.DataflowProblem = exports.Scope = exports.VisibleValue = exports.ValueUtil = exports.TypeInference = exports.StmtUseReplacer = exports.RefUseReplacer = exports.IRUtils = exports.ExprUseReplacer = exports.DummyMainCreater = exports.ModelUtils = exports.FullPosition = exports.LineColPosition = exports.Local = exports.DefUseChain = exports.Decorator = exports.Constant = exports.DiffPTData = exports.PtsSet = exports.PointerAnalysisConfig = exports.PointerAnalysis = exports.PagBuilder = exports.CSFuncID = exports.DummyCallCreator = exports.KLimitedContextSensitive = exports.CallGraphBuilder = exports.BaseGraph = exports.BaseNode = exports.BaseEdge = exports.CGStat = exports.PAGStat = exports.PTAStat = exports.RapidTypeAnalysis = exports.ClassHierarchyAnalysis = exports.AbstractAnalysis = void 0;
+exports.GraphPrinter = exports.JsonPrinter = exports.SourceFilePrinter = exports.SourceNamespacePrinter = exports.SourceClassPrinter = exports.SourceMethodPrinter = exports.DotFilePrinter = exports.DotNamespacePrinter = exports.DotClassPrinter = exports.DotMethodPrinter = exports.PrinterBuilder = exports.Printer = exports.Scene = exports.SceneConfig = exports.ArkBody = exports.ImportInfo = exports.ExportInfo = exports.ArkField = exports.ArkMethod = exports.ArkClass = exports.ArkNamespace = exports.ArkFile = void 0;
+// callgraph/algorithm
+var AbstractAnalysis_1 = require("./callgraph/algorithm/AbstractAnalysis");
+Object.defineProperty(exports, "AbstractAnalysis", { enumerable: true, get: function () { return AbstractAnalysis_1.AbstractAnalysis; } });
+var ClassHierarchyAnalysis_1 = require("./callgraph/algorithm/ClassHierarchyAnalysis");
+Object.defineProperty(exports, "ClassHierarchyAnalysis", { enumerable: true, get: function () { return ClassHierarchyAnalysis_1.ClassHierarchyAnalysis; } });
+var RapidTypeAnalysis_1 = require("./callgraph/algorithm/RapidTypeAnalysis");
+Object.defineProperty(exports, "RapidTypeAnalysis", { enumerable: true, get: function () { return RapidTypeAnalysis_1.RapidTypeAnalysis; } });
+// callgraph/common
+var Statistics_1 = require("./callgraph/common/Statistics");
+Object.defineProperty(exports, "PTAStat", { enumerable: true, get: function () { return Statistics_1.PTAStat; } });
+Object.defineProperty(exports, "PAGStat", { enumerable: true, get: function () { return Statistics_1.PAGStat; } });
+Object.defineProperty(exports, "CGStat", { enumerable: true, get: function () { return Statistics_1.CGStat; } });
+// callgraph/model
+var BaseGraph_1 = require("./callgraph/model/BaseGraph");
+Object.defineProperty(exports, "BaseEdge", { enumerable: true, get: function () { return BaseGraph_1.BaseEdge; } });
+Object.defineProperty(exports, "BaseNode", { enumerable: true, get: function () { return BaseGraph_1.BaseNode; } });
+Object.defineProperty(exports, "BaseGraph", { enumerable: true, get: function () { return BaseGraph_1.BaseGraph; } });
+__exportStar(require("./callgraph/model/CallGraph"), exports);
+var CallGraphBuilder_1 = require("./callgraph/model/builder/CallGraphBuilder");
+Object.defineProperty(exports, "CallGraphBuilder", { enumerable: true, get: function () { return CallGraphBuilder_1.CallGraphBuilder; } });
+// callgraph/pointerAnalysis
+var Context_1 = require("./callgraph/pointerAnalysis/Context");
+Object.defineProperty(exports, "KLimitedContextSensitive", { enumerable: true, get: function () { return Context_1.KLimitedContextSensitive; } });
+var DummyCallCreator_1 = require("./callgraph/pointerAnalysis/DummyCallCreator");
+Object.defineProperty(exports, "DummyCallCreator", { enumerable: true, get: function () { return DummyCallCreator_1.DummyCallCreator; } });
+__exportStar(require("./callgraph/pointerAnalysis/Pag"), exports);
+var PagBuilder_1 = require("./callgraph/pointerAnalysis/PagBuilder");
+Object.defineProperty(exports, "CSFuncID", { enumerable: true, get: function () { return PagBuilder_1.CSFuncID; } });
+Object.defineProperty(exports, "PagBuilder", { enumerable: true, get: function () { return PagBuilder_1.PagBuilder; } });
+var PointerAnalysis_1 = require("./callgraph/pointerAnalysis/PointerAnalysis");
+Object.defineProperty(exports, "PointerAnalysis", { enumerable: true, get: function () { return PointerAnalysis_1.PointerAnalysis; } });
+var PointerAnalysisConfig_1 = require("./callgraph/pointerAnalysis/PointerAnalysisConfig");
+Object.defineProperty(exports, "PointerAnalysisConfig", { enumerable: true, get: function () { return PointerAnalysisConfig_1.PointerAnalysisConfig; } });
+var PtsDS_1 = require("./callgraph/pointerAnalysis/PtsDS");
+Object.defineProperty(exports, "PtsSet", { enumerable: true, get: function () { return PtsDS_1.PtsSet; } });
+Object.defineProperty(exports, "DiffPTData", { enumerable: true, get: function () { return PtsDS_1.DiffPTData; } });
+// core/base
+var Constant_1 = require("./core/base/Constant");
+Object.defineProperty(exports, "Constant", { enumerable: true, get: function () { return Constant_1.Constant; } });
+var Decorator_1 = require("./core/base/Decorator");
+Object.defineProperty(exports, "Decorator", { enumerable: true, get: function () { return Decorator_1.Decorator; } });
+var DefUseChain_1 = require("./core/base/DefUseChain");
+Object.defineProperty(exports, "DefUseChain", { enumerable: true, get: function () { return DefUseChain_1.DefUseChain; } });
+__exportStar(require("./core/base/Expr"), exports);
+var Local_1 = require("./core/base/Local");
+Object.defineProperty(exports, "Local", { enumerable: true, get: function () { return Local_1.Local; } });
+var Position_1 = require("./core/base/Position");
+Object.defineProperty(exports, "LineColPosition", { enumerable: true, get: function () { return Position_1.LineColPosition; } });
+Object.defineProperty(exports, "FullPosition", { enumerable: true, get: function () { return Position_1.FullPosition; } });
+__exportStar(require("./core/base/Ref"), exports);
+__exportStar(require("./core/base/Stmt"), exports);
+__exportStar(require("./core/base/Type"), exports);
+// core/common
+var ModelUtils_1 = require("./core/common/ModelUtils");
+Object.defineProperty(exports, "ModelUtils", { enumerable: true, get: function () { return ModelUtils_1.ModelUtils; } });
+__exportStar(require("./core/common/Const"), exports);
+var DummyMainCreater_1 = require("./core/common/DummyMainCreater");
+Object.defineProperty(exports, "DummyMainCreater", { enumerable: true, get: function () { return DummyMainCreater_1.DummyMainCreater; } });
+__exportStar(require("./core/common/EtsConst"), exports);
+var ExprUseReplacer_1 = require("./core/common/ExprUseReplacer");
+Object.defineProperty(exports, "ExprUseReplacer", { enumerable: true, get: function () { return ExprUseReplacer_1.ExprUseReplacer; } });
+var IRUtils_1 = require("./core/common/IRUtils");
+Object.defineProperty(exports, "IRUtils", { enumerable: true, get: function () { return IRUtils_1.IRUtils; } });
+var RefUseReplacer_1 = require("./core/common/RefUseReplacer");
+Object.defineProperty(exports, "RefUseReplacer", { enumerable: true, get: function () { return RefUseReplacer_1.RefUseReplacer; } });
+var StmtUseReplacer_1 = require("./core/common/StmtUseReplacer");
+Object.defineProperty(exports, "StmtUseReplacer", { enumerable: true, get: function () { return StmtUseReplacer_1.StmtUseReplacer; } });
+__exportStar(require("./core/common/TSConst"), exports);
+var TypeInference_1 = require("./core/common/TypeInference");
+Object.defineProperty(exports, "TypeInference", { enumerable: true, get: function () { return TypeInference_1.TypeInference; } });
+var ValueUtil_1 = require("./core/common/ValueUtil");
+Object.defineProperty(exports, "ValueUtil", { enumerable: true, get: function () { return ValueUtil_1.ValueUtil; } });
+var VisibleValue_1 = require("./core/common/VisibleValue");
+Object.defineProperty(exports, "VisibleValue", { enumerable: true, get: function () { return VisibleValue_1.VisibleValue; } });
+Object.defineProperty(exports, "Scope", { enumerable: true, get: function () { return VisibleValue_1.Scope; } });
+// core/dataflow
+var DataflowProblem_1 = require("./core/dataflow/DataflowProblem");
+Object.defineProperty(exports, "DataflowProblem", { enumerable: true, get: function () { return DataflowProblem_1.DataflowProblem; } });
+var DataflowResult_1 = require("./core/dataflow/DataflowResult");
+Object.defineProperty(exports, "DataflowResult", { enumerable: true, get: function () { return DataflowResult_1.DataflowResult; } });
+var DataflowSolver_1 = require("./core/dataflow/DataflowSolver");
+Object.defineProperty(exports, "DataflowSolver", { enumerable: true, get: function () { return DataflowSolver_1.DataflowSolver; } });
+Object.defineProperty(exports, "factEqual", { enumerable: true, get: function () { return DataflowSolver_1.factEqual; } });
+var Edge_1 = require("./core/dataflow/Edge");
+Object.defineProperty(exports, "Edge", { enumerable: true, get: function () { return Edge_1.Edge; } });
+Object.defineProperty(exports, "PathEdgePoint", { enumerable: true, get: function () { return Edge_1.PathEdgePoint; } });
+Object.defineProperty(exports, "PathEdge", { enumerable: true, get: function () { return Edge_1.PathEdge; } });
+var Fact_1 = require("./core/dataflow/Fact");
+Object.defineProperty(exports, "Fact", { enumerable: true, get: function () { return Fact_1.Fact; } });
+var TiantAnalysis_1 = require("./core/dataflow/TiantAnalysis");
+Object.defineProperty(exports, "TiantAnalysisChecker", { enumerable: true, get: function () { return TiantAnalysis_1.TiantAnalysisChecker; } });
+Object.defineProperty(exports, "TiantAnalysisSolver", { enumerable: true, get: function () { return TiantAnalysis_1.TiantAnalysisSolver; } });
+var UndefinedVariable_1 = require("./core/dataflow/UndefinedVariable");
+Object.defineProperty(exports, "UndefinedVariableChecker", { enumerable: true, get: function () { return UndefinedVariable_1.UndefinedVariableChecker; } });
+Object.defineProperty(exports, "UndefinedVariableSolver", { enumerable: true, get: function () { return UndefinedVariable_1.UndefinedVariableSolver; } });
+// core/graph
+var BasicBlock_1 = require("./core/graph/BasicBlock");
+Object.defineProperty(exports, "BasicBlock", { enumerable: true, get: function () { return BasicBlock_1.BasicBlock; } });
+var Cfg_1 = require("./core/graph/Cfg");
+Object.defineProperty(exports, "Cfg", { enumerable: true, get: function () { return Cfg_1.Cfg; } });
+var DominanceFinder_1 = require("./core/graph/DominanceFinder");
+Object.defineProperty(exports, "DominanceFinder", { enumerable: true, get: function () { return DominanceFinder_1.DominanceFinder; } });
+var DominanceTree_1 = require("./core/graph/DominanceTree");
+Object.defineProperty(exports, "DominanceTree", { enumerable: true, get: function () { return DominanceTree_1.DominanceTree; } });
+// core/model
+var ArkFile_1 = require("./core/model/ArkFile");
+Object.defineProperty(exports, "ArkFile", { enumerable: true, get: function () { return ArkFile_1.ArkFile; } });
+var ArkNamespace_1 = require("./core/model/ArkNamespace");
+Object.defineProperty(exports, "ArkNamespace", { enumerable: true, get: function () { return ArkNamespace_1.ArkNamespace; } });
+var ArkClass_1 = require("./core/model/ArkClass");
+Object.defineProperty(exports, "ArkClass", { enumerable: true, get: function () { return ArkClass_1.ArkClass; } });
+var ArkMethod_1 = require("./core/model/ArkMethod");
+Object.defineProperty(exports, "ArkMethod", { enumerable: true, get: function () { return ArkMethod_1.ArkMethod; } });
+var ArkField_1 = require("./core/model/ArkField");
+Object.defineProperty(exports, "ArkField", { enumerable: true, get: function () { return ArkField_1.ArkField; } });
+var ArkExport_1 = require("./core/model/ArkExport");
+Object.defineProperty(exports, "ExportInfo", { enumerable: true, get: function () { return ArkExport_1.ExportInfo; } });
+var ArkImport_1 = require("./core/model/ArkImport");
+Object.defineProperty(exports, "ImportInfo", { enumerable: true, get: function () { return ArkImport_1.ImportInfo; } });
+var ArkBody_1 = require("./core/model/ArkBody");
+Object.defineProperty(exports, "ArkBody", { enumerable: true, get: function () { return ArkBody_1.ArkBody; } });
+__exportStar(require("./core/model/ArkSignature"), exports);
+__exportStar(require("./core/model/builder/ArkSignatureBuilder"), exports);
+var Config_1 = require("./Config");
+Object.defineProperty(exports, "SceneConfig", { enumerable: true, get: function () { return Config_1.SceneConfig; } });
+var Scene_1 = require("./Scene");
+Object.defineProperty(exports, "Scene", { enumerable: true, get: function () { return Scene_1.Scene; } });
+// save
+var Printer_1 = require("./save/Printer");
+Object.defineProperty(exports, "Printer", { enumerable: true, get: function () { return Printer_1.Printer; } });
+var PrinterBuilder_1 = require("./save/PrinterBuilder");
+Object.defineProperty(exports, "PrinterBuilder", { enumerable: true, get: function () { return PrinterBuilder_1.PrinterBuilder; } });
+var DotPrinter_1 = require("./save/DotPrinter");
+Object.defineProperty(exports, "DotMethodPrinter", { enumerable: true, get: function () { return DotPrinter_1.DotMethodPrinter; } });
+Object.defineProperty(exports, "DotClassPrinter", { enumerable: true, get: function () { return DotPrinter_1.DotClassPrinter; } });
+Object.defineProperty(exports, "DotNamespacePrinter", { enumerable: true, get: function () { return DotPrinter_1.DotNamespacePrinter; } });
+Object.defineProperty(exports, "DotFilePrinter", { enumerable: true, get: function () { return DotPrinter_1.DotFilePrinter; } });
+var SourceMethod_1 = require("./save/source/SourceMethod");
+Object.defineProperty(exports, "SourceMethodPrinter", { enumerable: true, get: function () { return SourceMethod_1.SourceMethod; } });
+var SourceClass_1 = require("./save/source/SourceClass");
+Object.defineProperty(exports, "SourceClassPrinter", { enumerable: true, get: function () { return SourceClass_1.SourceClass; } });
+var SourceNamespace_1 = require("./save/source/SourceNamespace");
+Object.defineProperty(exports, "SourceNamespacePrinter", { enumerable: true, get: function () { return SourceNamespace_1.SourceNamespace; } });
+var SourceFilePrinter_1 = require("./save/source/SourceFilePrinter");
+Object.defineProperty(exports, "SourceFilePrinter", { enumerable: true, get: function () { return SourceFilePrinter_1.SourceFilePrinter; } });
+var JsonPrinter_1 = require("./save/JsonPrinter");
+Object.defineProperty(exports, "JsonPrinter", { enumerable: true, get: function () { return JsonPrinter_1.JsonPrinter; } });
+var GraphPrinter_1 = require("./save/GraphPrinter");
+Object.defineProperty(exports, "GraphPrinter", { enumerable: true, get: function () { return GraphPrinter_1.GraphPrinter; } });
+// transformer
+__exportStar(require("./transformer/StaticSingleAssignmentFormer"), exports);
+// utils
+__exportStar(require("./utils/callGraphUtils"), exports);
+__exportStar(require("./utils/entryMethodUtils"), exports);
+__exportStar(require("./utils/FileUtils"), exports);
+__exportStar(require("./utils/getAllFiles"), exports);
+__exportStar(require("./utils/json5parser"), exports);
+__exportStar(require("./utils/pathTransfer"), exports);

package/lib/save/ArkStream.d.ts

@@ -0,0 +1,24 @@
+/// <reference types="node" />
+import fs from 'fs';
+export declare class ArkCodeBuffer {
+    output: string[];
+    indent: string;
+    constructor(indent?: string);
+    write(s: string): this;
+    writeLine(s: string): this;
+    writeSpace(s: string): this;
+    writeStringLiteral(s: string): this;
+    writeIndent(): this;
+    incIndent(): this;
+    decIndent(): this;
+    getIndent(): string;
+    toString(): string;
+    clear(): void;
+}
+export declare class ArkStream extends ArkCodeBuffer {
+    streamOut: fs.WriteStream;
+    constructor(streamOut: fs.WriteStream);
+    write(s: string): this;
+    close(): void;
+}
+//# sourceMappingURL=ArkStream.d.ts.map

package/lib/save/ArkStream.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ArkStream.d.ts","sourceRoot":"","sources":["../../src/save/ArkStream.ts"],"names":[],"mappings":";AAeA,OAAO,EAAE,MAAM,IAAI,CAAC;AAEpB,qBAAa,aAAa;IACtB,MAAM,EAAE,MAAM,EAAE,CAAM;IACtB,MAAM,EAAE,MAAM,CAAM;gBAER,MAAM,GAAE,MAAW;IAIxB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAKtB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAM1B,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAS3B,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAKnC,WAAW,IAAI,IAAI;IAKnB,SAAS,IAAI,IAAI;IAKjB,SAAS,IAAI,IAAI;IAOjB,SAAS,IAAI,MAAM;IAInB,QAAQ,IAAI,MAAM;IAIlB,KAAK;CAGf;AAED,qBAAa,SAAU,SAAQ,aAAa;IACxC,SAAS,EAAE,EAAE,CAAC,WAAW,CAAC;gBAEd,SAAS,EAAE,EAAE,CAAC,WAAW;IAK9B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAKtB,KAAK,IAAI,IAAI;CAGvB"}

package/lib/save/ArkStream.js

@@ -0,0 +1,83 @@
+"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.ArkStream = exports.ArkCodeBuffer = void 0;
+class ArkCodeBuffer {
+    constructor(indent = '') {
+        this.output = [];
+        this.indent = '';
+        this.indent = indent;
+    }
+    write(s) {
+        this.output.push(s);
+        return this;
+    }
+    writeLine(s) {
+        this.write(s);
+        this.write('\n');
+        return this;
+    }
+    writeSpace(s) {
+        if (s.length == 0) {
+            return this;
+        }
+        this.write(s);
+        this.write(' ');
+        return this;
+    }
+    writeStringLiteral(s) {
+        this.write(`'${s}'`);
+        return this;
+    }
+    writeIndent() {
+        this.write(this.indent);
+        return this;
+    }
+    incIndent() {
+        this.indent += '  ';
+        return this;
+    }
+    decIndent() {
+        if (this.indent.length >= 2) {
+            this.indent = this.indent.substring(0, this.indent.length - 2);
+        }
+        return this;
+    }
+    getIndent() {
+        return this.indent;
+    }
+    toString() {
+        return this.output.join('');
+    }
+    clear() {
+        this.output = [];
+    }
+}
+exports.ArkCodeBuffer = ArkCodeBuffer;
+class ArkStream extends ArkCodeBuffer {
+    constructor(streamOut) {
+        super('');
+        this.streamOut = streamOut;
+    }
+    write(s) {
+        this.streamOut.write(s);
+        return this;
+    }
+    close() {
+        this.streamOut.close();
+    }
+}
+exports.ArkStream = ArkStream;

package/lib/save/DotPrinter.d.ts

@@ -0,0 +1,48 @@
+import { ArkClass } from '../core/model/ArkClass';
+import { ArkFile } from '../core/model/ArkFile';
+import { ArkMethod } from '../core/model/ArkMethod';
+import { ArkNamespace } from '../core/model/ArkNamespace';
+import { Printer } from './Printer';
+/**
+ * @category save
+ */
+export declare class DotMethodPrinter extends Printer {
+    method: ArkMethod;
+    nesting: boolean;
+    constructor(method: ArkMethod, nesting?: boolean);
+    dump(): string;
+    dumpOriginal(): string;
+    protected stringHashCode(name: string): number;
+    private printBlocks;
+    private getBlockContent;
+}
+/**
+ * @category save
+ */
+export declare class DotClassPrinter extends Printer {
+    cls: ArkClass;
+    nesting: boolean;
+    constructor(cls: ArkClass, nesting?: boolean);
+    dump(): string;
+    dumpOriginal(): string;
+}
+/**
+ * @category save
+ */
+export declare class DotNamespacePrinter extends Printer {
+    ns: ArkNamespace;
+    nesting: boolean;
+    constructor(ns: ArkNamespace, nesting?: boolean);
+    dump(): string;
+    dumpOriginal(): string;
+}
+/**
+ * @category save
+ */
+export declare class DotFilePrinter extends Printer {
+    arkFile: ArkFile;
+    constructor(arkFile: ArkFile);
+    dump(): string;
+    dumpOriginal(): string;
+}
+//# sourceMappingURL=DotPrinter.d.ts.map

package/lib/save/DotPrinter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DotPrinter.d.ts","sourceRoot":"","sources":["../../src/save/DotPrinter.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,OAAO;IACzC,MAAM,EAAE,SAAS,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;gBAEL,MAAM,EAAE,SAAS,EAAE,OAAO,GAAE,OAAe;IAMhD,IAAI,IAAI,MAAM;IAmBd,YAAY,IAAI,MAAM;IAoB7B,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAQ9C,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,eAAe;CAO1B;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,OAAO;IACxC,GAAG,EAAE,QAAQ,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;gBAEL,GAAG,EAAE,QAAQ,EAAE,OAAO,GAAE,OAAe;IAM5C,IAAI,IAAI,MAAM;IAoBd,YAAY,IAAI,MAAM;CAmBhC;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,OAAO;IAC5C,EAAE,EAAE,YAAY,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;gBAEL,EAAE,EAAE,YAAY,EAAE,OAAO,GAAE,OAAe;IAM/C,IAAI,IAAI,MAAM;IAoBd,YAAY,IAAI,MAAM;CAkBhC;AAED;;GAEG;AACH,qBAAa,cAAe,SAAQ,OAAO;IACvC,OAAO,EAAE,OAAO,CAAC;gBAEL,OAAO,EAAE,OAAO;IAKrB,IAAI,IAAI,MAAM;IAqBd,YAAY,IAAI,MAAM;CAqBhC"}

package/lib/save/DotPrinter.js

@@ -0,0 +1,229 @@
+"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.DotFilePrinter = exports.DotNamespacePrinter = exports.DotClassPrinter = exports.DotMethodPrinter = void 0;
+const Printer_1 = require("./Printer");
+/**
+ * @category save
+ */
+class DotMethodPrinter extends Printer_1.Printer {
+    constructor(method, nesting = false) {
+        super();
+        this.method = method;
+        this.nesting = nesting;
+    }
+    dump() {
+        var _a;
+        this.printer.clear();
+        if (this.nesting) {
+            this.printer.writeIndent().writeLine(`subgraph "cluster_${this.method.getSignature()}" {`);
+        }
+        else {
+            this.printer.writeIndent().writeLine(`digraph "${this.method.getSignature()}" {`);
+        }
+        this.printer.incIndent();
+        this.printer.writeIndent().writeLine(`label="${this.method.getSignature()}";`);
+        let blocks = (_a = this.method.getCfg()) === null || _a === void 0 ? void 0 : _a.getBlocks();
+        let prefix = `Node${this.stringHashCode(this.method.getSignature().toString())}`;
+        this.printBlocks(blocks, prefix);
+        this.printer.decIndent();
+        this.printer.writeIndent().writeLine('}');
+        return this.printer.toString();
+    }
+    dumpOriginal() {
+        this.printer.clear();
+        if (this.nesting) {
+            this.printer.writeIndent().writeLine(`subgraph "cluster_Original_${this.method.getSignature()}" {`);
+        }
+        else {
+            this.printer.writeIndent().writeLine(`digraph "${this.method.getSignature()}" {`);
+        }
+        this.printer.incIndent();
+        this.printer.writeIndent().writeLine(`label="${this.method.getSignature()}_original";`);
+        let blocks = this.method.getOriginalCfg().getBlocks();
+        let prefix = `NodeOriginal${this.stringHashCode(this.method.getSignature().toString())}`;
+        this.printBlocks(blocks, prefix);
+        this.printer.decIndent();
+        this.printer.writeIndent().writeLine('}');
+        return this.printer.toString();
+    }
+    stringHashCode(name) {
+        let hashCode = 0;
+        for (let i = 0; i < name.length; i++) {
+            hashCode += name.charCodeAt(i);
+        }
+        return Math.abs(hashCode);
+    }
+    printBlocks(blocks, prefix) {
+        if (!blocks) {
+            return;
+        }
+        let blockToNode = new Map();
+        let index = 0;
+        for (let block of blocks) {
+            let name = prefix + index++;
+            blockToNode.set(block, name);
+            /** Node0 [label="entry"]; */
+            this.printer
+                .writeIndent()
+                .writeLine(`${name} [label="${this.getBlockContent(block, this.printer.getIndent())}"];`);
+        }
+        for (let block of blocks) {
+            for (let nextBlock of block.getSuccessors()) {
+                // Node0 -> Node1;
+                this.printer.writeIndent().writeLine(`${blockToNode.get(block)} -> ${blockToNode.get(nextBlock)};`);
+            }
+        }
+    }
+    getBlockContent(block, indent) {
+        let content = [`id:${block.getId()}`];
+        for (let stmt of block.getStmts()) {
+            content.push(stmt.toString().replace(/"/g, '\\"'));
+        }
+        return content.join('\n    ' + indent);
+    }
+}
+exports.DotMethodPrinter = DotMethodPrinter;
+/**
+ * @category save
+ */
+class DotClassPrinter extends Printer_1.Printer {
+    constructor(cls, nesting = false) {
+        super();
+        this.cls = cls;
+        this.nesting = nesting;
+    }
+    dump() {
+        this.printer.clear();
+        if (!this.nesting) {
+            this.printer.writeLine(`digraph "${this.cls.getName()}" {`);
+            this.printer.incIndent();
+        }
+        for (let method of this.cls.getMethods()) {
+            let mtd = new DotMethodPrinter(method, true);
+            this.printer.write(mtd.dump());
+        }
+        if (!this.nesting) {
+            this.printer.decIndent();
+            this.printer.writeLine(`}`);
+        }
+        return this.printer.toString();
+    }
+    dumpOriginal() {
+        this.printer.clear();
+        if (!this.nesting) {
+            this.printer.writeLine(`digraph "${this.cls.getName()}" {`);
+            this.printer.incIndent();
+        }
+        for (let method of this.cls.getMethods()) {
+            let mtd = new DotMethodPrinter(method, true);
+            this.printer.write(mtd.dumpOriginal());
+        }
+        if (!this.nesting) {
+            this.printer.decIndent();
+            this.printer.writeLine(`}`);
+        }
+        return this.printer.toString();
+    }
+}
+exports.DotClassPrinter = DotClassPrinter;
+/**
+ * @category save
+ */
+class DotNamespacePrinter extends Printer_1.Printer {
+    constructor(ns, nesting = false) {
+        super();
+        this.ns = ns;
+        this.nesting = nesting;
+    }
+    dump() {
+        this.printer.clear();
+        if (!this.nesting) {
+            this.printer.writeLine(`digraph "${this.ns.getName()}" {`);
+            this.printer.incIndent();
+        }
+        for (let method of this.ns.getAllMethodsUnderThisNamespace()) {
+            let mtd = new DotMethodPrinter(method, true);
+            this.printer.write(mtd.dump());
+        }
+        if (!this.nesting) {
+            this.printer.decIndent();
+            this.printer.writeLine(`}`);
+        }
+        return this.printer.toString();
+    }
+    dumpOriginal() {
+        this.printer.clear();
+        if (!this.nesting) {
+            this.printer.writeLine(`digraph "${this.ns.getName()}" {`);
+            this.printer.incIndent();
+        }
+        for (let method of this.ns.getAllMethodsUnderThisNamespace()) {
+            let mtd = new DotMethodPrinter(method, true);
+            this.printer.write(mtd.dumpOriginal());
+        }
+        if (!this.nesting) {
+            this.printer.decIndent();
+            this.printer.writeLine(`}`);
+        }
+        return this.printer.toString();
+    }
+}
+exports.DotNamespacePrinter = DotNamespacePrinter;
+/**
+ * @category save
+ */
+class DotFilePrinter extends Printer_1.Printer {
+    constructor(arkFile) {
+        super();
+        this.arkFile = arkFile;
+    }
+    dump() {
+        this.printer.clear();
+        this.printer.writeLine(`digraph "${this.arkFile.getName()}" {`);
+        this.printer.incIndent();
+        for (let ns of this.arkFile.getNamespaces()) {
+            let nsPrinter = new DotNamespacePrinter(ns, true);
+            this.printer.write(nsPrinter.dump());
+        }
+        // print class
+        for (let cls of this.arkFile.getClasses()) {
+            let clsPrinter = new DotClassPrinter(cls, true);
+            this.printer.write(clsPrinter.dump());
+        }
+        this.printer.decIndent();
+        this.printer.writeLine('}');
+        return this.printer.toString();
+    }
+    dumpOriginal() {
+        this.printer.clear();
+        this.printer.writeLine(`digraph "${this.arkFile.getName()}" {`);
+        this.printer.incIndent();
+        for (let ns of this.arkFile.getNamespaces()) {
+            let nsPrinter = new DotNamespacePrinter(ns, true);
+            this.printer.write(nsPrinter.dumpOriginal());
+        }
+        // print class
+        for (let cls of this.arkFile.getClasses()) {
+            let clsPrinter = new DotClassPrinter(cls, true);
+            this.printer.write(clsPrinter.dumpOriginal());
+        }
+        this.printer.decIndent();
+        this.printer.writeLine('}');
+        return this.printer.toString();
+    }
+}
+exports.DotFilePrinter = DotFilePrinter;

package/lib/save/GraphPrinter.d.ts

@@ -0,0 +1,17 @@
+import { BaseEdge, GraphTraits, NodeID } from "../callgraph/model/BaseGraph";
+import { Printer } from "./Printer";
+export declare class GraphPrinter<GraphType extends GraphTraits> extends Printer {
+    graph: GraphType;
+    title: string;
+    startID: NodeID | undefined;
+    constructor(g: GraphType, t?: string);
+    setStartID(n: NodeID): void;
+    dump(): string;
+    dumpOriginal(): string;
+    writeGraph(): void;
+    writeNodes(): void;
+    writeEdge(edge: BaseEdge): void;
+    writeHeader(): void;
+    writeFooter(): void;
+}
+//# sourceMappingURL=GraphPrinter.d.ts.map

package/lib/save/GraphPrinter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphPrinter.d.ts","sourceRoot":"","sources":["../../src/save/GraphPrinter.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,QAAQ,EAAY,WAAW,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AA6CpC,qBAAa,YAAY,CAAC,SAAS,SAAS,WAAW,CAAE,SAAQ,OAAO;IACpE,KAAK,EAAE,SAAS,CAAC;IACjB,KAAK,EAAG,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,SAAS,CAAa;gBAE5B,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM;IAQ7B,UAAU,CAAC,CAAC,EAAE,MAAM;IAIpB,IAAI,IAAI,MAAM;IAMd,YAAY,IAAI,MAAM;IAItB,UAAU,IAAI,IAAI;IAMlB,UAAU,IAAI,IAAI;IAmClB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI;IAQ/B,WAAW,IAAI,IAAI;IAanB,WAAW,IAAI,IAAI;CAG7B"}