arkanalyzer 1.0.20 → 1.0.22

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 (292) hide show
  1. package/config/arkanalyzer.json +14 -13
  2. package/lib/Config.d.ts +70 -70
  3. package/lib/Config.js +198 -198
  4. package/lib/Scene.d.ts +316 -316
  5. package/lib/Scene.js +1316 -1316
  6. package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
  7. package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
  8. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
  9. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
  10. package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
  11. package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
  12. package/lib/callgraph/common/Statistics.d.ts +57 -57
  13. package/lib/callgraph/common/Statistics.js +228 -228
  14. package/lib/callgraph/model/CallGraph.d.ts +96 -96
  15. package/lib/callgraph/model/CallGraph.js +354 -354
  16. package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
  17. package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
  18. package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
  19. package/lib/callgraph/pointerAnalysis/Context.js +155 -155
  20. package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
  21. package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
  22. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
  23. package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
  24. package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
  25. package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
  26. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
  27. package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1399
  28. package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
  29. package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
  30. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
  31. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
  32. package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
  33. package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
  34. package/lib/core/base/Constant.d.ts +48 -48
  35. package/lib/core/base/Constant.js +103 -103
  36. package/lib/core/base/Decorator.d.ts +15 -15
  37. package/lib/core/base/Decorator.js +46 -46
  38. package/lib/core/base/DefUseChain.d.ts +8 -8
  39. package/lib/core/base/DefUseChain.js +25 -25
  40. package/lib/core/base/Expr.d.ts +340 -340
  41. package/lib/core/base/Expr.js +917 -917
  42. package/lib/core/base/Local.d.ts +104 -104
  43. package/lib/core/base/Local.js +176 -176
  44. package/lib/core/base/Position.d.ts +30 -30
  45. package/lib/core/base/Position.js +147 -147
  46. package/lib/core/base/Ref.d.ts +173 -173
  47. package/lib/core/base/Ref.d.ts.map +1 -1
  48. package/lib/core/base/Ref.js +373 -374
  49. package/lib/core/base/Stmt.d.ts +237 -237
  50. package/lib/core/base/Stmt.js +525 -525
  51. package/lib/core/base/Trap.d.ts +8 -8
  52. package/lib/core/base/Trap.js +30 -30
  53. package/lib/core/base/Type.d.ts +308 -308
  54. package/lib/core/base/Type.js +639 -639
  55. package/lib/core/base/TypeExpr.d.ts +71 -71
  56. package/lib/core/base/TypeExpr.js +155 -155
  57. package/lib/core/base/Value.d.ts +32 -32
  58. package/lib/core/base/Value.js +16 -16
  59. package/lib/core/common/ArkError.d.ts +14 -14
  60. package/lib/core/common/ArkError.js +28 -28
  61. package/lib/core/common/ArkIRTransformer.d.ts +68 -67
  62. package/lib/core/common/ArkIRTransformer.d.ts.map +1 -1
  63. package/lib/core/common/ArkIRTransformer.js +705 -690
  64. package/lib/core/common/ArkValueTransformer.d.ts +89 -89
  65. package/lib/core/common/ArkValueTransformer.js +1478 -1478
  66. package/lib/core/common/Builtin.d.ts +36 -36
  67. package/lib/core/common/Builtin.js +81 -81
  68. package/lib/core/common/Const.d.ts +21 -21
  69. package/lib/core/common/Const.js +43 -43
  70. package/lib/core/common/DummyMainCreater.d.ts +46 -46
  71. package/lib/core/common/DummyMainCreater.js +319 -319
  72. package/lib/core/common/EtsConst.d.ts +73 -73
  73. package/lib/core/common/EtsConst.js +1021 -1021
  74. package/lib/core/common/ExprUseReplacer.d.ts +21 -21
  75. package/lib/core/common/ExprUseReplacer.js +124 -124
  76. package/lib/core/common/IRInference.d.ts +45 -36
  77. package/lib/core/common/IRInference.d.ts.map +1 -1
  78. package/lib/core/common/IRInference.js +731 -648
  79. package/lib/core/common/IRUtils.d.ts +18 -18
  80. package/lib/core/common/IRUtils.js +141 -141
  81. package/lib/core/common/ModelUtils.d.ts +70 -70
  82. package/lib/core/common/ModelUtils.d.ts.map +1 -1
  83. package/lib/core/common/ModelUtils.js +723 -712
  84. package/lib/core/common/RefUseReplacer.d.ts +13 -13
  85. package/lib/core/common/RefUseReplacer.js +52 -52
  86. package/lib/core/common/SdkUtils.d.ts +11 -8
  87. package/lib/core/common/SdkUtils.d.ts.map +1 -1
  88. package/lib/core/common/SdkUtils.js +127 -105
  89. package/lib/core/common/StmtDefReplacer.d.ts +12 -12
  90. package/lib/core/common/StmtDefReplacer.js +41 -41
  91. package/lib/core/common/StmtUseReplacer.d.ts +16 -16
  92. package/lib/core/common/StmtUseReplacer.js +108 -108
  93. package/lib/core/common/TSConst.d.ts +20 -18
  94. package/lib/core/common/TSConst.d.ts.map +1 -1
  95. package/lib/core/common/TSConst.js +38 -36
  96. package/lib/core/common/TypeInference.d.ts +105 -102
  97. package/lib/core/common/TypeInference.d.ts.map +1 -1
  98. package/lib/core/common/TypeInference.js +806 -748
  99. package/lib/core/common/ValueUtil.d.ts +12 -12
  100. package/lib/core/common/ValueUtil.js +54 -54
  101. package/lib/core/common/VisibleValue.d.ts +36 -36
  102. package/lib/core/common/VisibleValue.js +212 -212
  103. package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
  104. package/lib/core/dataflow/DataflowProblem.js +20 -20
  105. package/lib/core/dataflow/DataflowResult.d.ts +7 -7
  106. package/lib/core/dataflow/DataflowResult.js +26 -26
  107. package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
  108. package/lib/core/dataflow/DataflowSolver.js +307 -307
  109. package/lib/core/dataflow/Edge.d.ts +11 -11
  110. package/lib/core/dataflow/Edge.js +31 -31
  111. package/lib/core/dataflow/Fact.d.ts +6 -6
  112. package/lib/core/dataflow/Fact.js +24 -24
  113. package/lib/core/dataflow/GenericDataFlow.d.ts +142 -142
  114. package/lib/core/dataflow/GenericDataFlow.js +109 -109
  115. package/lib/core/dataflow/ReachingDef.d.ts +62 -62
  116. package/lib/core/dataflow/ReachingDef.js +168 -168
  117. package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
  118. package/lib/core/dataflow/UndefinedVariable.js +288 -288
  119. package/lib/core/dataflow/Util.d.ts +9 -9
  120. package/lib/core/dataflow/Util.js +64 -64
  121. package/lib/core/graph/BaseExplicitGraph.d.ts +58 -58
  122. package/lib/core/graph/BaseExplicitGraph.js +157 -157
  123. package/lib/core/graph/BaseImplicitGraph.d.ts +77 -77
  124. package/lib/core/graph/BaseImplicitGraph.js +78 -78
  125. package/lib/core/graph/BasicBlock.d.ts +104 -104
  126. package/lib/core/graph/BasicBlock.js +280 -280
  127. package/lib/core/graph/Cfg.d.ts +59 -59
  128. package/lib/core/graph/Cfg.js +282 -282
  129. package/lib/core/graph/DependsGraph.d.ts +35 -35
  130. package/lib/core/graph/DependsGraph.js +87 -87
  131. package/lib/core/graph/DominanceFinder.d.ts +15 -15
  132. package/lib/core/graph/DominanceFinder.js +121 -121
  133. package/lib/core/graph/DominanceTree.d.ts +12 -12
  134. package/lib/core/graph/DominanceTree.js +70 -70
  135. package/lib/core/graph/GraphTraits.d.ts +7 -7
  136. package/lib/core/graph/GraphTraits.js +16 -16
  137. package/lib/core/graph/Scc.d.ts +61 -61
  138. package/lib/core/graph/Scc.js +222 -222
  139. package/lib/core/graph/ViewTree.d.ts +114 -114
  140. package/lib/core/graph/ViewTree.js +16 -16
  141. package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
  142. package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
  143. package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
  144. package/lib/core/graph/builder/ConditionBuilder.js +252 -252
  145. package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
  146. package/lib/core/graph/builder/LoopBuilder.js +251 -251
  147. package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
  148. package/lib/core/graph/builder/SwitchBuilder.js +152 -152
  149. package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
  150. package/lib/core/graph/builder/TrapBuilder.js +272 -272
  151. package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
  152. package/lib/core/graph/builder/ViewTreeBuilder.d.ts.map +1 -1
  153. package/lib/core/graph/builder/ViewTreeBuilder.js +1058 -1055
  154. package/lib/core/model/ArkBaseModel.d.ts +59 -59
  155. package/lib/core/model/ArkBaseModel.js +274 -274
  156. package/lib/core/model/ArkBody.d.ts +24 -24
  157. package/lib/core/model/ArkBody.js +65 -65
  158. package/lib/core/model/ArkClass.d.ts +206 -206
  159. package/lib/core/model/ArkClass.d.ts.map +1 -1
  160. package/lib/core/model/ArkClass.js +442 -439
  161. package/lib/core/model/ArkExport.d.ts +72 -72
  162. package/lib/core/model/ArkExport.js +147 -147
  163. package/lib/core/model/ArkField.d.ts +62 -62
  164. package/lib/core/model/ArkField.js +113 -113
  165. package/lib/core/model/ArkFile.d.ts +131 -131
  166. package/lib/core/model/ArkFile.js +267 -267
  167. package/lib/core/model/ArkImport.d.ts +44 -44
  168. package/lib/core/model/ArkImport.js +108 -108
  169. package/lib/core/model/ArkMetadata.d.ts +31 -31
  170. package/lib/core/model/ArkMetadata.js +55 -55
  171. package/lib/core/model/ArkMethod.d.ts +261 -261
  172. package/lib/core/model/ArkMethod.js +592 -592
  173. package/lib/core/model/ArkNamespace.d.ts +66 -66
  174. package/lib/core/model/ArkNamespace.js +209 -209
  175. package/lib/core/model/ArkSignature.d.ts +167 -162
  176. package/lib/core/model/ArkSignature.d.ts.map +1 -1
  177. package/lib/core/model/ArkSignature.js +393 -379
  178. package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
  179. package/lib/core/model/builder/ArkClassBuilder.d.ts.map +1 -1
  180. package/lib/core/model/builder/ArkClassBuilder.js +423 -454
  181. package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
  182. package/lib/core/model/builder/ArkExportBuilder.js +210 -210
  183. package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
  184. package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
  185. package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
  186. package/lib/core/model/builder/ArkFileBuilder.js +165 -165
  187. package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
  188. package/lib/core/model/builder/ArkImportBuilder.js +128 -128
  189. package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
  190. package/lib/core/model/builder/ArkMethodBuilder.d.ts.map +1 -1
  191. package/lib/core/model/builder/ArkMethodBuilder.js +487 -486
  192. package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
  193. package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
  194. package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
  195. package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
  196. package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
  197. package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
  198. package/lib/core/model/builder/BodyBuilder.js +542 -371
  199. package/lib/core/model/builder/builderUtils.d.ts +18 -18
  200. package/lib/core/model/builder/builderUtils.d.ts.map +1 -1
  201. package/lib/core/model/builder/builderUtils.js +571 -558
  202. package/lib/index.d.ts +82 -80
  203. package/lib/index.d.ts.map +1 -1
  204. package/lib/index.js +201 -196
  205. package/lib/save/ArkStream.d.ts +23 -23
  206. package/lib/save/ArkStream.js +83 -83
  207. package/lib/save/DotPrinter.d.ts +43 -43
  208. package/lib/save/DotPrinter.js +170 -170
  209. package/lib/save/GraphPrinter.d.ts +16 -16
  210. package/lib/save/GraphPrinter.js +134 -134
  211. package/lib/save/JsonPrinter.d.ts +30 -30
  212. package/lib/save/JsonPrinter.js +580 -580
  213. package/lib/save/Printer.d.ts +12 -12
  214. package/lib/save/Printer.js +27 -27
  215. package/lib/save/PrinterBuilder.d.ts +53 -53
  216. package/lib/save/PrinterBuilder.js +145 -145
  217. package/lib/save/ViewTreePrinter.d.ts +14 -14
  218. package/lib/save/ViewTreePrinter.js +123 -123
  219. package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
  220. package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
  221. package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
  222. package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
  223. package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
  224. package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
  225. package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
  226. package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
  227. package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
  228. package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
  229. package/lib/save/base/BasePrinter.d.ts +23 -23
  230. package/lib/save/base/BasePrinter.js +70 -70
  231. package/lib/save/base/ExportPrinter.d.ts +8 -8
  232. package/lib/save/base/ExportPrinter.js +67 -67
  233. package/lib/save/base/ImportPrinter.d.ts +9 -9
  234. package/lib/save/base/ImportPrinter.js +92 -92
  235. package/lib/save/base/PrinterUtils.d.ts +24 -24
  236. package/lib/save/base/PrinterUtils.js +208 -208
  237. package/lib/save/serializeArkIR.d.ts +8 -8
  238. package/lib/save/serializeArkIR.js +294 -294
  239. package/lib/save/source/SourceBase.d.ts +22 -22
  240. package/lib/save/source/SourceBase.js +64 -64
  241. package/lib/save/source/SourceBody.d.ts +58 -58
  242. package/lib/save/source/SourceBody.js +296 -296
  243. package/lib/save/source/SourceClass.d.ts +25 -25
  244. package/lib/save/source/SourceClass.js +187 -187
  245. package/lib/save/source/SourceField.d.ts +13 -13
  246. package/lib/save/source/SourceField.js +73 -73
  247. package/lib/save/source/SourceFilePrinter.d.ts +12 -12
  248. package/lib/save/source/SourceFilePrinter.js +69 -69
  249. package/lib/save/source/SourceMethod.d.ts +22 -22
  250. package/lib/save/source/SourceMethod.d.ts.map +1 -1
  251. package/lib/save/source/SourceMethod.js +196 -193
  252. package/lib/save/source/SourceNamespace.d.ts +11 -11
  253. package/lib/save/source/SourceNamespace.js +83 -83
  254. package/lib/save/source/SourceStmt.d.ts +178 -178
  255. package/lib/save/source/SourceStmt.js +838 -838
  256. package/lib/save/source/SourceTransformer.d.ts +46 -46
  257. package/lib/save/source/SourceTransformer.js +446 -446
  258. package/lib/transformer/FunctionTransformer.d.ts +2 -2
  259. package/lib/transformer/FunctionTransformer.js +17 -17
  260. package/lib/transformer/SceneTransformer.d.ts +2 -2
  261. package/lib/transformer/SceneTransformer.js +17 -17
  262. package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
  263. package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
  264. package/lib/transformer/Transformer.d.ts +6 -6
  265. package/lib/transformer/Transformer.js +22 -22
  266. package/lib/utils/AstTreeUtils.d.ts +4 -4
  267. package/lib/utils/AstTreeUtils.js +26 -26
  268. package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
  269. package/lib/utils/CfgStructualAnalysis.js +1277 -1277
  270. package/lib/utils/FileUtils.d.ts +18 -18
  271. package/lib/utils/FileUtils.js +135 -135
  272. package/lib/utils/SparseBitVector.d.ts +100 -100
  273. package/lib/utils/SparseBitVector.js +445 -445
  274. package/lib/utils/callGraphUtils.d.ts +30 -30
  275. package/lib/utils/callGraphUtils.js +205 -205
  276. package/lib/utils/crypto_utils.d.ts +5 -5
  277. package/lib/utils/crypto_utils.js +57 -57
  278. package/lib/utils/entryMethodUtils.d.ts +13 -13
  279. package/lib/utils/entryMethodUtils.js +110 -110
  280. package/lib/utils/getAllFiles.d.ts +9 -9
  281. package/lib/utils/getAllFiles.js +90 -90
  282. package/lib/utils/json5parser.d.ts +6 -6
  283. package/lib/utils/json5parser.js +146 -146
  284. package/lib/utils/logger.d.ts +18 -18
  285. package/lib/utils/logger.d.ts.map +1 -1
  286. package/lib/utils/logger.js +97 -90
  287. package/lib/utils/pathTransfer.d.ts +1 -1
  288. package/lib/utils/pathTransfer.js +25 -25
  289. package/node_modules/json5/lib/cli.js +0 -0
  290. package/node_modules/ohos-typescript/bin/tsc +0 -0
  291. package/node_modules/ohos-typescript/bin/tsserver +0 -0
  292. 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