arkanalyzer 1.0.85 → 1.0.87

package/lib/frontend/cppFrontend/base/Constant.js

@@ -0,0 +1,33 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 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.CompileConstants = exports.CharConstant = void 0;
+const Type_1 = require("./Type");
+const Constant_1 = require("../../../core/base/Constant");
+// CharConstant
+class CharConstant extends Constant_1.Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.CxxCharType.getInstance());
+    }
+}
+exports.CharConstant = CharConstant;
+// compileConstants
+class CompileConstants extends Constant_1.Constant {
+    constructor(value, compileType) {
+        super(value.toString(), compileType);
+    }
+}
+exports.CompileConstants = CompileConstants;

package/lib/frontend/cppFrontend/base/Expr.d.ts

@@ -0,0 +1,174 @@
+import { AbstractBinopExpr, AbstractExpr, ArkCastExpr, NormalBinaryOperator } from '../../../core/base/Expr';
+import { Value } from '../../../core/base/Value';
+import { ArrayType, ClassType, Type } from '../../../core/base/Type';
+import { ArkMethod } from '../../../core/model/ArkMethod';
+import { AbstractFieldRef } from '../../../core/base/Ref';
+/**
+ * delete[] expression in C++
+ *  1. c++: delete[] a / delete[] a.b / delete[] a->b
+ */
+export declare class ArkCxxDeleteArrayExpr extends AbstractExpr {
+    private field;
+    constructor(field: AbstractFieldRef | Value);
+    getField(): AbstractFieldRef | Value;
+    setField(newField: AbstractFieldRef | Value): void;
+    getType(): Type;
+    getUses(): Value[];
+    toString(): string;
+}
+export declare class ArkCxxNewArrayExpr extends AbstractExpr {
+    private baseType;
+    private size;
+    private elementsNumber;
+    private fromLiteral;
+    constructor(baseType: Type, size: Value, fromLiteral?: boolean, elementsNumber?: number);
+    getElementsNumber(): number;
+    setElementsNumber(elementsNumber: number): void;
+    getSize(): Value;
+    setSize(newSize: Value): void;
+    getType(): ArrayType;
+    getBaseType(): Type;
+    setBaseType(newType: Type): void;
+    isFromLiteral(): boolean;
+    inferType(arkMethod: ArkMethod): ArkCxxNewArrayExpr;
+    getUses(): Value[];
+    toString(): string;
+}
+export declare class ArkCxxInitArrayExpr extends AbstractExpr {
+    private op;
+    constructor(op: Value);
+    getOp(): Value;
+    setOp(newOp: Value): void;
+    getUses(): Value[];
+    getType(): Type;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare enum Operator {
+    sizeof = "sizeof",
+    alignof = "alignof",
+    Unknown = "Unknown"
+}
+export declare class ArkCxxUnaryExpr extends AbstractExpr {
+    private operator;
+    private op;
+    constructor(operator: Operator, op: Value | Type);
+    getOp(): Value | Type;
+    setOp(newOp: Value | Type): void;
+    getOperator(): string;
+    getUses(): Value[];
+    getOpType(): Type;
+    getType(): Type;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkCxxCastExpr extends ArkCastExpr {
+    private cxxCastType;
+    constructor(op: Value, type: Type, cxxCastType: string);
+    getCxxCastType(): string;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkArrayTypeTraitExpr extends AbstractExpr {
+    private op;
+    private dimensionSizes;
+    constructor(dimensionSizes: number[] | undefined, op: Value | null);
+    getOp(): Value | null;
+    setOp(newOp: Value): void;
+    getUses(): Value[];
+    getDimensionOrder(): number[];
+    setDimensionOrder(dimensionOrder: number[]): void;
+    getOpType(): Type | null;
+    getType(): Type;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkTypeIdExpr extends AbstractExpr {
+    private op;
+    constructor(op: Value);
+    getOp(): Value;
+    setOp(newOp: Value): void;
+    getUses(): Value[];
+    getType(): Type;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkNoExpectExpr extends AbstractExpr {
+    private op;
+    constructor(op: Value);
+    getOp(): Value;
+    setOp(newOp: Value): void;
+    getUses(): Value[];
+    getOpType(): Type;
+    getType(): Type;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkCxxFolderExpr extends AbstractExpr {
+    private arg;
+    private op;
+    constructor(arg: Value, op: string);
+    getArg(): Value;
+    setArg(newArg: Value): void;
+    getUses(): Value[];
+    getType(): Type;
+    getOp(): string;
+    toString(): string;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
+}
+export declare class ArkCxxNormalBinOpExpr extends AbstractBinopExpr {
+    constructor(op1: Value, op2: Value, operator: NormalBinaryOperator);
+    getType(): Type;
+    setCxxType(type: Type): void;
+}
+export declare class ArkAllocExpr extends AbstractExpr {
+    private classType;
+    constructor(classType: ClassType);
+    getClassType(): ClassType;
+    getUses(): Value[];
+    getType(): Type;
+    toString(): string;
+    /**
+     *Inference type method
+     *@ param arkMethod - Ark method object, the context used for type inference
+     *@ returns the ArkNewExpr instance of the current object
+     */
+    inferType(arkMethod: ArkMethod): ArkAllocExpr;
+    private constructorSignature;
+}
+/**
+ * Aggregate expression to represent such cases :
+ *     struct Point q = (struct Point){.x = 5, .y = 8, .name = 'c'};
+ *     int* arr = (int[5]){1, 2, 3, 4, 5};
+ *     the right value is {},its kind is CompoundLiteralExpr or InitListExpr
+ */
+export declare class ArkAggregateExpr extends AbstractExpr {
+    private type;
+    private elements;
+    constructor(elements: Value[], type: Type);
+    getElements(): Value[];
+    setType(type: Type): void;
+    getUses(): Value[];
+    getType(): Type;
+    inferType(arkMethod: ArkMethod): ArkAggregateExpr;
+    toString(): string;
+}
+/**
+ * ArkDesignatedInitExpr is used to represent designated initializers in aggregate initialization expressions.
+ * It consists of an initializer value and a designator, which specifies the field or element to be initialized.
+ * For example:
+ *     struct Point q = (struct Point){.x = 5, .y = 8, .name = 'c'};
+ *     its kind is DesignatedInitExpr
+ */
+export declare class ArkDesignatedInitExpr extends AbstractExpr {
+    private init;
+    private designator;
+    constructor(init: Value, designator: Value);
+    getInit(): Value;
+    getDesignator(): Value;
+    inferType(arkMethod: ArkMethod): ArkDesignatedInitExpr;
+    getUses(): Value[];
+    getType(): Type;
+    toString(): string;
+}
+//# sourceMappingURL=Expr.d.ts.map

package/lib/frontend/cppFrontend/base/Expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Expr.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/base/Expr.ts"],"names":[],"mappings":"AAeA,OAAO,EACH,iBAAiB,EACjB,YAAY,EACZ,WAAW,EACX,oBAAoB,EACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EAEH,SAAS,EACI,SAAS,EACtB,IAAI,EACP,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAe,MAAM,wBAAwB,CAAC;AASvE;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,YAAY;IACnD,OAAO,CAAC,KAAK,CAA2B;gBAE5B,KAAK,EAAE,gBAAgB,GAAG,KAAK;IAKpC,QAAQ,IAAI,gBAAgB,GAAG,KAAK;IAIpC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,GAAG,KAAK,GAAG,IAAI;IAIlD,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAG5B;AAGD,qBAAa,kBAAmB,SAAQ,YAAY;IAChD,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,IAAI,CAAQ;IACpB,OAAO,CAAC,cAAc,CAAa;IAEnC,OAAO,CAAC,WAAW,CAAU;gBAEjB,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,GAAE,OAAe,EAAE,cAAc,CAAC,EAAE,MAAM;IAUvF,iBAAiB,IAAI,MAAM;IAI3B,iBAAiB,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI;IAI/C,OAAO,IAAI,KAAK;IAIhB,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAI7B,OAAO,IAAI,SAAS;IAIpB,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,aAAa,IAAI,OAAO;IAIxB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,kBAAkB;IAQnD,OAAO,IAAI,KAAK,EAAE;IAMlB,QAAQ,IAAI,MAAM;CAG5B;AAGD,qBAAa,mBAAoB,SAAQ,YAAY;IACjD,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAQlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAMvD;AAED,oBAAY,QAAQ;IAChB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,OAAO,YAAY;CACtB;AAID,qBAAa,eAAgB,SAAQ,YAAY;IAC7C,OAAO,CAAC,QAAQ,CAAW;IAC3B,OAAO,CAAC,EAAE,CAAe;gBAEb,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,GAAG,IAAI;IAMzC,KAAK,IAAI,KAAK,GAAG,IAAI;IAIrB,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,GAAG,IAAI;IAIhC,WAAW,IAAI,MAAM;IAIrB,OAAO,IAAI,KAAK,EAAE;IASlB,SAAS,IAAI,IAAI;IAOjB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAMvD;AAGD,qBAAa,cAAe,SAAQ,WAAW;IAC3C,OAAO,CAAC,WAAW,CAAS;gBAEhB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;IAK/C,cAAc,IAAI,MAAM;IAIxB,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAOvD;AAGD,qBAAa,qBAAsB,SAAQ,YAAY;IACnD,OAAO,CAAC,EAAE,CAAe;IACzB,OAAO,CAAC,cAAc,CAAW;gBAErB,cAAc,sBAAe,EAAE,EAAE,EAAE,KAAK,GAAG,IAAI;IAMpD,KAAK,IAAI,KAAK,GAAG,IAAI;IAIrB,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IASlB,iBAAiB,IAAI,MAAM,EAAE;IAI7B,iBAAiB,CAAC,cAAc,EAAE,MAAM,EAAE,GAAG,IAAI;IAIjD,SAAS,IAAI,IAAI,GAAG,IAAI;IAOxB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAOlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAMvD;AAGD,qBAAa,aAAc,SAAQ,YAAY;IAC3C,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAMvD;AAGD,qBAAa,eAAgB,SAAQ,YAAY;IAC7C,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,SAAS,IAAI,IAAI;IAIjB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAMvD;AAGD,qBAAa,gBAAiB,SAAQ,YAAY;IAC9C,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,EAAE,CAAS;gBAEP,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM;IAM3B,MAAM,IAAI,KAAK;IAIf,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI;IAI3B,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,KAAK,IAAI,MAAM;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAOvD;AAED,qBAAa,qBAAsB,SAAQ,iBAAiB;gBAC5C,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB;IAI3D,OAAO,IAAI,IAAI;IAOf,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;CAGtC;AAGD,qBAAa,YAAa,SAAQ,YAAY;IAC1C,OAAO,CAAC,SAAS,CAAY;gBAEjB,SAAS,EAAE,SAAS;IAKzB,YAAY,IAAI,SAAS;IAIzB,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIzB;;;;OAIG;IACI,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;IA0BpD,OAAO,CAAC,oBAAoB;CAW/B;AAED;;;;;GAKG;AACH,qBAAa,gBAAiB,SAAQ,YAAY;IAC9C,OAAO,CAAC,IAAI,CAAO;IACnB,OAAO,CAAC,QAAQ,CAAU;gBAEd,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI;IAMlC,WAAW,IAAI,KAAK,EAAE;IAItB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IASlB,OAAO,IAAI,IAAI;IAIf,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,gBAAgB;IAQjD,QAAQ,IAAI,MAAM;CAG5B;AAED;;;;;;GAMG;AACH,qBAAa,qBAAsB,SAAQ,YAAY;IACnD,OAAO,CAAC,IAAI,CAAQ;IACpB,OAAO,CAAC,UAAU,CAAQ;gBAEd,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK;IAMnC,OAAO,IAAI,KAAK;IAIhB,aAAa,IAAI,KAAK;IAItB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,qBAAqB;IAUtD,OAAO,IAAI,KAAK,EAAE;IASlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;CAG5B"}