sourceverity 1.0.2 → 1.0.4

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 (109) hide show
  1. package/README.md +91 -3
  2. package/dist/analysis/arrayBounds.d.ts +4 -0
  3. package/dist/analysis/arrayBounds.d.ts.map +1 -0
  4. package/dist/analysis/arrayBounds.js +4 -0
  5. package/dist/analysis/arrayBounds.js.map +1 -0
  6. package/dist/analysis/arrayBoundsCore.d.ts +69 -0
  7. package/dist/analysis/arrayBoundsCore.d.ts.map +1 -0
  8. package/dist/analysis/arrayBoundsCore.js +863 -0
  9. package/dist/analysis/arrayBoundsCore.js.map +1 -0
  10. package/dist/analysis/arrayConstructionBounds.d.ts +14 -0
  11. package/dist/analysis/arrayConstructionBounds.d.ts.map +1 -0
  12. package/dist/analysis/arrayConstructionBounds.js +445 -0
  13. package/dist/analysis/arrayConstructionBounds.js.map +1 -0
  14. package/dist/analysis/arrayIterationBounds.d.ts +12 -0
  15. package/dist/analysis/arrayIterationBounds.d.ts.map +1 -0
  16. package/dist/analysis/arrayIterationBounds.js +578 -0
  17. package/dist/analysis/arrayIterationBounds.js.map +1 -0
  18. package/dist/analysis/controlFlowGuards.d.ts +7 -0
  19. package/dist/analysis/controlFlowGuards.d.ts.map +1 -0
  20. package/dist/analysis/controlFlowGuards.js +119 -0
  21. package/dist/analysis/controlFlowGuards.js.map +1 -0
  22. package/dist/analysis/controlFlowTypes.d.ts +5 -0
  23. package/dist/analysis/controlFlowTypes.d.ts.map +1 -0
  24. package/dist/analysis/controlFlowTypes.js +2 -0
  25. package/dist/analysis/controlFlowTypes.js.map +1 -0
  26. package/dist/analysis/frameworks.d.ts.map +1 -1
  27. package/dist/analysis/frameworks.js +95 -35
  28. package/dist/analysis/frameworks.js.map +1 -1
  29. package/dist/analysis/functions.d.ts.map +1 -1
  30. package/dist/analysis/functions.js +120 -36
  31. package/dist/analysis/functions.js.map +1 -1
  32. package/dist/analysis/{controlFlow.d.ts → nonNullGuards.d.ts} +2 -5
  33. package/dist/analysis/nonNullGuards.d.ts.map +1 -0
  34. package/dist/analysis/nonNullGuards.js +340 -0
  35. package/dist/analysis/nonNullGuards.js.map +1 -0
  36. package/dist/analysis/promiseFlow.d.ts.map +1 -1
  37. package/dist/analysis/promiseFlow.js +85 -11
  38. package/dist/analysis/promiseFlow.js.map +1 -1
  39. package/dist/analysis/reactStateBounds.d.ts +8 -0
  40. package/dist/analysis/reactStateBounds.d.ts.map +1 -0
  41. package/dist/analysis/reactStateBounds.js +390 -0
  42. package/dist/analysis/reactStateBounds.js.map +1 -0
  43. package/dist/baseline/manager.js +1 -1
  44. package/dist/baseline/manager.js.map +1 -1
  45. package/dist/baseline/types.d.ts +1 -1
  46. package/dist/baseline/types.d.ts.map +1 -1
  47. package/dist/cli/help.js +1 -1
  48. package/dist/cli/main.d.ts.map +1 -1
  49. package/dist/cli/main.js +24 -2
  50. package/dist/cli/main.js.map +1 -1
  51. package/dist/core/config.d.ts +7 -0
  52. package/dist/core/config.d.ts.map +1 -0
  53. package/dist/core/config.js +42 -0
  54. package/dist/core/config.js.map +1 -0
  55. package/dist/core/paths.d.ts +0 -4
  56. package/dist/core/paths.d.ts.map +1 -1
  57. package/dist/core/paths.js +0 -6
  58. package/dist/core/paths.js.map +1 -1
  59. package/dist/engine/runner.d.ts +6 -1
  60. package/dist/engine/runner.d.ts.map +1 -1
  61. package/dist/engine/runner.js +38 -21
  62. package/dist/engine/runner.js.map +1 -1
  63. package/dist/engine/symbols.d.ts +17 -5
  64. package/dist/engine/symbols.d.ts.map +1 -1
  65. package/dist/engine/symbols.js +269 -46
  66. package/dist/engine/symbols.js.map +1 -1
  67. package/dist/reporters/sarif.d.ts +2 -0
  68. package/dist/reporters/sarif.d.ts.map +1 -1
  69. package/dist/reporters/sarif.js +36 -7
  70. package/dist/reporters/sarif.js.map +1 -1
  71. package/dist/repository/detector.d.ts.map +1 -1
  72. package/dist/repository/detector.js +31 -11
  73. package/dist/repository/detector.js.map +1 -1
  74. package/dist/rules/async/floatingPromise.d.ts.map +1 -1
  75. package/dist/rules/async/floatingPromise.js +24 -2
  76. package/dist/rules/async/floatingPromise.js.map +1 -1
  77. package/dist/rules/browser/eventListenerCleanup.d.ts.map +1 -1
  78. package/dist/rules/browser/eventListenerCleanup.js +2 -9
  79. package/dist/rules/browser/eventListenerCleanup.js.map +1 -1
  80. package/dist/rules/browser/observerCleanup.d.ts.map +1 -1
  81. package/dist/rules/browser/observerCleanup.js +2 -9
  82. package/dist/rules/browser/observerCleanup.js.map +1 -1
  83. package/dist/rules/browser/timerCleanup.d.ts.map +1 -1
  84. package/dist/rules/browser/timerCleanup.js +2 -9
  85. package/dist/rules/browser/timerCleanup.js.map +1 -1
  86. package/dist/rules/network/fetchStatusUnchecked.d.ts.map +1 -1
  87. package/dist/rules/network/fetchStatusUnchecked.js +245 -46
  88. package/dist/rules/network/fetchStatusUnchecked.js.map +1 -1
  89. package/dist/rules/react/asyncEffectCallback.d.ts.map +1 -1
  90. package/dist/rules/react/asyncEffectCallback.js +2 -9
  91. package/dist/rules/react/asyncEffectCallback.js.map +1 -1
  92. package/dist/rules/react/derivedStateEffect.d.ts.map +1 -1
  93. package/dist/rules/react/derivedStateEffect.js +61 -13
  94. package/dist/rules/react/derivedStateEffect.js.map +1 -1
  95. package/dist/rules/react/missingEffectCleanup.d.ts.map +1 -1
  96. package/dist/rules/react/missingEffectCleanup.js +102 -10
  97. package/dist/rules/react/missingEffectCleanup.js.map +1 -1
  98. package/dist/rules/typescript/nonNullAssertionRisk.js +1 -1
  99. package/dist/rules/typescript/nonNullAssertionRisk.js.map +1 -1
  100. package/dist/rules/typescript/uncheckedIndexAccess.d.ts.map +1 -1
  101. package/dist/rules/typescript/uncheckedIndexAccess.js +55 -0
  102. package/dist/rules/typescript/uncheckedIndexAccess.js.map +1 -1
  103. package/dist/rules/typescript/unsafeUnvalidatedAssertion.d.ts.map +1 -1
  104. package/dist/rules/typescript/unsafeUnvalidatedAssertion.js +9 -4
  105. package/dist/rules/typescript/unsafeUnvalidatedAssertion.js.map +1 -1
  106. package/package.json +1 -1
  107. package/dist/analysis/controlFlow.d.ts.map +0 -1
  108. package/dist/analysis/controlFlow.js +0 -2136
  109. package/dist/analysis/controlFlow.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"promiseFlow.js","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAM/C,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAQ/D,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAmE,CAAC;AAE5G;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B,EAC7B,OAA2B,EAC3B,EAAiB;IAEjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;IACvF,CAAC;IAED,IAAI,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,GAAG,IAAI,OAAO,EAAsC,CAAC;QACjE,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAA0B,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;QACjH,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAC1F,CAAC;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,IAAI,kBAAkB,IAAI,UAAU,EAAE,CAAC;YACrC,MAAM,GAAG,GAA0B;gBACjC,SAAS,EAAE,IAAI;gBACf,iBAAiB,EAAE,KAAK;gBACxB,sBAAsB,EAAE,IAAI;aAC7B,CAAC;YACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC5B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAA0B;QACjC,SAAS,EAAE,IAAI;QACf,iBAAiB,EAAE,IAAI;QACvB,sBAAsB,EAAE,KAAK;KAC9B,CAAC;IACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB,EAAE,EAAiB;IACjE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzG,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE3C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAEpC,wCAAwC;IACxC,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;QACnC,IAAI,QAAQ,IAAI,4BAA4B,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAC7C,IAAiB,EACjB,UAAkB,EAClB,EAAiB;IAEjB,2BAA2B;IAC3B,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;QACrE,CAAC,CAAC,WAAW,CAAC,UAAU;QACxB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC;YAC5B,CAAC,CAAC,WAAW,CAAC,UAAU;YACxB,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;IAChE,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAEvD,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,mDAAmD;QACnD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;oBAChD,CAAC,CAAC,YAAY,CAAC,IAAI;oBACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;wBAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;wBACxB,CAAC,CAAC,SAAS,CAAC;gBAEhB,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;oBAChC,wEAAwE;oBACxE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,IAAI,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;oBACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7D,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBAChG,OAAO,IAAI,CAAC;YACd,CAAC;YACD,qEAAqE;YACrE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,sFAAsF;IACtF,6DAA6D;IAC7D,IAAI,cAAc,GAAgB,WAAW,CAAC;IAC9C,OAAO,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC;IACzC,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;QACzC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC,CAAC,UAAU,CAAC,UAAU;YACvB,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1B,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,cAAkC,CAAC,CAAC;QAC/E,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,eAAe,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM;oBAAE,SAAS;gBAEtB,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;wBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;4BAChD,CAAC,CAAC,YAAY,CAAC,IAAI;4BACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;gCAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;gCACxB,CAAC,CAAC,SAAS,CAAC;wBAEhB,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;4BAChC,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtD,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7E,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAChG,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAuB,EACvB,EAAiB,EACjB,OAAwC,EACxC,OAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,4BAA4B;IAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,uDAAuD,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;IAC1H,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC;IAED,8FAA8F;IAC9F,IAAI,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,qCAAqC,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IACvG,CAAC;IAED,kFAAkF;IAClF,8CAA8C;IAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACnG,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE;gBAChB,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,UAAU,IAAI,+BAA+B,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,0DAA0D,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;QAC5H,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAI,cAAc,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,cAAc,CAAC,MAAM,IAAI,8BAA8B;gBAC/D,kBAAkB,EAAE,IAAI;aACzB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}
