arkanalyzer 1.0.86 → 1.0.87

package/lib/frontend/cppFrontend/common/IRUtils.d.ts

@@ -0,0 +1,23 @@
+import { Value } from '../../../core/base/Value';
+import { Scene } from '../../../Scene';
+import { SceneOptions } from '../../../Config';
+import { CommentsMetadata } from '../../../core/model/ArkMetadata';
+import { Stmt } from '../../../core/base/Stmt';
+import { ArkBaseModel } from '../../../core/model/ArkBaseModel';
+import { FullPosition } from '../../../core/base/Position';
+import { CxxAstNode } from '../ast/ArkCxxAstNode';
+import { CxxClosureCaptureType } from '../base/Ref';
+export declare class IRUtils {
+    static moreThanOneAddress(value: Value): boolean;
+    static generateTextForStmt(scene: Scene): void;
+    static setComments(metadata: Stmt | ArkBaseModel, node: CxxAstNode, sourceFile: CxxAstNode, options: SceneOptions): void;
+    static getCommentsMetadata(node: CxxAstNode, sourceFile: CxxAstNode, options: SceneOptions, isLeading: boolean): CommentsMetadata;
+    static isTempLocal(value: Value): boolean;
+    static findOperandIdx(stmt: Stmt, operand: Value): number;
+    static adjustOperandOriginalPositions(stmt: Stmt, oldValue: Value, newValue: Value): void;
+    static generateDefaultPositions(count: number): FullPosition[];
+    static getLambdaCapture(lambdaCode: string): string;
+    static analyzeLambdaDefaultCapture(captureList: string): CxxClosureCaptureType | null;
+    static getLambdaExplicitCaptureVars(lambdaExpr: CxxAstNode): CxxAstNode[];
+}
+//# sourceMappingURL=IRUtils.d.ts.map

package/lib/frontend/cppFrontend/common/IRUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRUtils.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/IRUtils.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAgC,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACjG,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAG3D,OAAO,EAAW,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,qBAAa,OAAO;WACF,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;WAczC,mBAAmB,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;WAWvC,WAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,GAAG,IAAI;WAYjH,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,GAAG,gBAAgB;WAS1H,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;WAIlC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,MAAM;WAYlD,8BAA8B,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,IAAI;WAqClF,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE;WAQvD,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;WAmB5C,2BAA2B,CAAC,WAAW,EAAE,MAAM,GAAG,qBAAqB,GAAG,IAAI;WAc9E,4BAA4B,CAAC,UAAU,EAAE,UAAU,GAAG,UAAU,EAAE;CAUnF"}

package/lib/frontend/cppFrontend/common/IRUtils.js

