arkanalyzer 1.0.42 → 1.0.43

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 (70) hide show
  1. package/lib/Scene.d.ts.map +1 -1
  2. package/lib/Scene.js +44 -37
  3. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +11 -5
  4. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts.map +1 -1
  5. package/lib/callgraph/pointerAnalysis/PTAUtils.js +42 -24
  6. package/lib/callgraph/pointerAnalysis/Pag.d.ts +6 -11
  7. package/lib/callgraph/pointerAnalysis/Pag.d.ts.map +1 -1
  8. package/lib/callgraph/pointerAnalysis/Pag.js +26 -23
  9. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +11 -63
  10. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts.map +1 -1
  11. package/lib/callgraph/pointerAnalysis/PagBuilder.js +62 -495
  12. package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts.map +1 -1
  13. package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +4 -2
  14. package/lib/callgraph/pointerAnalysis/plugins/ContainerPlugin.d.ts +24 -0
  15. package/lib/callgraph/pointerAnalysis/plugins/ContainerPlugin.d.ts.map +1 -0
  16. package/lib/callgraph/pointerAnalysis/plugins/ContainerPlugin.js +167 -0
  17. package/lib/callgraph/pointerAnalysis/plugins/FunctionPlugin.d.ts +26 -0
  18. package/lib/callgraph/pointerAnalysis/plugins/FunctionPlugin.d.ts.map +1 -0
  19. package/lib/callgraph/pointerAnalysis/plugins/FunctionPlugin.js +151 -0
  20. package/lib/callgraph/pointerAnalysis/plugins/IPagPlugin.d.ts +15 -0
  21. package/lib/callgraph/pointerAnalysis/plugins/IPagPlugin.d.ts.map +1 -0
  22. package/lib/callgraph/pointerAnalysis/plugins/IPagPlugin.js +16 -0
  23. package/lib/callgraph/pointerAnalysis/plugins/PluginManager.d.ts +25 -0
  24. package/lib/callgraph/pointerAnalysis/plugins/PluginManager.d.ts.map +1 -0
  25. package/lib/callgraph/pointerAnalysis/plugins/PluginManager.js +66 -0
  26. package/lib/callgraph/pointerAnalysis/plugins/SdkPlugin.d.ts +37 -0
  27. package/lib/callgraph/pointerAnalysis/plugins/SdkPlugin.d.ts.map +1 -0
  28. package/lib/callgraph/pointerAnalysis/plugins/SdkPlugin.js +160 -0
  29. package/lib/callgraph/pointerAnalysis/plugins/StoragePlugin.d.ts +68 -0
  30. package/lib/callgraph/pointerAnalysis/plugins/StoragePlugin.d.ts.map +1 -0
  31. package/lib/callgraph/pointerAnalysis/plugins/StoragePlugin.js +288 -0
  32. package/lib/core/common/DummyMainCreater.js +1 -1
  33. package/lib/core/common/SdkUtils.d.ts +1 -1
  34. package/lib/core/common/SdkUtils.d.ts.map +1 -1
  35. package/lib/core/common/SdkUtils.js +18 -18
  36. package/lib/core/common/TypeInference.d.ts.map +1 -1
  37. package/lib/core/common/TypeInference.js +2 -2
  38. package/lib/core/graph/builder/CfgBuilder.js +1 -1
  39. package/lib/core/graph/builder/ConditionBuilder.js +1 -1
  40. package/lib/core/model/ArkClass.d.ts.map +1 -1
  41. package/lib/core/model/ArkClass.js +2 -1
  42. package/lib/core/model/builder/BodyBuilder.js +1 -1
  43. package/lib/pass/Dispatcher.d.ts +2 -2
  44. package/lib/pass/Dispatcher.d.ts.map +1 -1
  45. package/lib/pass/Pass.d.ts +3 -3
  46. package/lib/pass/Pass.d.ts.map +1 -1
  47. package/lib/pass/ScenePassMgr.d.ts +4 -4
  48. package/lib/pass/ScenePassMgr.d.ts.map +1 -1
  49. package/lib/pass/validators/Exprs.d.ts +9 -0
  50. package/lib/pass/validators/Exprs.d.ts.map +1 -0
  51. package/lib/pass/validators/Exprs.js +40 -0
  52. package/lib/pass/validators/Models.d.ts +14 -0
  53. package/lib/pass/validators/Models.d.ts.map +1 -0
  54. package/lib/pass/validators/Models.js +42 -0
  55. package/lib/pass/validators/SceneValidator.d.ts +19 -0
  56. package/lib/pass/validators/SceneValidator.d.ts.map +1 -0
  57. package/lib/pass/validators/SceneValidator.js +77 -0
  58. package/lib/pass/validators/Stmts.d.ts +7 -0
  59. package/lib/pass/validators/Stmts.d.ts.map +1 -0
  60. package/lib/pass/validators/Stmts.js +36 -0
  61. package/lib/pass/{SceneValidator.d.ts → validators/Validator.d.ts} +100 -108
  62. package/lib/pass/validators/Validator.d.ts.map +1 -0
  63. package/lib/pass/{SceneValidator.js → validators/Validator.js} +147 -143
  64. package/lib/pass/validators/Values.d.ts +7 -0
  65. package/lib/pass/validators/Values.d.ts.map +1 -0
  66. package/lib/pass/validators/Values.js +34 -0
  67. package/lib/save/source/SourceStmt.js +1 -1
  68. package/lib/utils/FileUtils.js +1 -1
  69. package/package.json +2 -2
  70. package/lib/pass/SceneValidator.d.ts.map +0 -1
