arkanalyzer 1.0.5

package/lib/core/common/RefUseReplacer.js

@@ -0,0 +1,50 @@
+"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.RefUseReplacer = void 0;
+const Ref_1 = require("../base/Ref");
+/**
+ * Replace old use of a Ref inplace
+ */
+class RefUseReplacer {
+    constructor(oldUse, newUse) {
+        this.oldUse = oldUse;
+        this.newUse = newUse;
+    }
+    // TODO:是否将该逻辑移Ref具体类中，利用多态实现
+    caseRef(ref) {
+        if (ref instanceof Ref_1.ArkInstanceFieldRef) {
+            this.caseFieldRef(ref);
+        }
+        else if (ref instanceof Ref_1.ArkArrayRef) {
+            this.caseArrayRef(ref);
+        }
+    }
+    caseFieldRef(ref) {
+        if (ref.getBase() == this.oldUse) {
+            ref.setBase(this.newUse);
+        }
+    }
+    caseArrayRef(ref) {
+        if (ref.getBase() == this.oldUse) {
+            ref.setBase(this.newUse);
+        }
+        else if (ref.getIndex() == this.oldUse) {
+            ref.setIndex(this.newUse);
+        }
+    }
+}
+exports.RefUseReplacer = RefUseReplacer;

package/lib/core/common/StmtUseReplacer.d.ts

@@ -0,0 +1,16 @@
+import { Stmt } from '../base/Stmt';
+import { Value } from '../base/Value';
+/**
+ * Replace old use(Value) of a Stmt inplace
+ */
+export declare class StmtUseReplacer {
+    private oldUse;
+    private newUse;
+    constructor(oldUse: Value, newUse: Value);
+    caseStmt(stmt: Stmt): void;
+    private caseAssignStmt;
+    private caseInvokeStmt;
+    private caseReturnStmt;
+    private caseIfStmt;
+}
+//# sourceMappingURL=StmtUseReplacer.d.ts.map

package/lib/core/common/StmtUseReplacer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StmtUseReplacer.d.ts","sourceRoot":"","sources":["../../../src/core/common/StmtUseReplacer.ts"],"names":[],"mappings":"AAkBA,OAAO,EAA0D,IAAI,EAAE,MAAM,cAAc,CAAC;AAC5F,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAItC;;GAEG;AACH,qBAAa,eAAe;IACxB,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,MAAM,CAAQ;gBAEV,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK;IAMjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAYjC,OAAO,CAAC,cAAc;IAyBtB,OAAO,CAAC,cAAc;IAKtB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,UAAU;CAIrB"}

package/lib/core/common/StmtUseReplacer.js

@@ -0,0 +1,88 @@
+"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.StmtUseReplacer = void 0;
+const Expr_1 = require("../base/Expr");
+const Local_1 = require("../base/Local");
+const Ref_1 = require("../base/Ref");
+const Stmt_1 = require("../base/Stmt");
+const ExprUseReplacer_1 = require("./ExprUseReplacer");
+const RefUseReplacer_1 = require("./RefUseReplacer");
+/**
+ * Replace old use(Value) of a Stmt inplace
+ */
+class StmtUseReplacer {
+    constructor(oldUse, newUse) {
+        this.oldUse = oldUse;
+        this.newUse = newUse;
+    }
+    // TODO:是否将该逻辑移Stmt具体类中，利用多态实现
+    caseStmt(stmt) {
+        if (stmt instanceof Stmt_1.ArkAssignStmt) {
+            this.caseAssignStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkInvokeStmt) {
+            this.caseInvokeStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkReturnStmt) {
+            this.caseReturnStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkIfStmt) {
+            this.caseIfStmt(stmt);
+        }
+    }
+    caseAssignStmt(stmt) {
+        let rValue = stmt.getRightOp();
+        if (rValue == this.oldUse) {
+            stmt.setRightOp(this.newUse);
+        }
+        else if (rValue instanceof Local_1.Local) {
+            if (rValue == this.oldUse) {
+                stmt.setRightOp(this.newUse);
+            }
+        }
+        else if (rValue instanceof Ref_1.AbstractRef) {
+            if (rValue == this.oldUse) {
+                stmt.setRightOp(this.newUse);
+            }
+            else {
+                let refUseReplacer = new RefUseReplacer_1.RefUseReplacer(this.oldUse, this.newUse);
+                refUseReplacer.caseRef(rValue);
+            }
+        }
+        else if (rValue instanceof Expr_1.AbstractExpr) {
+            if (rValue == this.oldUse) {
+                stmt.setRightOp(this.newUse);
+            }
+            else {
+                let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+                exprUseReplacer.caseExpr(rValue);
+            }
+        }
+    }
+    caseInvokeStmt(stmt) {
+        let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+        exprUseReplacer.caseExpr(stmt.getInvokeExpr());
+    }
+    caseReturnStmt(stmt) {
+        stmt.setReturnValue(this.newUse);
+    }
+    caseIfStmt(stmt) {
+        let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+        exprUseReplacer.caseExpr(stmt.getConditionExprExpr());
+    }
+}
+exports.StmtUseReplacer = StmtUseReplacer;

package/lib/core/common/TSConst.d.ts