@@ -0,0 +1,168 @@
+"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.IRUtils = void 0;
+const Expr_1 = require("../../../core/base/Expr");
+const Ref_1 = require("../../../core/base/Ref");
+const ArkMetadata_1 = require("../../../core/model/ArkMetadata");
+const Position_1 = require("../../../core/base/Position");
+const Local_1 = require("../../../core/base/Local");
+const Const_1 = require("../../../core/common/Const");
+const ArkCxxAstNode_1 = require("../ast/ArkCxxAstNode");
+const Ref_2 = require("../base/Ref");
+class IRUtils {
+    static moreThanOneAddress(value) {
+        if (value instanceof Expr_1.AbstractBinopExpr ||
+            value instanceof Expr_1.AbstractInvokeExpr ||
+            value instanceof Ref_1.AbstractFieldRef ||
+            value instanceof Ref_1.ArkArrayRef ||
+            value instanceof Expr_1.ArkCastExpr ||
+            value instanceof Expr_1.ArkUnopExpr) {
+            return true;
+        }
+        return false;
+    }
+    static generateTextForStmt(scene) {
+        for (const method of scene.getMethods()) {
+            const cfg = method.getCfg();
+            if (cfg) {
+                for (const stmt of cfg.getStmts()) {
+                    stmt.setText(stmt.toString());
+                }
+            }
+        }
+    }
+    static setComments(metadata, node, sourceFile, options) {
+        const leadingCommentsMetadata = this.getCommentsMetadata(node, sourceFile, options, true);
+        if (leadingCommentsMetadata.getComments().length > 0) {
+            metadata.setMetadata(ArkMetadata_1.ArkMetadataKind.LEADING_COMMENTS, leadingCommentsMetadata);
+        }
+        const trailingCommentsMetadata = this.getCommentsMetadata(node, sourceFile, options, false);
+        if (trailingCommentsMetadata.getComments().length > 0) {
+            metadata.setMetadata(ArkMetadata_1.ArkMetadataKind.TRAILING_COMMENTS, trailingCommentsMetadata);
+        }
+    }
+    static getCommentsMetadata(node, sourceFile, options, isLeading) {
+        const comments = [];
+        if ((isLeading && !options.enableLeadingComments) || (!isLeading && !options.enableTrailingComments)) {
+            return new ArkMetadata_1.CommentsMetadata(comments);
+        }
+        return new ArkMetadata_1.CommentsMetadata(comments);
+    }
+    static isTempLocal(value) {
+        var _a;
+        return value instanceof Local_1.Local && ((_a = value.getName()) !== null && _a !== void 0 ? _a : '').startsWith(Const_1.NAME_PREFIX);
+    }
+    static findOperandIdx(stmt, operand) {
+        let index = -1;
+        const operands = stmt.getDefAndUses();
+        for (let i = 0; i < operands.length; i++) {
+            if (operands[i] === operand) {
+                index = i;
+                break;
+            }
+        }
+        return index;
+    }
+    static adjustOperandOriginalPositions(stmt, oldValue, newValue) {
+        const operandOriginalPositions = stmt.getOperandOriginalPositions();
+        if (!operandOriginalPositions) {
+            return;
+        }
+        const operandOriginalPositionSize = operandOriginalPositions.length;
+        const defUseSize = stmt.getDefAndUses().length;
+        const oldValueUseSize = oldValue.getUses().length;
+        const newValueUseSize = newValue.getUses().length;
+        const oldValueIdx = IRUtils.findOperandIdx(stmt, oldValue);
+        const baseValueOffset = 1;
+        const fieldValueOffset = 2;
+        if (oldValue instanceof Ref_1.AbstractRef && newValue instanceof Ref_1.AbstractRef) {
+            if (newValue instanceof Ref_1.ArkStaticFieldRef) {
+                operandOriginalPositions.splice(oldValueIdx + baseValueOffset, oldValueUseSize - newValueUseSize);
+            }
+            else if (oldValue instanceof Ref_1.ArkStaticFieldRef) {
+                operandOriginalPositions.splice(oldValueIdx + baseValueOffset, 0, ...IRUtils.generateDefaultPositions(newValueUseSize - oldValueUseSize));
+            }
+            if (oldValue instanceof Ref_1.ArkInstanceFieldRef && newValue instanceof Ref_1.ArkArrayRef) {
+                if (operandOriginalPositionSize === defUseSize) {
+                    // may not reserve positions for field name
+                    operandOriginalPositions.splice(oldValueIdx + fieldValueOffset, 0, ...IRUtils.generateDefaultPositions(newValueUseSize - oldValueUseSize));
+                }
+            }
+            else if (oldValue instanceof Ref_1.ArkArrayRef && newValue instanceof Ref_1.ArkInstanceFieldRef) {
+                operandOriginalPositions.splice(oldValueIdx + fieldValueOffset, oldValueUseSize - newValueUseSize);
+            }
+        }
+        else if (oldValue instanceof Expr_1.AbstractInvokeExpr && newValue instanceof Expr_1.AbstractInvokeExpr) {
+            if (oldValueUseSize === newValueUseSize + 1) {
+                operandOriginalPositions.splice(oldValueIdx + baseValueOffset, 1);
+            }
+            else if (oldValueUseSize === newValueUseSize - 1) {
+                operandOriginalPositions.splice(oldValueIdx + baseValueOffset, 0, Position_1.FullPosition.DEFAULT);
+            }
+        }
+    }
+    static generateDefaultPositions(count) {
+        const defaultPositions = [];
+        for (let i = 0; i < count; i++) {
+            defaultPositions.push(Position_1.FullPosition.DEFAULT);
+        }
+        return defaultPositions;
+    }
+    static getLambdaCapture(lambdaCode) {
+        if (!lambdaCode.startsWith('[')) {
+            return '';
+        }
+        let depth = 0;
+        for (let i = 0; i < lambdaCode.length; i++) {
+            const ch = lambdaCode[i];
+            if (ch === '[') {
+                depth++;
+            }
+            else if (ch === ']') {
+                depth--;
+                if (depth === 0) {
+                    return lambdaCode.substring(1, i);
+                }
+            }
+        }
+        return '';
+    }
+    static analyzeLambdaDefaultCapture(captureList) {
+        const parts = captureList.split(',').map(p => p.trim()).filter(Boolean);
+        let defaultCaptureType = null;
+        for (const part of parts) {
+            if (part === '=') {
+                defaultCaptureType = Ref_2.CxxClosureCaptureType.BY_VALUE;
+            }
+            else if (part === '&') {
+                defaultCaptureType = Ref_2.CxxClosureCaptureType.BY_REF;
+            }
+        }
+        return defaultCaptureType;
+    }
+    static getLambdaExplicitCaptureVars(lambdaExpr) {
+        const captureNodes = [];
+        for (const child of lambdaExpr.inner) {
+            if (child.kind === ArkCxxAstNode_1.astKind.ParmVarDecl || child.kind === ArkCxxAstNode_1.astKind.CompoundStmt) {
+                return captureNodes;
+            }
+            captureNodes.push(child);
+        }
+        return captureNodes;
+    }
+}
+exports.IRUtils = IRUtils;

