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.
- package/README.md +91 -3
- package/dist/analysis/arrayBounds.d.ts +4 -0
- package/dist/analysis/arrayBounds.d.ts.map +1 -0
- package/dist/analysis/arrayBounds.js +4 -0
- package/dist/analysis/arrayBounds.js.map +1 -0
- package/dist/analysis/arrayBoundsCore.d.ts +69 -0
- package/dist/analysis/arrayBoundsCore.d.ts.map +1 -0
- package/dist/analysis/arrayBoundsCore.js +863 -0
- package/dist/analysis/arrayBoundsCore.js.map +1 -0
- package/dist/analysis/arrayConstructionBounds.d.ts +14 -0
- package/dist/analysis/arrayConstructionBounds.d.ts.map +1 -0
- package/dist/analysis/arrayConstructionBounds.js +445 -0
- package/dist/analysis/arrayConstructionBounds.js.map +1 -0
- package/dist/analysis/arrayIterationBounds.d.ts +12 -0
- package/dist/analysis/arrayIterationBounds.d.ts.map +1 -0
- package/dist/analysis/arrayIterationBounds.js +578 -0
- package/dist/analysis/arrayIterationBounds.js.map +1 -0
- package/dist/analysis/controlFlowGuards.d.ts +7 -0
- package/dist/analysis/controlFlowGuards.d.ts.map +1 -0
- package/dist/analysis/controlFlowGuards.js +119 -0
- package/dist/analysis/controlFlowGuards.js.map +1 -0
- package/dist/analysis/controlFlowTypes.d.ts +5 -0
- package/dist/analysis/controlFlowTypes.d.ts.map +1 -0
- package/dist/analysis/controlFlowTypes.js +2 -0
- package/dist/analysis/controlFlowTypes.js.map +1 -0
- package/dist/analysis/frameworks.d.ts.map +1 -1
- package/dist/analysis/frameworks.js +95 -35
- package/dist/analysis/frameworks.js.map +1 -1
- package/dist/analysis/functions.d.ts.map +1 -1
- package/dist/analysis/functions.js +120 -36
- package/dist/analysis/functions.js.map +1 -1
- package/dist/analysis/{controlFlow.d.ts → nonNullGuards.d.ts} +2 -5
- package/dist/analysis/nonNullGuards.d.ts.map +1 -0
- package/dist/analysis/nonNullGuards.js +340 -0
- package/dist/analysis/nonNullGuards.js.map +1 -0
- package/dist/analysis/promiseFlow.d.ts.map +1 -1
- package/dist/analysis/promiseFlow.js +85 -11
- package/dist/analysis/promiseFlow.js.map +1 -1
- package/dist/analysis/reactStateBounds.d.ts +8 -0
- package/dist/analysis/reactStateBounds.d.ts.map +1 -0
- package/dist/analysis/reactStateBounds.js +390 -0
- package/dist/analysis/reactStateBounds.js.map +1 -0
- package/dist/baseline/manager.js +1 -1
- package/dist/baseline/manager.js.map +1 -1
- package/dist/baseline/types.d.ts +1 -1
- package/dist/baseline/types.d.ts.map +1 -1
- package/dist/cli/help.js +1 -1
- package/dist/cli/main.d.ts.map +1 -1
- package/dist/cli/main.js +24 -2
- package/dist/cli/main.js.map +1 -1
- package/dist/core/config.d.ts +7 -0
- package/dist/core/config.d.ts.map +1 -0
- package/dist/core/config.js +42 -0
- package/dist/core/config.js.map +1 -0
- package/dist/core/paths.d.ts +0 -4
- package/dist/core/paths.d.ts.map +1 -1
- package/dist/core/paths.js +0 -6
- package/dist/core/paths.js.map +1 -1
- package/dist/engine/runner.d.ts +6 -1
- package/dist/engine/runner.d.ts.map +1 -1
- package/dist/engine/runner.js +38 -21
- package/dist/engine/runner.js.map +1 -1
- package/dist/engine/symbols.d.ts +17 -5
- package/dist/engine/symbols.d.ts.map +1 -1
- package/dist/engine/symbols.js +269 -46
- package/dist/engine/symbols.js.map +1 -1
- package/dist/reporters/sarif.d.ts +2 -0
- package/dist/reporters/sarif.d.ts.map +1 -1
- package/dist/reporters/sarif.js +36 -7
- package/dist/reporters/sarif.js.map +1 -1
- package/dist/repository/detector.d.ts.map +1 -1
- package/dist/repository/detector.js +31 -11
- package/dist/repository/detector.js.map +1 -1
- package/dist/rules/async/floatingPromise.d.ts.map +1 -1
- package/dist/rules/async/floatingPromise.js +24 -2
- package/dist/rules/async/floatingPromise.js.map +1 -1
- package/dist/rules/browser/eventListenerCleanup.d.ts.map +1 -1
- package/dist/rules/browser/eventListenerCleanup.js +2 -9
- package/dist/rules/browser/eventListenerCleanup.js.map +1 -1
- package/dist/rules/browser/observerCleanup.d.ts.map +1 -1
- package/dist/rules/browser/observerCleanup.js +2 -9
- package/dist/rules/browser/observerCleanup.js.map +1 -1
- package/dist/rules/browser/timerCleanup.d.ts.map +1 -1
- package/dist/rules/browser/timerCleanup.js +2 -9
- package/dist/rules/browser/timerCleanup.js.map +1 -1
- package/dist/rules/network/fetchStatusUnchecked.d.ts.map +1 -1
- package/dist/rules/network/fetchStatusUnchecked.js +245 -46
- package/dist/rules/network/fetchStatusUnchecked.js.map +1 -1
- package/dist/rules/react/asyncEffectCallback.d.ts.map +1 -1
- package/dist/rules/react/asyncEffectCallback.js +2 -9
- package/dist/rules/react/asyncEffectCallback.js.map +1 -1
- package/dist/rules/react/derivedStateEffect.d.ts.map +1 -1
- package/dist/rules/react/derivedStateEffect.js +61 -13
- package/dist/rules/react/derivedStateEffect.js.map +1 -1
- package/dist/rules/react/missingEffectCleanup.d.ts.map +1 -1
- package/dist/rules/react/missingEffectCleanup.js +102 -10
- package/dist/rules/react/missingEffectCleanup.js.map +1 -1
- package/dist/rules/typescript/nonNullAssertionRisk.js +1 -1
- package/dist/rules/typescript/nonNullAssertionRisk.js.map +1 -1
- package/dist/rules/typescript/uncheckedIndexAccess.d.ts.map +1 -1
- package/dist/rules/typescript/uncheckedIndexAccess.js +55 -0
- package/dist/rules/typescript/uncheckedIndexAccess.js.map +1 -1
- package/dist/rules/typescript/unsafeUnvalidatedAssertion.d.ts.map +1 -1
- package/dist/rules/typescript/unsafeUnvalidatedAssertion.js +9 -4
- package/dist/rules/typescript/unsafeUnvalidatedAssertion.js.map +1 -1
- package/package.json +1 -1
- package/dist/analysis/controlFlow.d.ts.map +0 -1
- package/dist/analysis/controlFlow.js +0 -2136
- 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"}
|
package/dist/baseline/manager.js
CHANGED
|
@@ -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,
|
|
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"}
|
package/dist/baseline/types.d.ts
CHANGED
|
@@ -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
|
|
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;
|
|
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>
|
|
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
|
package/dist/cli/main.d.ts.map
CHANGED
|
@@ -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;
|
|
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({
|
|
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`);
|