@@ -0,0 +1,11 @@
+export declare const CONSTRUCTOR_NAME = "constructor";
+export declare const SUPER_NAME = "super";
+export declare const THIS_NAME = "this";
+export declare const DEFAULT = "default";
+export declare const ALL = "*";
+export declare const IMPORT = "import";
+export declare const DECLARE_KEYWORD = "DeclareKeyword";
+export declare const ABSTRACT_KEYWORD = "AbstractKeyword";
+export declare const STATIC_KEYWORD = "StaticKeyword";
+export declare const TEMP_LOCAL_PREFIX = "$temp";
+//# sourceMappingURL=TSConst.d.ts.map

package/lib/core/common/TSConst.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TSConst.d.ts","sourceRoot":"","sources":["../../../src/core/common/TSConst.ts"],"names":[],"mappings":"AAeA,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,UAAU,UAAU,CAAC;AAClC,eAAO,MAAM,SAAS,SAAS,CAAC;AAEhC,eAAO,MAAM,OAAO,YAAY,CAAC;AAEjC,eAAO,MAAM,GAAG,MAAM,CAAC;AAEvB,eAAO,MAAM,MAAM,WAAW,CAAC;AAG/B,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAChD,eAAO,MAAM,gBAAgB,oBAAoB,CAAC;AAClD,eAAO,MAAM,cAAc,kBAAkB,CAAC;AAE9C,eAAO,MAAM,iBAAiB,UAAU,CAAC"}

package/lib/core/common/TSConst.js

@@ -0,0 +1,28 @@
+"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.TEMP_LOCAL_PREFIX = exports.STATIC_KEYWORD = exports.ABSTRACT_KEYWORD = exports.DECLARE_KEYWORD = exports.IMPORT = exports.ALL = exports.DEFAULT = exports.THIS_NAME = exports.SUPER_NAME = exports.CONSTRUCTOR_NAME = void 0;
+exports.CONSTRUCTOR_NAME = 'constructor';
+exports.SUPER_NAME = 'super';
+exports.THIS_NAME = 'this';
+exports.DEFAULT = 'default';
+exports.ALL = '*';
+exports.IMPORT = 'import';
+// ast const
+exports.DECLARE_KEYWORD = 'DeclareKeyword';
+exports.ABSTRACT_KEYWORD = 'AbstractKeyword';
+exports.STATIC_KEYWORD = 'StaticKeyword';
+exports.TEMP_LOCAL_PREFIX = '$temp';

package/lib/core/common/TypeInference.d.ts

@@ -0,0 +1,44 @@
+import { Stmt } from '../base/Stmt';
+import { GenericType, Type } from '../base/Type';
+import { ArkMethod } from '../model/ArkMethod';
+import { ArkExport } from '../model/ArkExport';
+import { ArkClass } from '../model/ArkClass';
+import { ArkField } from '../model/ArkField';
+import { Value } from '../base/Value';
+export declare class TypeInference {
+    static inferTypeInArkField(arkField: ArkField): void;
+    static inferUnclearedType(leftOpType: Type, declaringArkClass: ArkClass, rightType?: Type): Type | null | undefined;
+    static inferTypeInMethod(arkMethod: ArkMethod): void;
+    /**
+     * @Deprecated
+     * @param arkMethod
+     */
+    static inferSimpleTypeInMethod(arkMethod: ArkMethod): void;
+    /**
+     * infer type for Exprs in stmt which invoke method.
+     * such as ArkInstanceInvokeExpr ArkStaticInvokeExpr ArkNewExpr
+     */
+    private static resolveExprsInStmt;
+    /**
+     * infer type for fieldRefs in stmt.
+     */
+    private static resolveFieldRefsInStmt;
+    static parseArkExport2Type(arkExport: ArkExport | undefined | null): Type | null;
+    /**
+     * infer and pass type for ArkAssignStmt right and left
+     * @param stmt
+     * @param arkClass
+     */
+    static resolveArkAssignStmt(stmt: Stmt, arkClass: ArkClass): void;
+    static isUnclearType(type: Type | null | undefined): boolean;
+    static inferSimpleTypeInStmt(stmt: Stmt): void;
+    static buildTypeFromStr(typeStr: string): Type;
+    static inferValueType(value: Value, arkClass: ArkClass): Type | null;
+    static inferMethodReturnType(method: ArkMethod): void;
+    static inferGenericType(types: GenericType[] | undefined, arkClass: ArkClass): void;
+    static inferUnclearReferenceType(refName: string, arkClass: ArkClass): Type | null;
+    static inferFieldType(baseType: Type, fieldName: string, declareClass: ArkClass): [any, Type] | null;
+    static inferBaseType(baseName: string, arkClass: ArkClass): Type | null;
+    static inferRealGenericTypes(realTypes: Type[] | undefined, arkClass: ArkClass): void;
+}
+//# sourceMappingURL=TypeInference.d.ts.map

package/lib/core/common/TypeInference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeInference.d.ts","sourceRoot":"","sources":["../../../src/core/common/TypeInference.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAgC,IAAI,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAQH,WAAW,EAKX,IAAI,EAMP,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAatC,qBAAa,aAAa;WAER,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAyB7C,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,IAAI;WA6ClF,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAoB3D;;;OAGG;WACW,uBAAuB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAcjE;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAcjC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;WAiCvB,mBAAmB,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI;IAkCvF;;;;OAIG;WACW,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAoC1D,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS;WAU3C,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;WAcvC,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;WA0BvC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAU7D,qBAAqB,CAAC,MAAM,EAAE,SAAS;WAwBvC,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ;WAmBrE,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAoC3E,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI;WA4C7F,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAoBhE,qBAAqB,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;CAc/F"}