arkanalyzer 1.0.20 → 1.0.21

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (279) hide show
  1. package/lib/Config.d.ts +70 -70
  2. package/lib/Config.js +198 -198
  3. package/lib/Scene.d.ts +316 -316
  4. package/lib/Scene.js +1316 -1316
  5. package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
  6. package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
  7. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
  8. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
  9. package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
  10. package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
  11. package/lib/callgraph/common/Statistics.d.ts +57 -57
  12. package/lib/callgraph/common/Statistics.js +228 -228
  13. package/lib/callgraph/model/CallGraph.d.ts +96 -96
  14. package/lib/callgraph/model/CallGraph.js +354 -354
  15. package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
  16. package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
  17. package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
  18. package/lib/callgraph/pointerAnalysis/Context.js +155 -155
  19. package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
  20. package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
  21. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
  22. package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
  23. package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
  24. package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
  25. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
  26. package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1399
  27. package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
  28. package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
  29. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
  30. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
  31. package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
  32. package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
  33. package/lib/core/base/Constant.d.ts +48 -48
  34. package/lib/core/base/Constant.js +103 -103
  35. package/lib/core/base/Decorator.d.ts +15 -15
  36. package/lib/core/base/Decorator.js +46 -46
  37. package/lib/core/base/DefUseChain.d.ts +8 -8
  38. package/lib/core/base/DefUseChain.js +25 -25
  39. package/lib/core/base/Expr.d.ts +340 -340
  40. package/lib/core/base/Expr.js +917 -917
  41. package/lib/core/base/Local.d.ts +104 -104
  42. package/lib/core/base/Local.js +176 -176
  43. package/lib/core/base/Position.d.ts +30 -30
  44. package/lib/core/base/Position.js +147 -147
  45. package/lib/core/base/Ref.d.ts +173 -173
  46. package/lib/core/base/Ref.js +374 -374
  47. package/lib/core/base/Stmt.d.ts +237 -237
  48. package/lib/core/base/Stmt.js +525 -525
  49. package/lib/core/base/Trap.d.ts +8 -8
  50. package/lib/core/base/Trap.js +30 -30
  51. package/lib/core/base/Type.d.ts +308 -308
  52. package/lib/core/base/Type.js +639 -639
  53. package/lib/core/base/TypeExpr.d.ts +71 -71
  54. package/lib/core/base/TypeExpr.js +155 -155
  55. package/lib/core/base/Value.d.ts +32 -32
  56. package/lib/core/base/Value.js +16 -16
  57. package/lib/core/common/ArkError.d.ts +14 -14
  58. package/lib/core/common/ArkError.js +28 -28
  59. package/lib/core/common/ArkIRTransformer.d.ts +67 -67
  60. package/lib/core/common/ArkIRTransformer.js +690 -690
  61. package/lib/core/common/ArkValueTransformer.d.ts +89 -89
  62. package/lib/core/common/ArkValueTransformer.js +1478 -1478
  63. package/lib/core/common/Builtin.d.ts +36 -36
  64. package/lib/core/common/Builtin.js +81 -81
  65. package/lib/core/common/Const.d.ts +21 -21
  66. package/lib/core/common/Const.js +43 -43
  67. package/lib/core/common/DummyMainCreater.d.ts +46 -46
  68. package/lib/core/common/DummyMainCreater.js +319 -319
  69. package/lib/core/common/EtsConst.d.ts +73 -73
  70. package/lib/core/common/EtsConst.js +1021 -1021
  71. package/lib/core/common/ExprUseReplacer.d.ts +21 -21
  72. package/lib/core/common/ExprUseReplacer.js +124 -124
  73. package/lib/core/common/IRInference.d.ts +36 -36
  74. package/lib/core/common/IRInference.d.ts.map +1 -1
  75. package/lib/core/common/IRInference.js +651 -648
  76. package/lib/core/common/IRUtils.d.ts +18 -18
  77. package/lib/core/common/IRUtils.js +141 -141
  78. package/lib/core/common/ModelUtils.d.ts +70 -70
  79. package/lib/core/common/ModelUtils.js +712 -712
  80. package/lib/core/common/RefUseReplacer.d.ts +13 -13
  81. package/lib/core/common/RefUseReplacer.js +52 -52
  82. package/lib/core/common/SdkUtils.d.ts +8 -8
  83. package/lib/core/common/SdkUtils.js +105 -105
  84. package/lib/core/common/StmtDefReplacer.d.ts +12 -12
  85. package/lib/core/common/StmtDefReplacer.js +41 -41
  86. package/lib/core/common/StmtUseReplacer.d.ts +16 -16
  87. package/lib/core/common/StmtUseReplacer.js +108 -108
  88. package/lib/core/common/TSConst.d.ts +18 -18
  89. package/lib/core/common/TSConst.js +36 -36
  90. package/lib/core/common/TypeInference.d.ts +102 -102
  91. package/lib/core/common/TypeInference.js +748 -748
  92. package/lib/core/common/ValueUtil.d.ts +12 -12
  93. package/lib/core/common/ValueUtil.js +54 -54
  94. package/lib/core/common/VisibleValue.d.ts +36 -36
  95. package/lib/core/common/VisibleValue.js +212 -212
  96. package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
  97. package/lib/core/dataflow/DataflowProblem.js +20 -20
  98. package/lib/core/dataflow/DataflowResult.d.ts +7 -7
  99. package/lib/core/dataflow/DataflowResult.js +26 -26
  100. package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
  101. package/lib/core/dataflow/DataflowSolver.js +307 -307
  102. package/lib/core/dataflow/Edge.d.ts +11 -11
  103. package/lib/core/dataflow/Edge.js +31 -31
  104. package/lib/core/dataflow/Fact.d.ts +6 -6
  105. package/lib/core/dataflow/Fact.js +24 -24
  106. package/lib/core/dataflow/GenericDataFlow.d.ts +142 -142
  107. package/lib/core/dataflow/GenericDataFlow.js +109 -109
  108. package/lib/core/dataflow/ReachingDef.d.ts +62 -62
  109. package/lib/core/dataflow/ReachingDef.js +168 -168
  110. package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
  111. package/lib/core/dataflow/UndefinedVariable.js +288 -288
  112. package/lib/core/dataflow/Util.d.ts +9 -9
  113. package/lib/core/dataflow/Util.js +64 -64
  114. package/lib/core/graph/BaseExplicitGraph.d.ts +58 -58
  115. package/lib/core/graph/BaseExplicitGraph.js +157 -157
  116. package/lib/core/graph/BaseImplicitGraph.d.ts +77 -77
  117. package/lib/core/graph/BaseImplicitGraph.js +78 -78
  118. package/lib/core/graph/BasicBlock.d.ts +104 -104
  119. package/lib/core/graph/BasicBlock.js +280 -280
  120. package/lib/core/graph/Cfg.d.ts +59 -59
  121. package/lib/core/graph/Cfg.js +282 -282
  122. package/lib/core/graph/DependsGraph.d.ts +35 -35
  123. package/lib/core/graph/DependsGraph.js +87 -87
  124. package/lib/core/graph/DominanceFinder.d.ts +15 -15
  125. package/lib/core/graph/DominanceFinder.js +121 -121
  126. package/lib/core/graph/DominanceTree.d.ts +12 -12
  127. package/lib/core/graph/DominanceTree.js +70 -70
  128. package/lib/core/graph/GraphTraits.d.ts +7 -7
  129. package/lib/core/graph/GraphTraits.js +16 -16
  130. package/lib/core/graph/Scc.d.ts +61 -61
  131. package/lib/core/graph/Scc.js +222 -222
  132. package/lib/core/graph/ViewTree.d.ts +114 -114
  133. package/lib/core/graph/ViewTree.js +16 -16
  134. package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
  135. package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
  136. package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
  137. package/lib/core/graph/builder/ConditionBuilder.js +252 -252
  138. package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
  139. package/lib/core/graph/builder/LoopBuilder.js +251 -251
  140. package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
  141. package/lib/core/graph/builder/SwitchBuilder.js +152 -152
  142. package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
  143. package/lib/core/graph/builder/TrapBuilder.js +272 -272
  144. package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
  145. package/lib/core/graph/builder/ViewTreeBuilder.js +1055 -1055
  146. package/lib/core/model/ArkBaseModel.d.ts +59 -59
  147. package/lib/core/model/ArkBaseModel.js +274 -274
  148. package/lib/core/model/ArkBody.d.ts +24 -24
  149. package/lib/core/model/ArkBody.js +65 -65
  150. package/lib/core/model/ArkClass.d.ts +206 -206
  151. package/lib/core/model/ArkClass.js +439 -439
  152. package/lib/core/model/ArkExport.d.ts +72 -72
  153. package/lib/core/model/ArkExport.js +147 -147
  154. package/lib/core/model/ArkField.d.ts +62 -62
  155. package/lib/core/model/ArkField.js +113 -113
  156. package/lib/core/model/ArkFile.d.ts +131 -131
  157. package/lib/core/model/ArkFile.js +267 -267
  158. package/lib/core/model/ArkImport.d.ts +44 -44
  159. package/lib/core/model/ArkImport.js +108 -108
  160. package/lib/core/model/ArkMetadata.d.ts +31 -31
  161. package/lib/core/model/ArkMetadata.js +55 -55
  162. package/lib/core/model/ArkMethod.d.ts +261 -261
  163. package/lib/core/model/ArkMethod.js +592 -592
  164. package/lib/core/model/ArkNamespace.d.ts +66 -66
  165. package/lib/core/model/ArkNamespace.js +209 -209
  166. package/lib/core/model/ArkSignature.d.ts +162 -162
  167. package/lib/core/model/ArkSignature.js +379 -379
  168. package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
  169. package/lib/core/model/builder/ArkClassBuilder.js +454 -454
  170. package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
  171. package/lib/core/model/builder/ArkExportBuilder.js +210 -210
  172. package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
  173. package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
  174. package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
  175. package/lib/core/model/builder/ArkFileBuilder.js +165 -165
  176. package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
  177. package/lib/core/model/builder/ArkImportBuilder.js +128 -128
  178. package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
  179. package/lib/core/model/builder/ArkMethodBuilder.js +486 -486
  180. package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
  181. package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
  182. package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
  183. package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
  184. package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
  185. package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
  186. package/lib/core/model/builder/BodyBuilder.js +542 -371
  187. package/lib/core/model/builder/builderUtils.d.ts +18 -18
  188. package/lib/core/model/builder/builderUtils.js +558 -558
  189. package/lib/index.d.ts +82 -80
  190. package/lib/index.d.ts.map +1 -1
  191. package/lib/index.js +201 -196
  192. package/lib/save/ArkStream.d.ts +23 -23
  193. package/lib/save/ArkStream.js +83 -83
  194. package/lib/save/DotPrinter.d.ts +43 -43
  195. package/lib/save/DotPrinter.js +170 -170
  196. package/lib/save/GraphPrinter.d.ts +16 -16
  197. package/lib/save/GraphPrinter.js +134 -134
  198. package/lib/save/JsonPrinter.d.ts +30 -30
  199. package/lib/save/JsonPrinter.js +580 -580
  200. package/lib/save/Printer.d.ts +12 -12
  201. package/lib/save/Printer.js +27 -27
  202. package/lib/save/PrinterBuilder.d.ts +53 -53
  203. package/lib/save/PrinterBuilder.js +145 -145
  204. package/lib/save/ViewTreePrinter.d.ts +14 -14
  205. package/lib/save/ViewTreePrinter.js +123 -123
  206. package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
  207. package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
  208. package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
  209. package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
  210. package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
  211. package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
  212. package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
  213. package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
  214. package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
  215. package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
  216. package/lib/save/base/BasePrinter.d.ts +23 -23
  217. package/lib/save/base/BasePrinter.js +70 -70
  218. package/lib/save/base/ExportPrinter.d.ts +8 -8
  219. package/lib/save/base/ExportPrinter.js +67 -67
  220. package/lib/save/base/ImportPrinter.d.ts +9 -9
  221. package/lib/save/base/ImportPrinter.js +92 -92
  222. package/lib/save/base/PrinterUtils.d.ts +24 -24
  223. package/lib/save/base/PrinterUtils.js +208 -208
  224. package/lib/save/serializeArkIR.d.ts +8 -8
  225. package/lib/save/serializeArkIR.js +294 -294
  226. package/lib/save/source/SourceBase.d.ts +22 -22
  227. package/lib/save/source/SourceBase.js +64 -64
  228. package/lib/save/source/SourceBody.d.ts +58 -58
  229. package/lib/save/source/SourceBody.js +296 -296
  230. package/lib/save/source/SourceClass.d.ts +25 -25
  231. package/lib/save/source/SourceClass.js +187 -187
  232. package/lib/save/source/SourceField.d.ts +13 -13
  233. package/lib/save/source/SourceField.js +73 -73
  234. package/lib/save/source/SourceFilePrinter.d.ts +12 -12
  235. package/lib/save/source/SourceFilePrinter.js +69 -69
  236. package/lib/save/source/SourceMethod.d.ts +22 -22
  237. package/lib/save/source/SourceMethod.d.ts.map +1 -1
  238. package/lib/save/source/SourceMethod.js +196 -193
  239. package/lib/save/source/SourceNamespace.d.ts +11 -11
  240. package/lib/save/source/SourceNamespace.js +83 -83
  241. package/lib/save/source/SourceStmt.d.ts +178 -178
  242. package/lib/save/source/SourceStmt.js +838 -838
  243. package/lib/save/source/SourceTransformer.d.ts +46 -46
  244. package/lib/save/source/SourceTransformer.js +446 -446
  245. package/lib/transformer/FunctionTransformer.d.ts +2 -2
  246. package/lib/transformer/FunctionTransformer.js +17 -17
  247. package/lib/transformer/SceneTransformer.d.ts +2 -2
  248. package/lib/transformer/SceneTransformer.js +17 -17
  249. package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
  250. package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
  251. package/lib/transformer/Transformer.d.ts +6 -6
  252. package/lib/transformer/Transformer.js +22 -22
  253. package/lib/utils/AstTreeUtils.d.ts +4 -4
  254. package/lib/utils/AstTreeUtils.js +26 -26
  255. package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
  256. package/lib/utils/CfgStructualAnalysis.js +1277 -1277
  257. package/lib/utils/FileUtils.d.ts +18 -18
  258. package/lib/utils/FileUtils.js +135 -135
  259. package/lib/utils/SparseBitVector.d.ts +100 -100
  260. package/lib/utils/SparseBitVector.js +445 -445
  261. package/lib/utils/callGraphUtils.d.ts +30 -30
  262. package/lib/utils/callGraphUtils.js +205 -205
  263. package/lib/utils/crypto_utils.d.ts +5 -5
  264. package/lib/utils/crypto_utils.js +57 -57
  265. package/lib/utils/entryMethodUtils.d.ts +13 -13
  266. package/lib/utils/entryMethodUtils.js +110 -110
  267. package/lib/utils/getAllFiles.d.ts +9 -9
  268. package/lib/utils/getAllFiles.js +90 -90
  269. package/lib/utils/json5parser.d.ts +6 -6
  270. package/lib/utils/json5parser.js +146 -146
  271. package/lib/utils/logger.d.ts +18 -18
  272. package/lib/utils/logger.d.ts.map +1 -1
  273. package/lib/utils/logger.js +97 -90
  274. package/lib/utils/pathTransfer.d.ts +1 -1
  275. package/lib/utils/pathTransfer.js +25 -25
  276. package/node_modules/json5/lib/cli.js +0 -0
  277. package/node_modules/ohos-typescript/bin/tsc +0 -0
  278. package/node_modules/ohos-typescript/bin/tsserver +0 -0
  279. package/package.json +3 -3