@@ -0,0 +1,34 @@
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
+ Object.defineProperty(exports, "__esModule", { value: true });
17
+ exports.LocalValidator = void 0;
18
+ const Validator_1 = require("./Validator");
19
+ const Local_1 = require("../../core/base/Local");
20
+ const Const_1 = require("../../core/common/Const");
21
+ class LocalValidator extends Validator_1.ValueValidator {
22
+ validate(value, ctx) {
23
+ if (value.getName().startsWith(Const_1.NAME_PREFIX) && !value.getDeclaringStmt()) {
24
+ ctx.info(`should have declaring stmt`);
25
+ }
26
+ }
27
+ }
28
+ exports.LocalValidator = LocalValidator;
29
+ LocalValidator.INSTANCE = new LocalValidator();
30
+ (() => {
31
+ LocalValidator.register([Local_1.Local, (v, ctx, mtd) => {
32
+ LocalValidator.INSTANCE.run(v, ctx, mtd);
33
+ }]);
34
+ })();
@@ -776,7 +776,7 @@ class SourceCatchStmt extends SourceStmt {
776
776
  }
777
777
  transfer2ts() {
778
778
  if (this.block) {
779
- let stmt = this.block.getStmts()[0];
779
+ let stmt = this.block.getHead();
780
780
  if (stmt instanceof Stmt_1.ArkAssignStmt) {
781
781
  if (stmt.getLeftOp() instanceof Local_1.Local) {
782
782
  let name = stmt.getLeftOp().getName();
@@ -94,7 +94,7 @@ class FileUtils {
94
94
  }
95
95
  }
96
96
  else {
97
- path_1.default.resolve(dir, 'oh_modules', name);
97
+ modulePath = path_1.default.resolve(dir, 'oh_modules', name);
98
98
  }
99
99
  moduleMap.set(name, new ModulePath(modulePath, main));
100
100
  });
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "arkanalyzer",
3
- "version": "1.0.42",
4
- "commit_id": "9990fed7",
3
+ "version": "1.0.43",
4
+ "commit_id": "061d23f2",
5
5
  "files": [
6
6
  "docs",
7
7
  "lib",
@@ -1 +0,0 @@
1
- {"version":3,"file":"SceneValidator.d.ts","sourceRoot":"","sources":["../../src/pass/SceneValidator.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAKzC,0BAAkB,YAAY;IAC1B,IAAI,IAAA;IACJ,IAAI,IAAA;IACJ,KAAK,IAAA;CACR;AAED;;;;GAIG;AACH,8BAAsB,aAAa,CAAC,CAAC,SAAS,MAAM;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAEnD,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,IAAI;IAY/C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI;CAGxC;AAED;;;;GAIG;AACH,8BAAsB,cAAc,CAAC,CAAC,SAAS,OAAO;IAClD;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAEnD,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,IAAI;IAY/C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI;CAGzC;AAED;;;;GAIG;AACH,qBAAa,oBAAqB,SAAQ,UAAU;IAChD,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAkB;IACrD,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAmB;IACvD,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAW;gBAE7B,GAAG,EAAE,SAAS;IAK1B,MAAM,CAAC,WAAW,IAAI,QAAQ;IAQ9B,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI;IAMjC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI;CAKtC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC5B,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAExB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAExB,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,8BAAsB,aAAc,SAAQ,QAAQ;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAE5D,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI;CAWzC;AAED,8BAAsB,cAAe,SAAQ,SAAS;IAClD;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAE5D,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,GAAG,IAAI;CAWvD;AAED,8BAAsB,eAAgB,SAAQ,UAAU;IACpD;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAE7D,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,UAAU,GAAG,IAAI;CAWzD;AAED;;;;;GAKG;AACH,qBAAa,YAAY;IACrB,IAAI,EAAE,MAAM,CAAsB;IAClC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAa;CAChD;AAED;;;;;GAKG;AACH,qBAAa,WAAW;IACpB,IAAI,EAAE,MAAM,CAAkB;IAC9B,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAa;IACjD,OAAO,EAAE,UAAU,EAAE,CAAM;;IAK3B,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,IAAI;IAI7B;;;;;;OAMG;IACH,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,WAAW;CAY5D;AAED;;;;;GAKG;AACH,qBAAa,YAAY;IACrB,IAAI,EAAE,MAAM,CAAmB;IAC/B,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAa;IACnD,OAAO,EAAE,UAAU,EAAE,CAAM;;IAK3B,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,IAAI;IAI7B;;;;;;;;OAQG;IACH,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,YAAY;CAY9D;AAED;;;;;GAKG;AACH,qBAAa,UAAU;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;gBAEA,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM;CAI/C;AAED;;;;GAIG;AACH,qBAAa,aAAa;IACtB,IAAI,EAAE,MAAM,CAAoB;IAChC,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAa;IAC7C,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAa;IAC3C,OAAO,EAAE,UAAU,EAAE,CAAM;;IAK3B,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,IAAI;IAI7B,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI;IAOhD,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI;IAQ7C;;;;;;OAMG;IACH,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,aAAa;CAYjE;AAED;;;;;;;;GAQG;AACH,qBAAa,cAAc;IACvB,OAAO,CAAC,GAAG,CAAwE;IAEnF,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY;CAMvC"}