sourceverity 1.0.3 → 1.0.4

package/dist/analysis/nonNullGuards.js

@@ -0,0 +1,340 @@
+import { isCompleteBoundsExitGuard, isConstructedArrayCardinalityBoundedIndex, isFindIndexBoundedIndex, isFixedLengthGuardedIndex, isLoopOrCallbackBoundedIndex, isPositiveBoundsEntryGuard, isSearchProvenanceBoundedIndex, isStaticArrayLiteralBoundedIndex, normalizeArrayTarget, normalizeIndexExpression, } from "./arrayBounds.js";
+import { hasVariableReassignment, statementExitsControlFlow, } from "./controlFlowGuards.js";
+import { isReactStateBoundedIndex } from "./reactStateBounds.js";
+import { unwrapExpression } from "./values.js";
+function identifiersMatch(left, right, checker) {
+    if (!checker)
+        return left.text === right.text;
+    const leftSymbol = checker.getSymbolAtLocation(left);
+    const rightSymbol = checker.getSymbolAtLocation(right);
+    return leftSymbol && rightSymbol ? leftSymbol === rightSymbol : left.text === right.text;
+}
+function getConstIdentifierDeclaration(identifier, ts, checker) {
+    const symbol = checker?.getSymbolAtLocation(identifier);
+    const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+    if (!declaration || !ts.isVariableDeclaration(declaration) || !ts.isIdentifier(declaration.name)) {
+        return undefined;
+    }
+    const declarationList = declaration.parent;
+    return ts.isVariableDeclarationList(declarationList) &&
+        (declarationList.flags & ts.NodeFlags.Const) !== 0
+        ? declaration
+        : undefined;
+}
+function isNullishLiteral(node, ts) {
+    return (node.kind === ts.SyntaxKind.NullKeyword ||
+        node.kind === ts.SyntaxKind.UndefinedKeyword ||
+        (ts.isIdentifier(node) && node.text === "undefined"));
+}
+function getNullCheckedIdentifier(expression, ts) {
+    const condition = unwrapExpression(expression, ts);
+    if (!ts.isBinaryExpression(condition))
+        return undefined;
+    const operator = condition.operatorToken.kind;
+    if (operator !== ts.SyntaxKind.EqualsEqualsToken &&
+        operator !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        return undefined;
+    }
+    const left = unwrapExpression(condition.left, ts);
+    const right = unwrapExpression(condition.right, ts);
+    if (ts.isIdentifier(left) && isNullishLiteral(right, ts))
+        return left;
+    if (ts.isIdentifier(right) && isNullishLiteral(left, ts))
+        return right;
+    return undefined;
+}
+function getConditionalNullSentinelSource(initializer, ts) {
+    const conditional = unwrapExpression(initializer, ts);
+    if (!ts.isConditionalExpression(conditional))
+        return undefined;
+    if (!isNullishLiteral(unwrapExpression(conditional.whenTrue, ts), ts))
+        return undefined;
+    return getNullCheckedIdentifier(conditional.condition, ts);
+}
+function isConstConditionalSentinelGuarded(operand, statements, targetIndex, ts, checker) {
+    if (!checker)
+        return false;
+    for (let guardIndex = 0; guardIndex < targetIndex; guardIndex++) {
+        const guard = statements[guardIndex];
+        if (!guard ||
+            !ts.isIfStatement(guard) ||
+            !statementExitsControlFlow(guard.thenStatement, ts)) {
+            continue;
+        }
+        const sentinel = getNullCheckedIdentifier(guard.expression, ts);
+        if (!sentinel)
+            continue;
+        const sentinelDeclaration = getConstIdentifierDeclaration(sentinel, ts, checker);
+        if (!sentinelDeclaration ||
+            !sentinelDeclaration.initializer ||
+            sentinelDeclaration.getStart() >= guard.getStart()) {
+            continue;
+        }
+        const source = getConditionalNullSentinelSource(sentinelDeclaration.initializer, ts);
+        const sourceDeclaration = source
+            ? getConstIdentifierDeclaration(source, ts, checker)
+            : undefined;
+        if (source &&
+            sourceDeclaration &&
+            sourceDeclaration.getStart() < sentinelDeclaration.getStart() &&
+            identifiersMatch(source, operand, checker)) {
+            return true;
+        }
+    }
+    return false;
+}
+function isConstConditionalSentinelGuardedInAncestorScopes(node, operand, ts, checker) {
+    let child = node;
+    while (child.parent) {
+        const parent = child.parent;
+        if (ts.isBlock(parent) || ts.isSourceFile(parent)) {
+            let statement = child;
+            while (statement.parent && statement.parent !== parent) {
+                statement = statement.parent;
+            }
+            const statementIndex = parent.statements.indexOf(statement);
+            if (statementIndex > 0 &&
+                isConstConditionalSentinelGuarded(operand, parent.statements, statementIndex, ts, checker)) {
+                return true;
+            }
+            if (parent.parent &&
+                (ts.isFunctionDeclaration(parent.parent) ||
+                    ts.isFunctionExpression(parent.parent) ||
+                    ts.isArrowFunction(parent.parent) ||
+                    ts.isMethodDeclaration(parent.parent))) {
+                return false;
+            }
+        }
+        child = parent;
+    }
+    return false;
+}
+/**
+ * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
+ */
+export function isGuardedNonNullAssertion(node, ts, checker) {
+    const operand = unwrapExpression(node.expression, ts);
+    // Case 1: Indexed access non-null assertion: `array[index]!`
+    if (ts.isElementAccessExpression(operand)) {
+        // 1a. Check static array literal bounded index: e.g. tiers[0]! or colW[2]!
+        const staticLiteralCheck = isStaticArrayLiteralBoundedIndex(operand, ts, checker);
+        if (staticLiteralCheck?.isGuarded) {
+            return staticLiteralCheck;
+        }
+        // 1b. Check fixed-length equality or comparison guards: e.g. if (sliceArgs.length === 2) sliceArgs[0]!
+        const fixedLengthCheck = isFixedLengthGuardedIndex(node, operand, ts, checker);
+        if (fixedLengthCheck?.isGuarded) {
+            return fixedLengthCheck;
+        }
+        // 1c. Check constructed array cardinality: e.g. amplitudes[numLayers]! or coeffs[0]!
+        const cardinalityCheck = isConstructedArrayCardinalityBoundedIndex(node, operand, ts, checker);
+        if (cardinalityCheck?.isGuarded) {
+            return cardinalityCheck;
+        }
+        // 1d. Check loop or callback bounds: e.g. for (let i = 0; i < arr.length; i++) arr[i]!
+        const loopCheck = isLoopOrCallbackBoundedIndex(node, operand, ts, checker);
+        if (loopCheck?.isGuarded) {
+            return loopCheck;
+        }
+        // 1d. Check React state bounds: e.g. STEPS[step]! with constrained setStep transitions
+        const reactStateCheck = isReactStateBoundedIndex(operand, ts, checker);
+        if (reactStateCheck?.isGuarded) {
+            return reactStateCheck;
+        }
+        // 1e. Check search provenance: e.g. copy[victimIdx]!
+        const provenanceCheck = isSearchProvenanceBoundedIndex(node, operand, ts, checker);
+        if (provenanceCheck?.isGuarded) {
+            return provenanceCheck;
+        }
+        // 1f. Check findIndex contract: e.g. const i = arr.findIndex(...); if (i !== -1) arr[i]!
+        const findIndexCheck = isFindIndexBoundedIndex(node, operand, ts, checker);
+        if (findIndexCheck?.isGuarded) {
+            return findIndexCheck;
+        }
+        // 1g. Dominating statement-level bounds exit check: if (index < 0 || index >= array.length) return;
+        const arrayInfo = normalizeArrayTarget(operand.expression, ts, checker);
+        const indexInfo = normalizeIndexExpression(operand.argumentExpression, ts, checker);
+        if (arrayInfo && indexInfo) {
+            let walk = node;
+            while (walk.parent &&
+                !ts.isFunctionDeclaration(walk.parent) &&
+                !ts.isFunctionExpression(walk.parent) &&
+                !ts.isArrowFunction(walk.parent) &&
+                !ts.isSourceFile(walk.parent)) {
+                if (ts.isIfStatement(walk.parent)) {
+                    if (walk.parent.thenStatement === walk ||
+                        (ts.isBlock(walk.parent.thenStatement) &&
+                            walk.parent.thenStatement.statements.includes(walk))) {
+                        if (isPositiveBoundsEntryGuard(walk.parent.expression, indexInfo, arrayInfo, ts)) {
+                            return {
+                                isGuarded: true,
+                                evidence: `Enclosing guard '${walk.parent.expression.getText()}' proves index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is strictly in-bounds for '${arrayInfo.text}'.`,
+                            };
+                        }
+                    }
+                }
+                walk = walk.parent;
+            }
+            let stmt = node;
+            while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
+                stmt = stmt.parent;
+            }
+            if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
+                const statements = stmt.parent.statements;
+                const targetIndex = statements.indexOf(stmt);
+                if (targetIndex > 0) {
+                    for (let i = 0; i < targetIndex; i++) {
+                        const prior = statements[i];
+                        if (!prior)
+                            continue;
+                        if (ts.isIfStatement(prior)) {
+                            if (statementExitsControlFlow(prior.thenStatement, ts)) {
+                                if (isCompleteBoundsExitGuard(prior.expression, indexInfo, arrayInfo, ts)) {
+                                    return {
+                                        isGuarded: true,
+                                        evidence: `Dominating guard '${prior.expression.getText()}' proves index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is strictly in-bounds for '${arrayInfo.text}'.`,
+                                    };
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    // Case 2: Direct variable / identifier non-null assertion: `target!`
+    if (ts.isIdentifier(operand)) {
+        const targetName = operand.text;
+        const targetSymbol = checker?.getSymbolAtLocation(operand);
+        let resolvedTargetSymbol = targetSymbol;
+        if (resolvedTargetSymbol && (resolvedTargetSymbol.flags & ts.SymbolFlags.Alias) !== 0) {
+            try {
+                resolvedTargetSymbol = checker?.getAliasedSymbol(resolvedTargetSymbol);
+            }
+            catch {
+                // ignore
+            }
+        }
+        if (isConstConditionalSentinelGuardedInAncestorScopes(node, operand, ts, checker)) {
+            return {
+                isGuarded: true,
+                evidence: "A const conditional sentinel is null exactly when the asserted operand is null, and its null guard exits control flow.",
+            };
+        }
+        let stmt = node;
+        while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
+            stmt = stmt.parent;
+        }
+        if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
+            const statements = ts.isBlock(stmt.parent) ? stmt.parent.statements : stmt.parent.statements;
+            const targetIndex = statements.indexOf(stmt);
+            if (targetIndex > 0) {
+                if (isConstConditionalSentinelGuarded(operand, statements, targetIndex, ts, checker)) {
+                    return {
+                        isGuarded: true,
+                        evidence: "A const conditional sentinel is null exactly when the asserted operand is null, and its null guard exits control flow.",
+                    };
+                }
+                for (let i = 0; i < targetIndex; i++) {
+                    const prior = statements[i];
+                    if (!prior)
+                        continue;
+                    if (ts.isIfStatement(prior) && statementExitsControlFlow(prior.thenStatement, ts)) {
+                        const cond = unwrapExpression(prior.expression, ts);
+                        let isGuardMatched = false;
+                        let evidenceStr = "";
+                        // 1. if (!target) return;
+                        if (ts.isPrefixUnaryExpression(cond) && cond.operator === ts.SyntaxKind.ExclamationToken) {
+                            const inner = unwrapExpression(cond.operand, ts);
+                            if (ts.isIdentifier(inner)) {
+                                const innerSym = checker?.getSymbolAtLocation(inner);
+                                let resolvedInnerSym = innerSym;
+                                if (resolvedInnerSym && (resolvedInnerSym.flags & ts.SymbolFlags.Alias) !== 0) {
+                                    try {
+                                        resolvedInnerSym = checker?.getAliasedSymbol(resolvedInnerSym);
+                                    }
+                                    catch {
+                                        // ignore
+                                    }
+                                }
+                                const matchesSymbol = resolvedTargetSymbol && resolvedInnerSym
+                                    ? resolvedInnerSym === resolvedTargetSymbol
+                                    : inner.text === targetName;
+                                if (matchesSymbol) {
+                                    isGuardMatched = true;
+                                    evidenceStr = `Dominating guard '!${targetName}' proves operand is non-null.`;
+                                }
+                            }
+                        }
+                        // 2. if (target === null || target === undefined || target == null) return;
+                        if (!isGuardMatched && ts.isBinaryExpression(cond)) {
+                            const left = unwrapExpression(cond.left, ts);
+                            const right = unwrapExpression(cond.right, ts);
+                            const op = cond.operatorToken.kind;
+                            if (op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+                                op === ts.SyntaxKind.EqualsEqualsToken) {
+                                let targetSide;
+                                let nullSide;
+                                if (ts.isIdentifier(left)) {
+                                    targetSide = left;
+                                    nullSide = right;
+                                }
+                                else if (ts.isIdentifier(right)) {
+                                    targetSide = right;
+                                    nullSide = left;
+                                }
+                                if (targetSide && nullSide) {
+                                    const innerSym = checker?.getSymbolAtLocation(targetSide);
+                                    let resolvedInnerSym = innerSym;
+                                    if (resolvedInnerSym && (resolvedInnerSym.flags & ts.SymbolFlags.Alias) !== 0) {
+                                        try {
+                                            resolvedInnerSym = checker?.getAliasedSymbol(resolvedInnerSym);
+                                        }
+                                        catch {
+                                            // ignore
+                                        }
+                                    }
+                                    const matchesSymbol = resolvedTargetSymbol && resolvedInnerSym
+                                        ? resolvedInnerSym === resolvedTargetSymbol
+                                        : targetSide.text === targetName;
+                                    if (matchesSymbol &&
+                                        (nullSide.kind === ts.SyntaxKind.NullKeyword ||
+                                            nullSide.kind === ts.SyntaxKind.UndefinedKeyword ||
+                                            (ts.isIdentifier(nullSide) && nullSide.text === "undefined"))) {
+                                        isGuardMatched = true;
+                                        evidenceStr = `Dominating null check proves '${targetName}' is non-null.`;
+                                    }
+                                }
+                            }
+                        }
+                        if (isGuardMatched) {
+                            // Invalidation check: verify target was NOT reassigned between guard and assertion!
+                            let isReassigned = false;
+                            for (let j = i + 1; j < targetIndex; j++) {
+                                const s = statements[j];
+                                if (s && hasVariableReassignment(s, targetName, resolvedTargetSymbol, ts, checker)) {
+                                    isReassigned = true;
+                                    break;
+                                }
+                            }
+                            if (!isReassigned) {
+                                const currentStmt = statements[targetIndex];
+                                if (currentStmt && hasVariableReassignment(currentStmt, targetName, resolvedTargetSymbol, ts, checker, node.pos)) {
+                                    isReassigned = true;
+                                }
+                            }
+                            if (!isReassigned) {
+                                return {
+                                    isGuarded: true,
+                                    evidence: evidenceStr,
+                                };
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    return { isGuarded: false };
+}
+//# sourceMappingURL=nonNullGuards.js.map

package/dist/analysis/nonNullGuards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nonNullGuards.js","sourceRoot":"","sources":["../../src/analysis/nonNullGuards.ts"],"names":[],"mappings":"AACA,OAAO,EACL,yBAAyB,EACzB,yCAAyC,EACzC,uBAAuB,EACvB,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,8BAA8B,EAC9B,gCAAgC,EAChC,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,SAAS,gBAAgB,CACvB,IAAuB,EACvB,KAAwB,EACxB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,UAAU,IAAI,WAAW,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED,SAAS,6BAA6B,CACpC,UAA6B,EAC7B,EAAiB,EACjB,OAAwC;IAExC,MAAM,MAAM,GAAG,OAAO,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjG,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;QAClD,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAuB,EAAE,EAAiB;IAClE,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA6B,EAC7B,EAAiB;IAEjB,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;IAC9C,IACE,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAC5C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gCAAgC,CACvC,WAA8B,EAC9B,EAAiB;IAEjB,MAAM,WAAW,GAAG,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IACxF,OAAO,wBAAwB,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,iCAAiC,CACxC,OAA0B,EAC1B,UAAuC,EACvC,WAAmB,EACnB,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACrC,IACE,CAAC,KAAK;YACN,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC;YACxB,CAAC,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EACnD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,mBAAmB,GAAG,6BAA6B,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACjF,IACE,CAAC,mBAAmB;YACpB,CAAC,mBAAmB,CAAC,WAAW;YAChC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,EAClD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,mBAAmB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,iBAAiB,GAAG,MAAM;YAC9B,CAAC,CAAC,6BAA6B,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC;YACpD,CAAC,CAAC,SAAS,CAAC;QACd,IACE,MAAM;YACN,iBAAiB;YACjB,iBAAiB,CAAC,QAAQ,EAAE,GAAG,mBAAmB,CAAC,QAAQ,EAAE;YAC7D,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAC1C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iDAAiD,CACxD,IAAiB,EACjB,OAA0B,EAC1B,EAAiB,EACjB,OAAwC;IAExC,IAAI,KAAK,GAAgB,IAAI,CAAC;IAC9B,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,OAAO,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACvD,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;YAC/B,CAAC;YACD,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAA6B,CAAC,CAAC;YAChF,IACE,cAAc,GAAG,CAAC;gBAClB,iCAAiC,CAC/B,OAAO,EACP,MAAM,CAAC,UAAU,EACjB,cAAc,EACd,EAAE,EACF,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IACE,MAAM,CAAC,MAAM;gBACb,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;oBACjC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EACxC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA8B,EAC9B,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEtD,6DAA6D;IAC7D,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,2EAA2E;QAC3E,MAAM,kBAAkB,GAAG,gCAAgC,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAClF,IAAI,kBAAkB,EAAE,SAAS,EAAE,CAAC;YAClC,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QAED,uGAAuG;QACvG,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC/E,IAAI,gBAAgB,EAAE,SAAS,EAAE,CAAC;YAChC,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QAED,qFAAqF;QACrF,MAAM,gBAAgB,GAAG,yCAAyC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC/F,IAAI,gBAAgB,EAAE,SAAS,EAAE,CAAC;YAChC,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QAED,uFAAuF;QACvF,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,SAAS,EAAE,SAAS,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,uFAAuF;QACvF,MAAM,eAAe,GAAG,wBAAwB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACvE,IAAI,eAAe,EAAE,SAAS,EAAE,CAAC;YAC/B,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,qDAAqD;QACrD,MAAM,eAAe,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,eAAe,EAAE,SAAS,EAAE,CAAC;YAC/B,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,yFAAyF;QACzF,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,cAAc,EAAE,SAAS,EAAE,CAAC;YAC9B,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,oGAAoG;QACpG,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACpF,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,IAAI,GAAgB,IAAI,CAAC;YAC7B,OACE,IAAI,CAAC,MAAM;gBACX,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACrC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBAChC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAC7B,CAAC;gBACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAClC,IACE,IAAI,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI;wBAClC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;4BACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC,EAC1E,CAAC;wBACD,IAAI,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;4BACjF,OAAO;gCACL,SAAS,EAAE,IAAI;gCACf,QAAQ,EAAE,oBAAoB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,mBAAmB,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,gCAAgC,SAAS,CAAC,IAAI,IAAI;6BACzM,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC;YAED,IAAI,IAAI,GAAgB,IAAI,CAAC;YAC7B,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;gBAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;gBAC1C,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;gBAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;wBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5B,IAAI,CAAC,KAAK;4BAAE,SAAS;wBAErB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5B,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;gCACvD,IAAI,yBAAyB,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;oCAC1E,OAAO;wCACL,SAAS,EAAE,IAAI;wCACf,QAAQ,EAAE,qBAAqB,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,mBAAmB,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,gCAAgC,SAAS,CAAC,IAAI,IAAI;qCACpM,CAAC;gCACJ,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;QAChC,MAAM,YAAY,GAAG,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,oBAAoB,GAAG,YAAY,CAAC;QACxC,IAAI,oBAAoB,IAAI,CAAC,oBAAoB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACtF,IAAI,CAAC;gBACH,oBAAoB,GAAG,OAAO,EAAE,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YACzE,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;QAED,IAAI,iDAAiD,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YAClF,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,QAAQ,EACN,wHAAwH;aAC3H,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,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;YAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAC7F,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;YAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,iCAAiC,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBACrF,OAAO;wBACL,SAAS,EAAE,IAAI;wBACf,QAAQ,EACN,wHAAwH;qBAC3H,CAAC;gBACJ,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC5B,IAAI,CAAC,KAAK;wBAAE,SAAS;oBAErB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;wBAClF,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;wBACpD,IAAI,cAAc,GAAG,KAAK,CAAC;wBAC3B,IAAI,WAAW,GAAG,EAAE,CAAC;wBAErB,0BAA0B;wBAC1B,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;4BACzF,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;4BACjD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gCAC3B,MAAM,QAAQ,GAAG,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;gCACrD,IAAI,gBAAgB,GAAG,QAAQ,CAAC;gCAChC,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oCAC9E,IAAI,CAAC;wCACH,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;oCACjE,CAAC;oCAAC,MAAM,CAAC;wCACP,SAAS;oCACX,CAAC;gCACH,CAAC;gCACD,MAAM,aAAa,GACjB,oBAAoB,IAAI,gBAAgB;oCACtC,CAAC,CAAC,gBAAgB,KAAK,oBAAoB;oCAC3C,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;gCAEhC,IAAI,aAAa,EAAE,CAAC;oCAClB,cAAc,GAAG,IAAI,CAAC;oCACtB,WAAW,GAAG,sBAAsB,UAAU,+BAA+B,CAAC;gCAChF,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,4EAA4E;wBAC5E,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;4BACnD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;4BACnC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;gCAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,EACtC,CAAC;gCACD,IAAI,UAAyC,CAAC;gCAC9C,IAAI,QAAuC,CAAC;gCAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC1B,UAAU,GAAG,IAAI,CAAC;oCAClB,QAAQ,GAAG,KAAK,CAAC;gCACnB,CAAC;qCAAM,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;oCAClC,UAAU,GAAG,KAAK,CAAC;oCACnB,QAAQ,GAAG,IAAI,CAAC;gCAClB,CAAC;gCAED,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;oCAC3B,MAAM,QAAQ,GAAG,OAAO,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;oCAC1D,IAAI,gBAAgB,GAAG,QAAQ,CAAC;oCAChC,IAAI,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;wCAC9E,IAAI,CAAC;4CACH,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;wCACjE,CAAC;wCAAC,MAAM,CAAC;4CACP,SAAS;wCACX,CAAC;oCACH,CAAC;oCACD,MAAM,aAAa,GACjB,oBAAoB,IAAI,gBAAgB;wCACtC,CAAC,CAAC,gBAAgB,KAAK,oBAAoB;wCAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;oCAErC,IACE,aAAa;wCACb,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;4CAC1C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;4CAChD,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,EAC/D,CAAC;wCACD,cAAc,GAAG,IAAI,CAAC;wCACtB,WAAW,GAAG,iCAAiC,UAAU,gBAAgB,CAAC;oCAC5E,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,IAAI,cAAc,EAAE,CAAC;4BACnB,oFAAoF;4BACpF,IAAI,YAAY,GAAG,KAAK,CAAC;4BACzB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;gCACzC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gCACxB,IAAI,CAAC,IAAI,uBAAuB,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oCACnF,YAAY,GAAG,IAAI,CAAC;oCACpB,MAAM;gCACR,CAAC;4BACH,CAAC;4BAED,IAAI,CAAC,YAAY,EAAE,CAAC;gCAClB,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;gCAC5C,IAAI,WAAW,IAAI,uBAAuB,CAAC,WAAW,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oCACjH,YAAY,GAAG,IAAI,CAAC;gCACtB,CAAC;4BACH,CAAC;4BAED,IAAI,CAAC,YAAY,EAAE,CAAC;gCAClB,OAAO;oCACL,SAAS,EAAE,IAAI;oCACf,QAAQ,EAAE,WAAW;iCACtB,CAAC;4BACJ,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

package/dist/analysis/reactStateBounds.d.ts

@@ -0,0 +1,8 @@
+import type * as tsType from "typescript";
+import type { GuardCheckResult } from "./controlFlowTypes.js";
+/**
+ * Checks if a React state variable indexing a static const array is provably bounded by verified state transitions.
+ */
+declare function isReactStateBoundedIndex(operand: tsType.ElementAccessExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): GuardCheckResult | undefined;
+export { isReactStateBoundedIndex };
+//# sourceMappingURL=reactStateBounds.d.ts.map

package/dist/analysis/reactStateBounds.d.ts.map

@@ -0,0 +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"}