package/lib/frontend/cppFrontend/common/ModelUtils.d.ts

@@ -0,0 +1,44 @@
+import { ArkFile } from '../../../core/model/ArkFile';
+import { ArkExport, ExportInfo, FromInfo } from '../../../core/model/ArkExport';
+import { ImportInfo } from '../../../core/model/ArkImport';
+import { ArkMethod } from '../../../core/model/ArkMethod';
+import { ArkClass } from '../../../core/model/ArkClass';
+import { Value } from '../../../core/base/Value';
+import { ArkNamespace } from '../../../core/model/ArkNamespace';
+import { ArkField } from '../../../core/model/ArkField';
+import { MethodParameter } from '../../../core/model/builder/ArkMethodBuilder';
+import { Scene } from '../../../Scene';
+/**
+ * find arkFile by from info
+ * #include "xx/xx.h"
+ * @param im importInfo or exportInfo
+ */
+export declare function getArkFile(im: FromInfo): ArkFile | null | undefined;
+/**
+ * #include "xx/xx.h" ==> Precompilation directly expands ==> Equivalent to importing all content of the file ==> Get exportInfo directly from header file
+ * find from info's export
+ * @param fromInfo importInfo or exportInfo
+ * @param fromFile The file where the imported object is located
+ */
+export declare function findExportInfo(fromInfo: FromInfo, fromFile?: ArkFile | null): ExportInfo | null;
+export declare function shouldAddCxxHeaderImport(element: ImportInfo): boolean;
+/**
+ * Record the mapping relationship between cpp functions and ts functions (when there are napi_property_descriptor and napi_define_class identifiers)
+ * @param elementValues Value of each actual parameter of the function describing the mapping relationship
+ * @param isDefineClass Whether it is a napi_define_class identifier
+ * @param declMethod The ArkMethod where the call is located
+ * @return None
+ */
+export declare function setTs2CxxFuncMapOfClass(elementValues: Value[], isDefineClass: boolean, declMethod: ArkMethod): void;
+export declare class CxxModelUtils {
+    static getArkExportInImportInfoWithName(name: string, arkFile: ArkFile, arkClass?: ArkClass): ArkExport | null;
+    static findPropertyInClass(name: string, arkClass: ArkClass): ArkExport | ArkField | null;
+    static getClassFromAnonymousNamespaceByName(className: string, declFile: ArkFile): ArkClass | null;
+    static getStaticMethodWithName(methodName: string, thisClass: ArkClass): ArkMethod | null;
+    static getStaticMethodInFileWithName(methodName: string, arkFile: ArkFile): ArkMethod | null;
+    static getAccessibleAnonNamespacesInFile(file: ArkFile, namespace?: ArkNamespace): ArkNamespace[];
+    static findPropertyInNamespace(name: string, namespace: ArkNamespace): ArkExport | undefined;
+    static findSymbolInFileWithName(symbolName: string, arkClass: ArkClass, onlyType?: boolean): ArkExport | null;
+    static isIOStreamObjectMatched(parameters: MethodParameter[], args: Value[], scene: Scene): boolean;
+}
+//# sourceMappingURL=ModelUtils.d.ts.map

package/lib/frontend/cppFrontend/common/ModelUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ModelUtils.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/ModelUtils.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,OAAO,EAAY,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAc,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAI5F,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAiB,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAWjD,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,OAAO,EAAE,eAAe,EAAE,MAAM,8CAA8C,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAiDvC;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAanE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,CAe/F;AAED,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAKrE;AAkHD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,CAqBnH;AA2FD,qBAAa,aAAa;WAER,gCAAgC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,IAAI;WAmCvG,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,IAAI;WAyClF,oCAAoC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI;WAW3F,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,GAAG,SAAS,GAAG,IAAI;WAclF,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI;WAgBrF,iCAAiC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,YAAY,GAAG,YAAY,EAAE;WAY1F,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,GAAG,SAAS,GAAG,SAAS;WAiBrF,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,GAAE,OAAe,GAAG,SAAS,GAAG,IAAI;WA0C7G,uBAAuB,CAAC,UAAU,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO;CAiB7G"}