@@ -1,296 +1,296 @@
1
- "use strict";
2
- /*
3
- * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
4
- * Licensed under the Apache License, Version 2.0 (the "License");
5
- * you may not use this file except in compliance with the License.
6
- * You may obtain a copy of the License at
7
- *
8
- * http://www.apache.org/licenses/LICENSE-2.0
9
- *
10
- * Unless required by applicable law or agreed to in writing, software
11
- * distributed under the License is distributed on an "AS IS" BASIS,
12
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
- * See the License for the specific language governing permissions and
14
- * limitations under the License.
15
- */
16
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
17
- if (k2 === undefined) k2 = k;
18
- var desc = Object.getOwnPropertyDescriptor(m, k);
19
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
20
- desc = { enumerable: true, get: function() { return m[k]; } };
21
- }
22
- Object.defineProperty(o, k2, desc);
23
- }) : (function(o, m, k, k2) {
24
- if (k2 === undefined) k2 = k;
25
- o[k2] = m[k];
26
- }));
27
- var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
28
- Object.defineProperty(o, "default", { enumerable: true, value: v });
29
- }) : function(o, v) {
30
- o["default"] = v;
31
- });
32
- var __importStar = (this && this.__importStar) || function (mod) {
33
- if (mod && mod.__esModule) return mod;
34
- var result = {};
35
- if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
36
- __setModuleDefault(result, mod);
37
- return result;
38
- };
39
- Object.defineProperty(exports, "__esModule", { value: true });
40
- exports.StmtReader = exports.SourceBody = void 0;
41
- const Local_1 = require("../../core/base/Local");
42
- const Stmt_1 = require("../../core/base/Stmt");
43
- const logger_1 = __importStar(require("../../utils/logger"));
44
- const ArkStream_1 = require("../ArkStream");
45
- const SourceStmt_1 = require("./SourceStmt");
46
- const CfgStructualAnalysis_1 = require("../../utils/CfgStructualAnalysis");
47
- const ModelUtils_1 = require("../../core/common/ModelUtils");
48
- const PrinterUtils_1 = require("../base/PrinterUtils");
49
- const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SourceBody');
50
- class SourceBody {
51
- constructor(indent, method, inBuilder) {
52
- this.stmts = [];
53
- this.printer = new ArkStream_1.ArkCodeBuffer(indent);
54
- this.method = method;
55
- this.arkBody = method.getBody();
56
- this.cfgUtils = new CfgStructualAnalysis_1.AbstractFlowGraph(method.getCfg(), this.arkBody.getTraps());
57
- this.tempCodeMap = new Map();
58
- this.tempVisitor = new Set();
59
- this.definedLocals = new Set();
60
- this.inBuilder = inBuilder;
61
- this.skipStmts = new Set();
62
- this.stmtReader = new StmtReader([]);
63
- this.lastStmt = this.arkBody.getCfg().getStartingStmt();
64
- this.buildSourceStmt();
65
- }
66
- setSkipStmt(stmt) {
67
- this.skipStmts.add(stmt);
68
- }
69
- isInBuilderMethod() {
70
- return this.inBuilder;
71
- }
72
- isInDefaultMethod() {
73
- return this.method.isDefaultArkMethod();
74
- }
75
- getArkFile() {
76
- return this.method.getDeclaringArkFile();
77
- }
78
- getDeclaringArkNamespace() {
79
- return this.method.getDeclaringArkClass().getDeclaringArkNamespace();
80
- }
81
- getMethod(signature) {
82
- let method = this.method.getDeclaringArkFile().getScene().getMethod(signature);
83
- if (method) {
84
- return method;
85
- }
86
- return this.method.getDeclaringArkClass().getMethodWithName(signature.getMethodSubSignature().getMethodName());
87
- }
88
- getClass(signature) {
89
- return ModelUtils_1.ModelUtils.getClass(this.method, signature);
90
- }
91
- getLocals() {
92
- return this.arkBody.getLocals();
93
- }
94
- defineLocal(local) {
95
- this.definedLocals.add(local);
96
- }
97
- isLocalDefined(local) {
98
- return this.definedLocals.has(local);
99
- }
100
- getStmtReader() {
101
- return this.stmtReader;
102
- }
103
- setTempCode(temp, code) {
104
- this.tempCodeMap.set(temp, code);
105
- }
106
- transTemp2Code(temp) {
107
- if (this.tempCodeMap.has(temp.getName()) && PrinterUtils_1.PrinterUtils.isTemp(temp.getName())) {
108
- this.tempVisitor.add(temp.getName());
109
- return this.tempCodeMap.get(temp.getName());
110
- }
111
- return temp.getName();
112
- }
113
- getTempCodeMap() {
114
- return this.tempCodeMap;
115
- }
116
- hasTempVisit(temp) {
117
- return this.tempVisitor.has(temp);
118
- }
119
- setTempVisit(temp) {
120
- this.tempVisitor.add(temp);
121
- }
122
- getPrinter() {
123
- return this.printer;
124
- }
125
- dump() {
126
- this.printStmts();
127
- return this.printer.toString();
128
- }
129
- buildSourceStmt() {
130
- this.cfgUtils.preOrder(this.cfgUtils.getEntry(), (block, type) => {
131
- this.buildBasicBlock(block, type);
132
- });
133
- }
134
- buildBasicBlock(block, type) {
135
- if (type === CfgStructualAnalysis_1.CodeBlockType.BREAK) {
136
- this.pushStmt(new SourceStmt_1.SourceBreakStmt(this, this.lastStmt));
137
- return;
138
- }
139
- else if (type === CfgStructualAnalysis_1.CodeBlockType.CONTINUE) {
140
- this.pushStmt(new SourceStmt_1.SourceContinueStmt(this, this.lastStmt));
141
- }
142
- else if (type === CfgStructualAnalysis_1.CodeBlockType.COMPOUND_END) {
143
- this.pushStmt(new SourceStmt_1.SourceCompoundEndStmt(this, this.lastStmt, '}'));
144
- }
145
- else if (type === CfgStructualAnalysis_1.CodeBlockType.ELSE) {
146
- this.pushStmt(new SourceStmt_1.SourceElseStmt(this, this.lastStmt));
147
- }
148
- else if (type === CfgStructualAnalysis_1.CodeBlockType.DO) {
149
- this.pushStmt(new SourceStmt_1.SourceDoStmt(this, this.lastStmt));
150
- }
151
- else if (type === CfgStructualAnalysis_1.CodeBlockType.TRY) {
152
- this.pushStmt(new SourceStmt_1.SourceTryStmt(this, this.lastStmt));
153
- }
154
- else if (type === CfgStructualAnalysis_1.CodeBlockType.CATCH) {
155
- this.pushStmt(new SourceStmt_1.SourceCatchStmt(this, this.lastStmt, block));
156
- // catch need read block first stmt, using return to void walk block twice.
157
- return;
158
- }
159
- else if (type === CfgStructualAnalysis_1.CodeBlockType.FINALLY) {
160
- this.pushStmt(new SourceStmt_1.SourceFinallyStmt(this, this.lastStmt));
161
- }
162
- if (!block) {
163
- return;
164
- }
165
- let originalStmts = this.sortStmt(block.getStmts());
166
- this.stmtReader = new StmtReader(originalStmts);
167
- while (this.stmtReader.hasNext()) {
168
- let stmt = this.stmtReader.next();
169
- if (this.skipStmts.has(stmt)) {
170
- continue;
171
- }
172
- if (stmt instanceof Stmt_1.ArkIfStmt) {
173
- if (type === CfgStructualAnalysis_1.CodeBlockType.IF) {
174
- this.pushStmt(new SourceStmt_1.SourceIfStmt(this, stmt));
175
- }
176
- else if (type === CfgStructualAnalysis_1.CodeBlockType.WHILE) {
177
- this.pushStmt(new SourceStmt_1.SourceWhileStmt(this, stmt, block));
178
- }
179
- else if (type === CfgStructualAnalysis_1.CodeBlockType.FOR) {
180
- let inc = this.cfgUtils.getForIncBlock(block);
181
- this.pushStmt(new SourceStmt_1.SourceForStmt(this, stmt, block, inc));
182
- }
183
- else if (type === CfgStructualAnalysis_1.CodeBlockType.DO_WHILE) {
184
- this.pushStmt(new SourceStmt_1.SourceDoWhileStmt(this, stmt, block));
185
- }
186
- }
187
- else {
188
- this.pushStmt((0, SourceStmt_1.stmt2SourceStmt)(this, stmt));
189
- }
190
- this.lastStmt = stmt;
191
- }
192
- }
193
- printStmts() {
194
- for (let stmt of this.stmts) {
195
- if (this.skipStmts.has(stmt.original)) {
196
- continue;
197
- }
198
- this.printer.write(stmt.dump());
199
- }
200
- }
201
- getStmts() {
202
- return this.stmts.filter((value) => {
203
- if (!this.skipStmts.has(value.original)) {
204
- return value;
205
- }
206
- });
207
- }
208
- pushStmt(stmt) {
209
- let lastLine = this.getLastLine();
210
- if (stmt.getLine() < lastLine) {
211
- stmt.setLine(lastLine + 0.1);
212
- }
213
- stmt.transfer2ts();
214
- this.stmts.push(stmt);
215
- }
216
- getLastLine() {
217
- if (this.stmts.length > 0) {
218
- return this.stmts[this.stmts.length - 1].getLine();
219
- }
220
- return 0;
221
- }
222
- /*
223
- * temp9 = new <>.<>(); temp10 = new Array<number>(3);
224
- * temp10 = new Array<number>(3); temp10[0] = 'Cat';
225
- * temp10[0] = 'Cat'; ==> temp10[1] = 'Dog';
226
- * temp10[1] = 'Dog'; temp10[2] = 'Hamster';
227
- * temp10[2] = 'Hamster'; temp9 = new <>.<>();
228
- * temp9.constructor(temp10); temp9.constructor(temp10);
229
- */
230
- sortStmt(stmts) {
231
- for (let i = stmts.length - 1; i > 0; i--) {
232
- if (stmts[i] instanceof Stmt_1.ArkInvokeStmt && stmts[i].getInvokeExpr()) {
233
- let instanceInvokeExpr = stmts[i].getInvokeExpr();
234
- if ('constructor' === instanceInvokeExpr.getMethodSignature().getMethodSubSignature().getMethodName()) {
235
- let localName = instanceInvokeExpr.getBase().getName();
236
- let newExprIdx = findNewExpr(i, localName);
237
- if (newExprIdx >= 0 && newExprIdx < i - 1) {
238
- moveStmt(i, newExprIdx);
239
- }
240
- }
241
- }
242
- }
243
- return stmts;
244
- function findNewExpr(constructorIdx, name) {
245
- for (let j = constructorIdx - 1; j >= 0; j--) {
246
- if (!(stmts[j] instanceof Stmt_1.ArkAssignStmt)) {
247
- continue;
248
- }
249
- if (stmts[j].getLeftOp() instanceof Local_1.Local) {
250
- if (stmts[j].getLeftOp().getName() === name) {
251
- return j;
252
- }
253
- }
254
- }
255
- return -1;
256
- }
257
- function moveStmt(constructorIdx, newExprIdx) {
258
- let back = stmts[newExprIdx];
259
- for (let i = newExprIdx; i < constructorIdx - 1; i++) {
260
- stmts[i] = stmts[i + 1];
261
- }
262
- stmts[constructorIdx - 1] = back;
263
- }
264
- }
265
- }
266
- exports.SourceBody = SourceBody;
267
- class StmtReader {
268
- constructor(stmts) {
269
- this.stmts = [];
270
- this.stmts = stmts;
271
- this.pos = 0;
272
- }
273
- first() {
274
- return this.stmts[0];
275
- }
276
- hasNext() {
277
- return this.pos < this.stmts.length;
278
- }
279
- next() {
280
- if (!this.hasNext()) {
281
- logger.error('SourceBody: StmtReader->next No more stmt.');
282
- throw new Error('No more stmt.');
283
- }
284
- let stmt = this.stmts[this.pos];
285
- this.pos++;
286
- return stmt;
287
- }
288
- rollback() {
289
- if (this.pos === 0) {
290
- logger.error('SourceBody: StmtReader->rollback No more stmt to rollback.');
291
- throw new Error('No more stmt to rollback.');
292
- }
293
- this.pos--;
294
- }
295
- }
296
- exports.StmtReader = StmtReader;
1
+ "use strict";
2
+ /*
3
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
4
+ * Licensed under the Apache License, Version 2.0 (the "License");
5
+ * you may not use this file except in compliance with the License.
6
+ * You may obtain a copy of the License at
7
+ *
8
+ * http://www.apache.org/licenses/LICENSE-2.0
9
+ *
10
+ * Unless required by applicable law or agreed to in writing, software
11
+ * distributed under the License is distributed on an "AS IS" BASIS,
12
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
+ * See the License for the specific language governing permissions and
14
+ * limitations under the License.
15
+ */
16
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
17
+ if (k2 === undefined) k2 = k;
18
+ var desc = Object.getOwnPropertyDescriptor(m, k);
19
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
20
+ desc = { enumerable: true, get: function() { return m[k]; } };
21
+ }
22
+ Object.defineProperty(o, k2, desc);
23
+ }) : (function(o, m, k, k2) {
24
+ if (k2 === undefined) k2 = k;
25
+ o[k2] = m[k];
26
+ }));
27
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
28
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
29
+ }) : function(o, v) {
30
+ o["default"] = v;
31
+ });
32
+ var __importStar = (this && this.__importStar) || function (mod) {
33
+ if (mod && mod.__esModule) return mod;
34
+ var result = {};
35
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
36
+ __setModuleDefault(result, mod);
37
+ return result;
38
+ };
39
+ Object.defineProperty(exports, "__esModule", { value: true });
40
+ exports.StmtReader = exports.SourceBody = void 0;
41
+ const Local_1 = require("../../core/base/Local");
42
+ const Stmt_1 = require("../../core/base/Stmt");
43
+ const logger_1 = __importStar(require("../../utils/logger"));
44
+ const ArkStream_1 = require("../ArkStream");
45
+ const SourceStmt_1 = require("./SourceStmt");
46
+ const CfgStructualAnalysis_1 = require("../../utils/CfgStructualAnalysis");
47
+ const ModelUtils_1 = require("../../core/common/ModelUtils");
48
+ const PrinterUtils_1 = require("../base/PrinterUtils");
49
+ const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SourceBody');
50
+ class SourceBody {
51
+ constructor(indent, method, inBuilder) {
52
+ this.stmts = [];
53
+ this.printer = new ArkStream_1.ArkCodeBuffer(indent);
54
+ this.method = method;
55
+ this.arkBody = method.getBody();
56
+ this.cfgUtils = new CfgStructualAnalysis_1.AbstractFlowGraph(method.getCfg(), this.arkBody.getTraps());
57
+ this.tempCodeMap = new Map();
58
+ this.tempVisitor = new Set();
59
+ this.definedLocals = new Set();
60
+ this.inBuilder = inBuilder;
61
+ this.skipStmts = new Set();
62
+ this.stmtReader = new StmtReader([]);
63
+ this.lastStmt = this.arkBody.getCfg().getStartingStmt();
64
+ this.buildSourceStmt();
65
+ }
66
+ setSkipStmt(stmt) {
67
+ this.skipStmts.add(stmt);
68
+ }
69
+ isInBuilderMethod() {
70
+ return this.inBuilder;
71
+ }
72
+ isInDefaultMethod() {
73
+ return this.method.isDefaultArkMethod();
74
+ }
75
+ getArkFile() {
76
+ return this.method.getDeclaringArkFile();
77
+ }
78
+ getDeclaringArkNamespace() {
79
+ return this.method.getDeclaringArkClass().getDeclaringArkNamespace();
80
+ }
81
+ getMethod(signature) {
82
+ let method = this.method.getDeclaringArkFile().getScene().getMethod(signature);
83
+ if (method) {
84
+ return method;
85
+ }
86
+ return this.method.getDeclaringArkClass().getMethodWithName(signature.getMethodSubSignature().getMethodName());
87
+ }
88
+ getClass(signature) {
89
+ return ModelUtils_1.ModelUtils.getClass(this.method, signature);
90
+ }
91
+ getLocals() {
92
+ return this.arkBody.getLocals();
93
+ }
94
+ defineLocal(local) {
95
+ this.definedLocals.add(local);
96
+ }
97
+ isLocalDefined(local) {
98
+ return this.definedLocals.has(local);
99
+ }
100
+ getStmtReader() {
101
+ return this.stmtReader;
102
+ }
103
+ setTempCode(temp, code) {
104
+ this.tempCodeMap.set(temp, code);
105
+ }
106
+ transTemp2Code(temp) {
107
+ if (this.tempCodeMap.has(temp.getName()) && PrinterUtils_1.PrinterUtils.isTemp(temp.getName())) {
108
+ this.tempVisitor.add(temp.getName());
109
+ return this.tempCodeMap.get(temp.getName());
110
+ }
111
+ return temp.getName();
112
+ }
113
+ getTempCodeMap() {
114
+ return this.tempCodeMap;
115
+ }
116
+ hasTempVisit(temp) {
117
+ return this.tempVisitor.has(temp);
118
+ }
119
+ setTempVisit(temp) {
120
+ this.tempVisitor.add(temp);
121
+ }
122
+ getPrinter() {
123
+ return this.printer;
124
+ }
125
+ dump() {
126
+ this.printStmts();
127
+ return this.printer.toString();
128
+ }
129
+ buildSourceStmt() {
130
+ this.cfgUtils.preOrder(this.cfgUtils.getEntry(), (block, type) => {
131
+ this.buildBasicBlock(block, type);
132
+ });
133
+ }
134
+ buildBasicBlock(block, type) {
135
+ if (type === CfgStructualAnalysis_1.CodeBlockType.BREAK) {
136
+ this.pushStmt(new SourceStmt_1.SourceBreakStmt(this, this.lastStmt));
137
+ return;
138
+ }
139
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.CONTINUE) {
140
+ this.pushStmt(new SourceStmt_1.SourceContinueStmt(this, this.lastStmt));
141
+ }
142
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.COMPOUND_END) {
143
+ this.pushStmt(new SourceStmt_1.SourceCompoundEndStmt(this, this.lastStmt, '}'));
144
+ }
145
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.ELSE) {
146
+ this.pushStmt(new SourceStmt_1.SourceElseStmt(this, this.lastStmt));
147
+ }
148
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.DO) {
149
+ this.pushStmt(new SourceStmt_1.SourceDoStmt(this, this.lastStmt));
150
+ }
151
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.TRY) {
152
+ this.pushStmt(new SourceStmt_1.SourceTryStmt(this, this.lastStmt));
153
+ }
154
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.CATCH) {
155
+ this.pushStmt(new SourceStmt_1.SourceCatchStmt(this, this.lastStmt, block));
156
+ // catch need read block first stmt, using return to void walk block twice.
157
+ return;
158
+ }
159
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.FINALLY) {
160
+ this.pushStmt(new SourceStmt_1.SourceFinallyStmt(this, this.lastStmt));
161
+ }
162
+ if (!block) {
163
+ return;
164
+ }
165
+ let originalStmts = this.sortStmt(block.getStmts());
166
+ this.stmtReader = new StmtReader(originalStmts);
167
+ while (this.stmtReader.hasNext()) {
168
+ let stmt = this.stmtReader.next();
169
+ if (this.skipStmts.has(stmt)) {
170
+ continue;
171
+ }
172
+ if (stmt instanceof Stmt_1.ArkIfStmt) {
173
+ if (type === CfgStructualAnalysis_1.CodeBlockType.IF) {
174
+ this.pushStmt(new SourceStmt_1.SourceIfStmt(this, stmt));
175
+ }
176
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.WHILE) {
177
+ this.pushStmt(new SourceStmt_1.SourceWhileStmt(this, stmt, block));
178
+ }
179
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.FOR) {
180
+ let inc = this.cfgUtils.getForIncBlock(block);
181
+ this.pushStmt(new SourceStmt_1.SourceForStmt(this, stmt, block, inc));
182
+ }
183
+ else if (type === CfgStructualAnalysis_1.CodeBlockType.DO_WHILE) {
184
+ this.pushStmt(new SourceStmt_1.SourceDoWhileStmt(this, stmt, block));
185
+ }
186
+ }
187
+ else {
188
+ this.pushStmt((0, SourceStmt_1.stmt2SourceStmt)(this, stmt));
189
+ }
190
+ this.lastStmt = stmt;
191
+ }
192
+ }
193
+ printStmts() {
194
+ for (let stmt of this.stmts) {
195
+ if (this.skipStmts.has(stmt.original)) {
196
+ continue;
197
+ }
198
+ this.printer.write(stmt.dump());
199
+ }
200
+ }
201
+ getStmts() {
202
+ return this.stmts.filter((value) => {
203
+ if (!this.skipStmts.has(value.original)) {
204
+ return value;
205
+ }
206
+ });
207
+ }
208
+ pushStmt(stmt) {
209
+ let lastLine = this.getLastLine();
210
+ if (stmt.getLine() < lastLine) {
211
+ stmt.setLine(lastLine + 0.1);
212
+ }
213
+ stmt.transfer2ts();
214
+ this.stmts.push(stmt);
215
+ }
216
+ getLastLine() {
217
+ if (this.stmts.length > 0) {
218
+ return this.stmts[this.stmts.length - 1].getLine();
219
+ }
220
+ return 0;
221
+ }
222
+ /*
223
+ * temp9 = new <>.<>(); temp10 = new Array<number>(3);
224
+ * temp10 = new Array<number>(3); temp10[0] = 'Cat';
225
+ * temp10[0] = 'Cat'; ==> temp10[1] = 'Dog';
226
+ * temp10[1] = 'Dog'; temp10[2] = 'Hamster';
227
+ * temp10[2] = 'Hamster'; temp9 = new <>.<>();
228
+ * temp9.constructor(temp10); temp9.constructor(temp10);
229
+ */
230
+ sortStmt(stmts) {
231
+ for (let i = stmts.length - 1; i > 0; i--) {
232
+ if (stmts[i] instanceof Stmt_1.ArkInvokeStmt && stmts[i].getInvokeExpr()) {
233
+ let instanceInvokeExpr = stmts[i].getInvokeExpr();
234
+ if ('constructor' === instanceInvokeExpr.getMethodSignature().getMethodSubSignature().getMethodName()) {
235
+ let localName = instanceInvokeExpr.getBase().getName();
236
+ let newExprIdx = findNewExpr(i, localName);
237
+ if (newExprIdx >= 0 && newExprIdx < i - 1) {
238
+ moveStmt(i, newExprIdx);
239
+ }
240
+ }
241
+ }
242
+ }
243
+ return stmts;
244
+ function findNewExpr(constructorIdx, name) {
245
+ for (let j = constructorIdx - 1; j >= 0; j--) {
246
+ if (!(stmts[j] instanceof Stmt_1.ArkAssignStmt)) {
247
+ continue;
248
+ }
249
+ if (stmts[j].getLeftOp() instanceof Local_1.Local) {
250
+ if (stmts[j].getLeftOp().getName() === name) {
251
+ return j;
252
+ }
253
+ }
254
+ }
255
+ return -1;
256
+ }
257
+ function moveStmt(constructorIdx, newExprIdx) {
258
+ let back = stmts[newExprIdx];
259
+ for (let i = newExprIdx; i < constructorIdx - 1; i++) {
260
+ stmts[i] = stmts[i + 1];
261
+ }
262
+ stmts[constructorIdx - 1] = back;
263
+ }
264
+ }
265
+ }
266
+ exports.SourceBody = SourceBody;
267
+ class StmtReader {
268
+ constructor(stmts) {
269
+ this.stmts = [];
270
+ this.stmts = stmts;
271
+ this.pos = 0;
272
+ }
273
+ first() {
274
+ return this.stmts[0];
275
+ }
276
+ hasNext() {
277
+ return this.pos < this.stmts.length;
278
+ }
279
+ next() {
280
+ if (!this.hasNext()) {
281
+ logger.error('SourceBody: StmtReader->next No more stmt.');
282
+ throw new Error('No more stmt.');
283
+ }
284
+ let stmt = this.stmts[this.pos];
285
+ this.pos++;
286
+ return stmt;
287
+ }
288
+ rollback() {
289
+ if (this.pos === 0) {
290
+ logger.error('SourceBody: StmtReader->rollback No more stmt to rollback.');
291
+ throw new Error('No more stmt to rollback.');
292
+ }
293
+ this.pos--;
294
+ }
295
+ }
296
+ exports.StmtReader = StmtReader;
@@ -1,26 +1,26 @@
1
- import { ArkClass } from '../../core/model/ArkClass';
2
- import { SourceBase } from './SourceBase';
3
- import { ArkNamespace } from '../../core/model/ArkNamespace';
4
- import { Dump } from '../base/BasePrinter';
5
- /**
6
- * @category save
7
- */
8
- export declare class SourceClass extends SourceBase {
9
- protected cls: ArkClass;
10
- private transformer;
11
- constructor(cls: ArkClass, indent?: string);
12
- getDeclaringArkNamespace(): ArkNamespace | undefined;
13
- getLine(): number;
14
- dump(): string;
15
- private dumpObject;
16
- private dumpTypeLiteral;
17
- protected printMethods(): Dump[];
18
- private printFields;
19
- private parseFieldInitMethod;
20
- }
21
- export declare class SourceDefaultClass extends SourceClass {
22
- constructor(cls: ArkClass, indent?: string);
23
- getLine(): number;
24
- dump(): string;
25
- }
1
+ import { ArkClass } from '../../core/model/ArkClass';
2
+ import { SourceBase } from './SourceBase';
3
+ import { ArkNamespace } from '../../core/model/ArkNamespace';
4
+ import { Dump } from '../base/BasePrinter';
5
+ /**
6
+ * @category save
7
+ */
8
+ export declare class SourceClass extends SourceBase {
9
+ protected cls: ArkClass;
10
+ private transformer;
11
+ constructor(cls: ArkClass, indent?: string);
12
+ getDeclaringArkNamespace(): ArkNamespace | undefined;
13
+ getLine(): number;
14
+ dump(): string;
15
+ private dumpObject;
16
+ private dumpTypeLiteral;
17
+ protected printMethods(): Dump[];
18
+ private printFields;
19
+ private parseFieldInitMethod;
20
+ }
21
+ export declare class SourceDefaultClass extends SourceClass {
22
+ constructor(cls: ArkClass, indent?: string);
23
+ getLine(): number;
24
+ dump(): string;
25
+ }
26
26
  //# sourceMappingURL=SourceClass.d.ts.map