1
+ {"version":3,"file":"promiseFlow.js","sourceRoot":"","sources":["../../src/analysis/promiseFlow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAM/C,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAQ/D,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAmE,CAAC;AAE5G;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B,EAC7B,OAA2B,EAC3B,EAAiB;IAEjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;IACvF,CAAC;IAED,IAAI,YAAY,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,GAAG,IAAI,OAAO,EAAsC,CAAC;QACjE,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAA0B,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC;QACjH,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAC1F,CAAC;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACrE,IAAI,kBAAkB,IAAI,UAAU,EAAE,CAAC;YACrC,MAAM,GAAG,GAA0B;gBACjC,SAAS,EAAE,IAAI;gBACf,iBAAiB,EAAE,KAAK;gBACxB,sBAAsB,EAAE,IAAI;aAC7B,CAAC;YACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC5B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAA0B;QACjC,SAAS,EAAE,IAAI;QACf,iBAAiB,EAAE,IAAI;QACvB,sBAAsB,EAAE,KAAK;KAC9B,CAAC;IACF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAiB,EAAE,EAAiB;IACjE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzG,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE3C,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAEpC,wCAAwC;IACxC,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;QACnC,IAAI,QAAQ,IAAI,4BAA4B,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAC7C,IAAiB,EACjB,UAAkB,EAClB,EAAiB;IAEjB,2BAA2B;IAC3B,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;QACrE,CAAC,CAAC,WAAW,CAAC,UAAU;QACxB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC;YAC5B,CAAC,CAAC,WAAW,CAAC,UAAU;YACxB,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;IAChE,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,iFAAiF;IACjF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAEvD,SAAS,qBAAqB,CAAC,CAAc;QAC3C,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YACnF,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;gBAChD,CAAC,CAAC,YAAY,CAAC,IAAI;gBACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;oBAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;oBACxB,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3D,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACrC,CAAC;qBAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9C,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,oBAAoB;QACpB,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;oBAChD,CAAC,CAAC,YAAY,CAAC,IAAI;oBACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;wBAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;wBACxB,CAAC,CAAC,SAAS,CAAC;gBAEhB,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7C,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3D,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;oBACrC,CAAC;yBAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC9C,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,0DAA0D;QAC1D,IAAI,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAChC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;wBACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC7D,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBACjC,CAAC;6BAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;4BAC1C,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;wBACpC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,uFAAuF;QACvF,IACE,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC;YAC7B,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC;YACjC,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC;YAC9B,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC;YAC9B,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAChC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAChC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAChC,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,EAC7B,CAAC;YACD,WAAW,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;QAClD,CAAC;QAED,6BAA6B;QAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBAChG,OAAO,IAAI,CAAC;YACd,CAAC;YACD,qEAAqE;YACrE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,sFAAsF;IACtF,6DAA6D;IAC7D,IAAI,cAAc,GAAgB,WAAW,CAAC;IAC9C,OAAO,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC;IACzC,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;QACzC,MAAM,UAAU,GAAgC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC,CAAC,UAAU,CAAC,UAAU;YACvB,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1B,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,cAAkC,CAAC,CAAC;QAC/E,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,eAAe,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM;oBAAE,SAAS;gBAEtB,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;wBACzF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;4BAChD,CAAC,CAAC,YAAY,CAAC,IAAI;4BACnB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC;gCAC3C,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE;gCACxB,CAAC,CAAC,SAAS,CAAC;wBAEhB,IAAI,YAAY,EAAE,CAAC;4BACjB,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC7C,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gCAC3D,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;4BACrC,CAAC;iCAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gCAC9C,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;4BACxC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;wBACvD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;4BAChC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gCACrB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gCACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC7D,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gCACjC,CAAC;qCAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oCAC1C,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gCACpC,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IACE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;oBACxB,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;oBAC5B,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;oBACzB,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;oBACzB,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;oBAC3B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;oBAC3B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;oBAC3B,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EACxB,CAAC;oBACD,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;gBAC7C,CAAC;gBAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtD,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7E,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAChG,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAQD;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAuB,EACvB,EAAiB,EACjB,OAAwC,EACxC,OAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,4BAA4B;IAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,uDAAuD,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;IAC1H,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC;IAED,8FAA8F;IAC9F,IAAI,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,qCAAqC,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IACvG,CAAC;IAED,kFAAkF;IAClF,8CAA8C;IAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACnG,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE;gBAChB,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,UAAU,IAAI,+BAA+B,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,0DAA0D,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;QAC5H,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,4BAA4B,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAI,cAAc,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,cAAc,CAAC,MAAM,IAAI,8BAA8B;gBAC/D,kBAAkB,EAAE,IAAI;aACzB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}
@@ -0,0 +1,8 @@
1
+ import type * as tsType from "typescript";
2
+ import type { GuardCheckResult } from "./controlFlowTypes.js";
3
+ /**
4
+ * Checks if a React state variable indexing a static const array is provably bounded by verified state transitions.
5
+ */
6
+ declare function isReactStateBoundedIndex(operand: tsType.ElementAccessExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): GuardCheckResult | undefined;
7
+ export { isReactStateBoundedIndex };
8
+ //# sourceMappingURL=reactStateBounds.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reactStateBounds.d.ts","sourceRoot":"","sources":["../../src/analysis/reactStateBounds.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAQ1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AA2D9D;;GAEG;AACH,iBAAS,wBAAwB,CAC/B,OAAO,EAAE,MAAM,CAAC,uBAAuB,EACvC,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,gBAAgB,GAAG,SAAS,CA2X9B;AAED,OAAO,EAAE,wBAAwB,EAAE,CAAC"}
@@ -0,0 +1,390 @@
1
+ import { resolveReactHook } from "../engine/symbols.js";
2
+ import { isNodeDescendantOf, isParamBoundedCondition, resolveStaticConstArrayLiteral, } from "./arrayBounds.js";
3
+ import { statementExitsControlFlow } from "./controlFlowGuards.js";
4
+ import { unwrapExpression } from "./values.js";
5
+ function isStateUpperBoundGuard(cond, stateName, maxExclusive, ts, checker) {
6
+ const unwrapped = unwrapExpression(cond, ts);
7
+ if (ts.isBinaryExpression(unwrapped)) {
8
+ const op = unwrapped.operatorToken.kind;
9
+ const left = unwrapExpression(unwrapped.left, ts);
10
+ const right = unwrapExpression(unwrapped.right, ts);
11
+ if (ts.isIdentifier(left) && left.text === stateName) {
12
+ if (ts.isNumericLiteral(right)) {
13
+ const limit = Number(right.text);
14
+ if (op === ts.SyntaxKind.LessThanToken && limit <= maxExclusive)
15
+ return true;
16
+ if (op === ts.SyntaxKind.LessThanEqualsToken && limit <= maxExclusive - 1)
17
+ return true;
18
+ }
19
+ if (ts.isBinaryExpression(right) && right.operatorToken.kind === ts.SyntaxKind.MinusToken) {
20
+ const rLeft = unwrapExpression(right.left, ts);
21
+ const rRight = unwrapExpression(right.right, ts);
22
+ if (ts.isPropertyAccessExpression(rLeft) && rLeft.name.text === "length" && ts.isNumericLiteral(rRight)) {
23
+ const minusNum = Number(rRight.text);
24
+ if (op === ts.SyntaxKind.LessThanToken && minusNum >= 1)
25
+ return true;
26
+ if (op === ts.SyntaxKind.LessThanEqualsToken && minusNum >= 2)
27
+ return true;
28
+ }
29
+ }
30
+ }
31
+ }
32
+ return false;
33
+ }
34
+ function isStateLowerBoundGuard(cond, stateName, minInclusive, ts, checker) {
35
+ const unwrapped = unwrapExpression(cond, ts);
36
+ if (ts.isBinaryExpression(unwrapped)) {
37
+ const op = unwrapped.operatorToken.kind;
38
+ const left = unwrapExpression(unwrapped.left, ts);
39
+ const right = unwrapExpression(unwrapped.right, ts);
40
+ if (ts.isIdentifier(left) && left.text === stateName) {
41
+ if (ts.isNumericLiteral(right)) {
42
+ const limit = Number(right.text);
43
+ if (op === ts.SyntaxKind.GreaterThanToken && limit >= minInclusive - 1)
44
+ return true;
45
+ if (op === ts.SyntaxKind.GreaterThanEqualsToken && limit >= minInclusive)
46
+ return true;
47
+ }
48
+ }
49
+ }
50
+ return false;
51
+ }
52
+ /**
53
+ * Checks if a React state variable indexing a static const array is provably bounded by verified state transitions.
54
+ */
55
+ function isReactStateBoundedIndex(operand, ts, checker) {
56
+ if (!checker)
57
+ return undefined;
58
+ const staticArray = resolveStaticConstArrayLiteral(operand.expression, ts, checker);
59
+ if (!staticArray)
60
+ return undefined;
61
+ const indexExpr = unwrapExpression(operand.argumentExpression, ts);
62
+ if (!ts.isIdentifier(indexExpr))
63
+ return undefined;
64
+ const stateName = indexExpr.text;
65
+ const stateSymbol = checker.getSymbolAtLocation(indexExpr);
66
+ if (!stateSymbol)
67
+ return undefined;
68
+ const decls = stateSymbol.getDeclarations();
69
+ if (!decls || decls.length === 0)
70
+ return undefined;
71
+ const stateDecl = decls[0];
72
+ if (!stateDecl || !ts.isBindingElement(stateDecl))
73
+ return undefined;
74
+ if (!stateDecl.parent || !ts.isArrayBindingPattern(stateDecl.parent))
75
+ return undefined;
76
+ const bindingPattern = stateDecl.parent;
77
+ const bindingElements = bindingPattern.elements;
78
+ if (bindingElements.length < 2)
79
+ return undefined;
80
+ // Verify 1st element is this state variable
81
+ if (bindingElements[0] !== stateDecl)
82
+ return undefined;
83
+ // Verify 2nd element is the setter
84
+ const setterElement = bindingElements[1];
85
+ if (!setterElement || !ts.isBindingElement(setterElement) || !ts.isIdentifier(setterElement.name)) {
86
+ return undefined;
87
+ }
88
+ const setterName = setterElement.name.text;
89
+ const setterIdent = setterElement.name;
90
+ const arrayLength = staticArray.length;
91
+ const arrayName = staticArray.name;
92
+ // Verify initialized by useState(initialNumber)
93
+ const varDecl = bindingPattern.parent;
94
+ if (!ts.isVariableDeclaration(varDecl) || !varDecl.initializer || !ts.isCallExpression(varDecl.initializer)) {
95
+ return undefined;
96
+ }
97
+ const chk = checker;
98
+ const initCall = varDecl.initializer;
99
+ if (!resolveReactHook(initCall, chk, "useState")) {
100
+ return undefined;
101
+ }
102
+ const initArg = initCall.arguments[0];
103
+ if (!initArg || !ts.isNumericLiteral(initArg))
104
+ return undefined;
105
+ const initialVal = Number(initArg.text);
106
+ if (!Number.isInteger(initialVal) || initialVal < 0 || initialVal >= arrayLength) {
107
+ return undefined;
108
+ }
109
+ // Find enclosing component / hook function
110
+ let funcNode = varDecl;
111
+ while (funcNode.parent &&
112
+ !ts.isFunctionDeclaration(funcNode) &&
113
+ !ts.isFunctionExpression(funcNode) &&
114
+ !ts.isArrowFunction(funcNode) &&
115
+ !ts.isSourceFile(funcNode)) {
116
+ funcNode = funcNode.parent;
117
+ }
118
+ if (ts.isSourceFile(funcNode))
119
+ return undefined;
120
+ // Check all references to setterName within the enclosing function
121
+ let setterEscapes = false;
122
+ let hasInvalidSetterWrite = false;
123
+ let setterCallCount = 0;
124
+ function scanSetterUsages(n) {
125
+ if (setterEscapes || hasInvalidSetterWrite || !ts)
126
+ return;
127
+ if (ts.isIdentifier(n) && n.text === setterName && n !== setterIdent) {
128
+ const parent = n.parent;
129
+ if (!parent)
130
+ return;
131
+ // Check if it's being called: setter(arg)
132
+ if (ts.isCallExpression(parent) && parent.expression === n) {
133
+ setterCallCount++;
134
+ const arg = parent.arguments[0];
135
+ if (!arg) {
136
+ hasInvalidSetterWrite = true;
137
+ return;
138
+ }
139
+ // Sub-case 1: Literal integer: setter(0)
140
+ if (ts.isNumericLiteral(arg)) {
141
+ const val = Number(arg.text);
142
+ if (!Number.isInteger(val) || val < 0 || val >= arrayLength) {
143
+ hasInvalidSetterWrite = true;
144
+ return;
145
+ }
146
+ return;
147
+ }
148
+ // Sub-case 2: Functional updater: setter(s => s + 1) or setter(prev => ...)
149
+ if (ts.isArrowFunction(arg) || ts.isFunctionExpression(arg)) {
150
+ const updaterParam = arg.parameters[0];
151
+ const paramText = updaterParam && ts.isIdentifier(updaterParam.name) ? updaterParam.name.text : undefined;
152
+ let retExpr;
153
+ if (ts.isBlock(arg.body)) {
154
+ for (const st of arg.body.statements) {
155
+ if (ts.isReturnStatement(st) && st.expression) {
156
+ retExpr = unwrapExpression(st.expression, ts);
157
+ break;
158
+ }
159
+ }
160
+ }
161
+ else if (ts.isExpression(arg.body)) {
162
+ retExpr = unwrapExpression(arg.body, ts);
163
+ }
164
+ if (!retExpr) {
165
+ hasInvalidSetterWrite = true;
166
+ return;
167
+ }
168
+ // Bounded literal integer: s => 0
169
+ if (ts.isNumericLiteral(retExpr)) {
170
+ const num = Number(retExpr.text);
171
+ if (Number.isInteger(num) && num >= 0 && num < arrayLength) {
172
+ return;
173
+ }
174
+ hasInvalidSetterWrite = true;
175
+ return;
176
+ }
177
+ // Increment: s => s + 1 (requires enclosing upper bound guard)
178
+ if (ts.isBinaryExpression(retExpr) &&
179
+ retExpr.operatorToken.kind === ts.SyntaxKind.PlusToken) {
180
+ const l = unwrapExpression(retExpr.left, ts);
181
+ const r = unwrapExpression(retExpr.right, ts);
182
+ if (((paramText && ts.isIdentifier(l) && l.text === paramText) || (ts.isIdentifier(l) && l.text === stateName)) &&
183
+ ts.isNumericLiteral(r)) {
184
+ const inc = Number(r.text);
185
+ if (inc >= 1) {
186
+ let isGuardedInc = false;
187
+ let curCheck = parent;
188
+ while (curCheck.parent && curCheck.parent !== funcNode) {
189
+ if (ts.isIfStatement(curCheck.parent)) {
190
+ const ifStmt = curCheck.parent;
191
+ if (ifStmt.thenStatement === curCheck ||
192
+ (ts.isBlock(ifStmt.thenStatement) && isNodeDescendantOf(curCheck, ifStmt.thenStatement))) {
193
+ if (isStateUpperBoundGuard(ifStmt.expression, stateName, arrayLength - inc, ts, checker)) {
194
+ isGuardedInc = true;
195
+ break;
196
+ }
197
+ }
198
+ }
199
+ curCheck = curCheck.parent;
200
+ }
201
+ if (isGuardedInc)
202
+ return;
203
+ }
204
+ }
205
+ hasInvalidSetterWrite = true;
206
+ return;
207
+ }
208
+ // Decrement: s => s - 1 (requires enclosing lower bound guard)
209
+ if (ts.isBinaryExpression(retExpr) &&
210
+ retExpr.operatorToken.kind === ts.SyntaxKind.MinusToken) {
211
+ const l = unwrapExpression(retExpr.left, ts);
212
+ const r = unwrapExpression(retExpr.right, ts);
213
+ if (((paramText && ts.isIdentifier(l) && l.text === paramText) || (ts.isIdentifier(l) && l.text === stateName)) &&
214
+ ts.isNumericLiteral(r)) {
215
+ const dec = Number(r.text);
216
+ if (dec >= 1) {
217
+ let isGuardedDec = false;
218
+ let curCheck = parent;
219
+ while (curCheck.parent && curCheck.parent !== funcNode) {
220
+ if (ts.isIfStatement(curCheck.parent)) {
221
+ const ifStmt = curCheck.parent;
222
+ if (ifStmt.thenStatement === curCheck ||
223
+ (ts.isBlock(ifStmt.thenStatement) && isNodeDescendantOf(curCheck, ifStmt.thenStatement))) {
224
+ if (isStateLowerBoundGuard(ifStmt.expression, stateName, dec, ts, checker)) {
225
+ isGuardedDec = true;
226
+ break;
227
+ }
228
+ }
229
+ }
230
+ curCheck = curCheck.parent;
231
+ }
232
+ if (isGuardedDec)
233
+ return;
234
+ }
235
+ }
236
+ hasInvalidSetterWrite = true;
237
+ return;
238
+ }
239
+ hasInvalidSetterWrite = true;
240
+ return;
241
+ }
242
+ // Sub-case 3: Identifier target (e.g. setStep(target)): check if target was bounds-checked in enclosing function
243
+ if (ts.isIdentifier(arg)) {
244
+ const paramName = arg.text;
245
+ let enclosingBlock = parent;
246
+ while (enclosingBlock.parent &&
247
+ !ts.isBlock(enclosingBlock) &&
248
+ enclosingBlock !== funcNode) {
249
+ enclosingBlock = enclosingBlock.parent;
250
+ }
251
+ let paramGuarded = false;
252
+ if (ts.isBlock(enclosingBlock)) {
253
+ for (const stmt of enclosingBlock.statements) {
254
+ if (stmt.end <= parent.pos && ts.isIfStatement(stmt)) {
255
+ if (statementExitsControlFlow(stmt.thenStatement, ts)) {
256
+ if (isParamBoundedCondition(stmt.expression, paramName, arrayLength, ts, true)) {
257
+ paramGuarded = true;
258
+ break;
259
+ }
260
+ }
261
+ }
262
+ }
263
+ }
264
+ if (!paramGuarded) {
265
+ // Check entry guard enclosing parent
266
+ let curN = parent;
267
+ while (curN.parent && curN.parent !== funcNode) {
268
+ if (ts.isIfStatement(curN.parent)) {
269
+ const ifStmt = curN.parent;
270
+ if (ifStmt.thenStatement === curN ||
271
+ (ts.isBlock(ifStmt.thenStatement) && isNodeDescendantOf(curN, ifStmt.thenStatement))) {
272
+ if (isParamBoundedCondition(ifStmt.expression, paramName, arrayLength, ts, false)) {
273
+ paramGuarded = true;
274
+ break;
275
+ }
276
+ }
277
+ }
278
+ curN = curN.parent;
279
+ }
280
+ }
281
+ if (!paramGuarded) {
282
+ hasInvalidSetterWrite = true;
283
+ return;
284
+ }
285
+ return;
286
+ }
287
+ // Sub-case 4: Binary expression: step + 1 or step - 1 (check enclosing if guard)
288
+ if (ts.isBinaryExpression(arg)) {
289
+ const left = unwrapExpression(arg.left, ts);
290
+ const right = unwrapExpression(arg.right, ts);
291
+ if (ts.isIdentifier(left) && left.text === stateName && ts.isNumericLiteral(right)) {
292
+ const offsetNum = Number(right.text);
293
+ if (arg.operatorToken.kind === ts.SyntaxKind.PlusToken) {
294
+ let isGuarded = false;
295
+ let curN = parent;
296
+ while (curN.parent && curN.parent !== funcNode) {
297
+ if (ts.isIfStatement(curN.parent)) {
298
+ const ifStmt = curN.parent;
299
+ if (ifStmt.thenStatement === curN ||
300
+ (ts.isBlock(ifStmt.thenStatement) && isNodeDescendantOf(curN, ifStmt.thenStatement))) {
301
+ if (isStateUpperBoundGuard(ifStmt.expression, stateName, arrayLength - offsetNum, ts, checker)) {
302
+ isGuarded = true;
303
+ break;
304
+ }
305
+ }
306
+ }
307
+ curN = curN.parent;
308
+ }
309
+ if (isGuarded)
310
+ return;
311
+ }
312
+ else if (arg.operatorToken.kind === ts.SyntaxKind.MinusToken) {
313
+ let isGuarded = false;
314
+ let curN = parent;
315
+ while (curN.parent && curN.parent !== funcNode) {
316
+ if (ts.isIfStatement(curN.parent)) {
317
+ const ifStmt = curN.parent;
318
+ if (ifStmt.thenStatement === curN ||
319
+ (ts.isBlock(ifStmt.thenStatement) && isNodeDescendantOf(curN, ifStmt.thenStatement))) {
320
+ if (isStateLowerBoundGuard(ifStmt.expression, stateName, offsetNum, ts, checker)) {
321
+ isGuarded = true;
322
+ break;
323
+ }
324
+ }
325
+ }
326
+ curN = curN.parent;
327
+ }
328
+ if (isGuarded)
329
+ return;
330
+ }
331
+ }
332
+ hasInvalidSetterWrite = true;
333
+ return;
334
+ }
335
+ // Unknown setter argument
336
+ hasInvalidSetterWrite = true;
337
+ return;
338
+ }
339
+ // If setter appears as a JSX attribute or JSX expression (e.g. <Child onStep={setStep} />) or is returned
340
+ if (ts.isJsxAttribute(parent) ||
341
+ ts.isJsxExpression(parent) ||
342
+ ts.isJsxSpreadAttribute(parent) ||
343
+ ts.isReturnStatement(parent) ||
344
+ ts.isPropertyAssignment(parent) ||
345
+ ts.isVariableDeclaration(parent)) {
346
+ setterEscapes = true;
347
+ return;
348
+ }
349
+ // Passed as an argument to another function call (not setter itself)
350
+ if (ts.isCallExpression(parent) && parent.expression !== n) {
351
+ if (resolveReactHook(parent, chk, "useCallback") ||
352
+ resolveReactHook(parent, chk, "useMemo") ||
353
+ resolveReactHook(parent, chk, "useEffect") ||
354
+ resolveReactHook(parent, chk, "useLayoutEffect")) {
355
+ // Setter in hook dependency array is fine
356
+ return;
357
+ }
358
+ setterEscapes = true;
359
+ return;
360
+ }
361
+ if (ts.isArrayLiteralExpression(parent)) {
362
+ // Check if array literal is a hook dependency array
363
+ if (parent.parent &&
364
+ ts.isCallExpression(parent.parent) &&
365
+ (resolveReactHook(parent.parent, chk, "useCallback") ||
366
+ resolveReactHook(parent.parent, chk, "useMemo") ||
367
+ resolveReactHook(parent.parent, chk, "useEffect") ||
368
+ resolveReactHook(parent.parent, chk, "useLayoutEffect"))) {
369
+ return;
370
+ }
371
+ setterEscapes = true;
372
+ return;
373
+ }
374
+ // Any other unmodeled usage is treated as escape
375
+ setterEscapes = true;
376
+ return;
377
+ }
378
+ n.forEachChild(scanSetterUsages);
379
+ }
380
+ scanSetterUsages(funcNode);
381
+ if (setterEscapes || hasInvalidSetterWrite) {
382
+ return undefined;
383
+ }
384
+ return {
385
+ isGuarded: true,
386
+ evidence: `React state '${stateName}' is initialized to ${initialVal} and all state transitions are proven within [0, ${arrayLength - 1}] for static array '${arrayName}'.`,
387
+ };
388
+ }
389
+ export { isReactStateBoundedIndex };
390
+ //# sourceMappingURL=reactStateBounds.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"reactStateBounds.js","sourceRoot":"","sources":["../../src/analysis/reactStateBounds.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,SAAiB,EACjB,YAAoB,EACpB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;QACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,KAAK,IAAI,YAAY;oBAAE,OAAO,IAAI,CAAC;gBAC7E,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,IAAI,KAAK,IAAI,YAAY,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YACzF,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;gBAC1F,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACjD,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxG,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,QAAQ,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACrE,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,IAAI,QAAQ,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;gBAC7E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,SAAiB,EACjB,YAAoB,EACpB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;QACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,IAAI,KAAK,IAAI,YAAY,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACpF,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,IAAI,KAAK,IAAI,YAAY;oBAAE,OAAO,IAAI,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD;;GAEG;AACH,SAAS,wBAAwB,CAC/B,OAAuC,EACvC,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,WAAW,GAAG,8BAA8B,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACnE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;IAEjC,MAAM,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,KAAK,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACpE,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC;IAExC,MAAM,eAAe,GAAG,cAAc,CAAC,QAAQ,CAAC;IAChD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEjD,4CAA4C;IAC5C,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEvD,mCAAmC;IACnC,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAClG,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3C,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC;IACvC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC;IACvC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC;IAEnC,gDAAgD;IAChD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC;IACtC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5G,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,GAAG,GAAuB,OAAO,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC;IACrC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,IAAI,WAAW,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,2CAA2C;IAC3C,IAAI,QAAQ,GAAgB,OAAO,CAAC;IACpC,OACE,QAAQ,CAAC,MAAM;QACf,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;QACnC,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAClC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAC1B,CAAC;QACD,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,CAAC;IAED,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhD,mEAAmE;IACnE,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,SAAS,gBAAgB,CAAC,CAAc;QACtC,IAAI,aAAa,IAAI,qBAAqB,IAAI,CAAC,EAAE;YAAE,OAAO;QAE1D,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YACxB,IAAI,CAAC,MAAM;gBAAE,OAAO;YAEpB,0CAA0C;YAC1C,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;gBAC3D,eAAe,EAAE,CAAC;gBAClB,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,qBAAqB,GAAG,IAAI,CAAC;oBAC7B,OAAO;gBACT,CAAC;gBAED,yCAAyC;gBACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC7B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;wBAC5D,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,4EAA4E;gBAC5E,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5D,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvC,MAAM,SAAS,GAAG,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC1G,IAAI,OAAsC,CAAC;oBAE3C,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBACzB,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;4BACrC,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;gCAC9C,OAAO,GAAG,gBAAgB,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gCAC9C,MAAM;4BACR,CAAC;wBACH,CAAC;oBACH,CAAC;yBAAM,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrC,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAyB,EAAE,EAAE,CAAC,CAAC;oBAChE,CAAC;oBAED,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBAED,kCAAkC;oBAClC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;wBACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACjC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,WAAW,EAAE,CAAC;4BAC3D,OAAO;wBACT,CAAC;wBACD,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBAED,+DAA+D;oBAC/D,IACE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;wBAC9B,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACtD,CAAC;wBACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC7C,MAAM,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC9C,IACE,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;4BAC3G,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EACtB,CAAC;4BACD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAC3B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;gCACb,IAAI,YAAY,GAAG,KAAK,CAAC;gCACzB,IAAI,QAAQ,GAAgB,MAAM,CAAC;gCACnC,OAAO,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oCACvD,IAAI,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;wCACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;wCAC/B,IACE,MAAM,CAAC,aAAa,KAAK,QAAQ;4CACjC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,EACxF,CAAC;4CACD,IAAI,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,GAAG,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gDACzF,YAAY,GAAG,IAAI,CAAC;gDACpB,MAAM;4CACR,CAAC;wCACH,CAAC;oCACH,CAAC;oCACD,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;gCAC7B,CAAC;gCACD,IAAI,YAAY;oCAAE,OAAO;4BAC3B,CAAC;wBACH,CAAC;wBACD,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBAED,+DAA+D;oBAC/D,IACE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;wBAC9B,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EACvD,CAAC;wBACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC7C,MAAM,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC9C,IACE,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;4BAC3G,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EACtB,CAAC;4BACD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAC3B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;gCACb,IAAI,YAAY,GAAG,KAAK,CAAC;gCACzB,IAAI,QAAQ,GAAgB,MAAM,CAAC;gCACnC,OAAO,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oCACvD,IAAI,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;wCACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;wCAC/B,IACE,MAAM,CAAC,aAAa,KAAK,QAAQ;4CACjC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,EACxF,CAAC;4CACD,IAAI,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gDAC3E,YAAY,GAAG,IAAI,CAAC;gDACpB,MAAM;4CACR,CAAC;wCACH,CAAC;oCACH,CAAC;oCACD,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;gCAC7B,CAAC;gCACD,IAAI,YAAY;oCAAE,OAAO;4BAC3B,CAAC;wBACH,CAAC;wBACD,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBAED,qBAAqB,GAAG,IAAI,CAAC;oBAC7B,OAAO;gBACT,CAAC;gBAED,iHAAiH;gBACjH,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC;oBAC3B,IAAI,cAAc,GAAgB,MAAM,CAAC;oBACzC,OACE,cAAc,CAAC,MAAM;wBACrB,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC;wBAC3B,cAAc,KAAK,QAAQ,EAC3B,CAAC;wBACD,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC;oBACzC,CAAC;oBAED,IAAI,YAAY,GAAG,KAAK,CAAC;oBACzB,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;wBAC/B,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;4BAC7C,IAAI,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrD,IAAI,yBAAyB,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;oCACtD,IAAI,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;wCAC/E,YAAY,GAAG,IAAI,CAAC;wCACpB,MAAM;oCACR,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClB,qCAAqC;wBACrC,IAAI,IAAI,GAAgB,MAAM,CAAC;wBAC/B,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;4BAC/C,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gCAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gCAC3B,IACE,MAAM,CAAC,aAAa,KAAK,IAAI;oCAC7B,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,EACpF,CAAC;oCACD,IAAI,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;wCAClF,YAAY,GAAG,IAAI,CAAC;wCACpB,MAAM;oCACR,CAAC;gCACH,CAAC;4BACH,CAAC;4BACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;wBACrB,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClB,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,OAAO;oBACT,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,iFAAiF;gBACjF,IAAI,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC5C,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC9C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;wBACnF,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACrC,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;4BACvD,IAAI,SAAS,GAAG,KAAK,CAAC;4BACtB,IAAI,IAAI,GAAgB,MAAM,CAAC;4BAC/B,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gCAC/C,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oCAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;oCAC3B,IACE,MAAM,CAAC,aAAa,KAAK,IAAI;wCAC7B,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,EACpF,CAAC;wCACD,IAAI,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,GAAG,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;4CAC/F,SAAS,GAAG,IAAI,CAAC;4CACjB,MAAM;wCACR,CAAC;oCACH,CAAC;gCACH,CAAC;gCACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;4BACrB,CAAC;4BACD,IAAI,SAAS;gCAAE,OAAO;wBACxB,CAAC;6BAAM,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;4BAC/D,IAAI,SAAS,GAAG,KAAK,CAAC;4BACtB,IAAI,IAAI,GAAgB,MAAM,CAAC;4BAC/B,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gCAC/C,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oCAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;oCAC3B,IACE,MAAM,CAAC,aAAa,KAAK,IAAI;wCAC7B,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,EACpF,CAAC;wCACD,IAAI,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;4CACjF,SAAS,GAAG,IAAI,CAAC;4CACjB,MAAM;wCACR,CAAC;oCACH,CAAC;gCACH,CAAC;gCACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;4BACrB,CAAC;4BACD,IAAI,SAAS;gCAAE,OAAO;wBACxB,CAAC;oBACH,CAAC;oBACD,qBAAqB,GAAG,IAAI,CAAC;oBAC7B,OAAO;gBACT,CAAC;gBAED,0BAA0B;gBAC1B,qBAAqB,GAAG,IAAI,CAAC;gBAC7B,OAAO;YACT,CAAC;YAED,0GAA0G;YAC1G,IACE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;gBACzB,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;gBAC1B,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAC/B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBAC5B,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAC/B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAChC,CAAC;gBACD,aAAa,GAAG,IAAI,CAAC;gBACrB,OAAO;YACT,CAAC;YAED,qEAAqE;YACrE,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;gBAC3D,IACE,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC;oBAC5C,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC;oBACxC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC;oBAC1C,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,iBAAiB,CAAC,EAChD,CAAC;oBACD,0CAA0C;oBAC1C,OAAO;gBACT,CAAC;gBACD,aAAa,GAAG,IAAI,CAAC;gBACrB,OAAO;YACT,CAAC;YAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxC,oDAAoD;gBACpD,IACE,MAAM,CAAC,MAAM;oBACb,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;oBAClC,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC;wBAClD,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC;wBAC/C,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC;wBACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC,EAC1D,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD,aAAa,GAAG,IAAI,CAAC;gBACrB,OAAO;YACT,CAAC;YAED,iDAAiD;YACjD,aAAa,GAAG,IAAI,CAAC;YACrB,OAAO;QACT,CAAC;QAED,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;IACnC,CAAC;IACD,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3B,IAAI,aAAa,IAAI,qBAAqB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,gBAAgB,SAAS,uBAAuB,UAAU,oDAAoD,WAAW,GAAG,CAAC,uBAAuB,SAAS,IAAI;KAC5K,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,wBAAwB,EAAE,CAAC"}
@@ -21,7 +21,7 @@ export function createBaseline(findings, repoRoot) {
21
21
  return {
22
22
  version: 1,
23
23
  generatedAt: new Date().toISOString(),
24
- repositoryRoot: normalizePath(repoRoot),
24
+ repositoryRoot: ".",
25
25
  entries,
26
26
  };
27
27
  }
@@ -1 +1 @@
1
- {"version":3,"file":"manager.js","sourceRoot":"","sources":["../../src/baseline/manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAIjD,MAAM,CAAC,MAAM,yBAAyB,GAAG,6BAA6B,CAAC;AAEvE;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE;gBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC;gBACrC,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE3G,OAAO;QACL,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAsB,EAAE,QAAgB;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,QAAQ,GAAG,GAAG,YAAY,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IACrD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAErD,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAgB;IACjD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,0HAA0H;QAC1H,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAiB,CAAC;QAC/C,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,eAAmC,EACnC,QAAsB;IAEtB,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE/E,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE5F,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,oBAAoB,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,aAAa,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM;QACtC,aAAa;QACb,QAAQ,EAAE,WAAW,CAAC,MAAM;KAC7B,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"manager.js","sourceRoot":"","sources":["../../src/baseline/manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAIjD,MAAM,CAAC,MAAM,yBAAyB,GAAG,6BAA6B,CAAC;AAEvE;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE;gBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC;gBACrC,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE3G,OAAO;QACL,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,cAAc,EAAE,GAAG;QACnB,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAsB,EAAE,QAAgB;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,QAAQ,GAAG,GAAG,YAAY,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IACrD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAErD,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAAgB;IACjD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,0HAA0H;QAC1H,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAiB,CAAC;QAC/C,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,eAAmC,EACnC,QAAsB;IAEtB,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE/E,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE5F,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,oBAAoB,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,aAAa,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM;QACtC,aAAa;QACb,QAAQ,EAAE,WAAW,CAAC,MAAM;KAC7B,CAAC;AACJ,CAAC"}
@@ -8,7 +8,7 @@ export interface BaselineEntry {
8
8
  export interface BaselineFile {
9
9
  readonly version: 1;
10
10
  readonly generatedAt: string;
11
- readonly repositoryRoot: string;
11
+ readonly repositoryRoot?: string | undefined;
12
12
  readonly entries: readonly BaselineEntry[];
13
13
  }
14
14
  export interface BaselineDelta {
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/baseline/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAEhD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,OAAO,EAAE,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/baseline/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAEhD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,OAAO,EAAE,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B"}
package/dist/cli/help.js CHANGED
@@ -29,7 +29,7 @@ OPTIONS:
29
29
  -b, --baseline <path> Path to baseline file (default: .sourceverity-baseline.json)
30
30
  -u, --update-baseline Update baseline file with current findings
31
31
  --changed Analyze only git-changed files in the repository
32
- -c, --config <path> Path to custom sourceverity.json configuration
32
+ -c, --config <path> JSON ignore configuration for scan and baseline commands
33
33
  --color / --no-color Force enable or disable ANSI color output
34
34
  -q, --quiet Suppress informational messages and progress
35
35
  --verbose Show extended diagnostic and framework metadata
@@ -1 +1 @@
1
- {"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAEA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAqB3D,OAAO,mBAAmB,CAAC;AAE3B;;GAEG;AACH,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAwJvE"}
1
+ {"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAEA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAyB3D,OAAO,mBAAmB,CAAC;AAE3B;;GAEG;AACH,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAkLvE"}
package/dist/cli/main.js CHANGED
@@ -2,7 +2,7 @@ import path from "node:path";
2
2
  import { parseCliArgs } from "./args.js";
3
3
  import { EXIT_CODES } from "./exitCodes.js";
4
4
  import { getHelpText } from "./help.js";
5
- import { runAudit } from "../engine/runner.js";
5
+ import { runAudit, computeAuditSummary } from "../engine/runner.js";
6
6
  import { globalRuleRegistry } from "../engine/registry.js";
7
7
  import { discoverRepository } from "../repository/detector.js";
8
8
  import { loadRepositoryTypeScript } from "../repository/tsLoader.js";
@@ -15,6 +15,7 @@ import { renderAgentReport } from "../reporters/agent.js";
15
15
  import { renderSarifReport } from "../reporters/sarif.js";
16
16
  import { createStyler } from "../core/terminal.js";
17
17
  import { SOURCEVERITY_VERSION } from "../core/version.js";
18
+ import { loadSourceVerityConfig, } from "../core/config.js";
18
19
  import "../rules/index.js";
19
20
  /**
20
21
  * Main CLI execution entry point.
@@ -70,6 +71,10 @@ export async function runCli(argv) {
70
71
  }
71
72
  // 5. Strictness gap analysis command
72
73
  if (options.command === "strictness") {
74
+ if (options.configPath) {
75
+ process.stderr.write("sourceverity: --config is supported only for scan and baseline commands.\n");
76
+ return EXIT_CODES.USER_ERROR;
77
+ }
73
78
  const targetDir = path.resolve(options.targetDir);
74
79
  const repo = await discoverRepository(targetDir);
75
80
  const tsInst = loadRepositoryTypeScript(targetDir);
@@ -81,10 +86,25 @@ export async function runCli(argv) {
81
86
  process.stdout.write(renderStrictnessReport(report, options.color !== undefined ? { color: options.color } : undefined));
82
87
  return EXIT_CODES.SUCCESS;
83
88
  }
89
+ let config;
90
+ if (options.configPath) {
91
+ try {
92
+ config = await loadSourceVerityConfig(path.resolve(options.configPath));
93
+ }
94
+ catch (error) {
95
+ const message = error instanceof Error ? error.message : String(error);
96
+ process.stderr.write(`sourceverity: ${message}\n`);
97
+ return EXIT_CODES.USER_ERROR;
98
+ }
99
+ }
84
100
  // 6. Baseline generation subcommand
85
101
  if (options.command === "baseline" && options.baselineSubcommand === "create") {
86
102
  const targetDir = path.resolve(options.targetDir);
87
- const auditResult = await runAudit({ targetDir, minConfidence: options.minConfidence });
103
+ const auditResult = await runAudit({
104
+ targetDir,
105
+ minConfidence: options.minConfidence,
106
+ customIgnores: config?.ignore,
107
+ });
88
108
  const baselineFile = options.baselinePath ?? path.join(targetDir, DEFAULT_BASELINE_FILENAME);
89
109
  const baseline = createBaseline(auditResult.findings, targetDir);
90
110
  await saveBaseline(baseline, baselineFile);
@@ -104,6 +124,7 @@ export async function runCli(argv) {
104
124
  const result = await runAudit({
105
125
  targetDir: options.targetDir,
106
126
  minConfidence: options.minConfidence,
127
+ customIgnores: config?.ignore,
107
128
  changedFiles,
108
129
  });
109
130
  // Handle baseline comparison if baseline path is provided or checking baseline
@@ -116,6 +137,7 @@ export async function runCli(argv) {
116
137
  effectiveResult = {
117
138
  ...result,
118
139
  findings: delta.newFindings,
140
+ summary: computeAuditSummary(delta.newFindings, result.summary.filesAnalyzed, result.summary.projectsCount),
119
141
  };
120
142
  if (!options.quiet && options.format === "pretty") {
121
143
  process.stdout.write(`Baseline check against '${baselineFile}': ${delta.baselineCount} baseline, ${delta.newCount} new, ${delta.resolvedCount} resolved.\n\n`);