circle-ir 3.1.0

package/dist/analysis/constant-propagation/evaluator.js

@@ -0,0 +1,296 @@
+/**
+ * Expression evaluation for constant propagation.
+ *
+ * Evaluates AST expressions to determine their constant values.
+ */
+import { isKnown, createUnknown, createConstant, getNodeText, getNodeLine } from './ast-utils.js';
+/**
+ * Expression evaluator for constant propagation.
+ *
+ * Takes a symbol lookup function to resolve variable values,
+ * allowing it to be used with different symbol tables.
+ */
+export class ExpressionEvaluator {
+    source;
+    getSymbol;
+    constructor(source, getSymbol) {
+        this.source = source;
+        this.getSymbol = getSymbol;
+    }
+    /**
+     * Evaluate an expression node to determine its constant value.
+     */
+    evaluate(node) {
+        const line = getNodeLine(node);
+        const text = getNodeText(node, this.source);
+        switch (node.type) {
+            // Literals
+            case 'decimal_integer_literal':
+            case 'hex_integer_literal':
+            case 'octal_integer_literal':
+                return createConstant(parseInt(text, 10), 'int', line);
+            case 'decimal_floating_point_literal':
+                return createConstant(parseFloat(text), 'float', line);
+            case 'string_literal':
+                return createConstant(text.slice(1, -1), 'string', line);
+            case 'character_literal': {
+                let char = text.slice(1, -1);
+                if (char.startsWith('\\')) {
+                    char = this.unescapeChar(char);
+                }
+                return createConstant(char, 'char', line);
+            }
+            case 'true':
+                return createConstant(true, 'bool', line);
+            case 'false':
+                return createConstant(false, 'bool', line);
+            case 'null_literal':
+                return createConstant(null, 'null', line);
+            // Variable reference
+            case 'identifier': {
+                const existing = this.getSymbol(text);
+                if (existing) {
+                    return existing;
+                }
+                return createUnknown(line);
+            }
+            // Parenthesized expression
+            case 'parenthesized_expression': {
+                const inner = node.children.find((c) => c.type !== '(' && c.type !== ')');
+                if (inner) {
+                    return this.evaluate(inner);
+                }
+                return createUnknown(line);
+            }
+            // Binary expression
+            case 'binary_expression':
+                return this.evaluateBinary(node);
+            // Unary expression
+            case 'unary_expression':
+                return this.evaluateUnary(node);
+            // Ternary expression
+            case 'ternary_expression':
+                return this.evaluateTernary(node);
+            // Method invocation
+            case 'method_invocation':
+                return this.evaluateMethodCall(node);
+            // Field access
+            case 'field_access':
+                return this.evaluateFieldAccess(node);
+            default:
+                return createUnknown(line);
+        }
+    }
+    evaluateBinary(node) {
+        const line = getNodeLine(node);
+        const left = node.childForFieldName('left');
+        const right = node.childForFieldName('right');
+        const operatorNode = node.childForFieldName('operator');
+        if (!left || !right || !operatorNode) {
+            return createUnknown(line);
+        }
+        const leftVal = this.evaluate(left);
+        const rightVal = this.evaluate(right);
+        if (!isKnown(leftVal) || !isKnown(rightVal)) {
+            return createUnknown(line);
+        }
+        const lv = leftVal.value;
+        const rv = rightVal.value;
+        const op = getNodeText(operatorNode, this.source);
+        try {
+            // Arithmetic
+            if (op === '+') {
+                if (typeof lv === 'string' || typeof rv === 'string') {
+                    return createConstant(String(lv) + String(rv), 'string', line);
+                }
+                if (typeof lv === 'number' && typeof rv === 'number') {
+                    const result = lv + rv;
+                    return createConstant(result, Number.isInteger(result) ? 'int' : 'float', line);
+                }
+            }
+            if (op === '-' && typeof lv === 'number' && typeof rv === 'number') {
+                const result = lv - rv;
+                return createConstant(result, Number.isInteger(result) ? 'int' : 'float', line);
+            }
+            if (op === '*' && typeof lv === 'number' && typeof rv === 'number') {
+                const result = lv * rv;
+                return createConstant(result, Number.isInteger(result) ? 'int' : 'float', line);
+            }
+            if (op === '/' && typeof lv === 'number' && typeof rv === 'number' && rv !== 0) {
+                if (Number.isInteger(lv) && Number.isInteger(rv)) {
+                    return createConstant(Math.floor(lv / rv), 'int', line);
+                }
+                return createConstant(lv / rv, 'float', line);
+            }
+            if (op === '%' && typeof lv === 'number' && typeof rv === 'number' && rv !== 0) {
+                return createConstant(lv % rv, 'int', line);
+            }
+            // Comparison
+            if (op === '>' && typeof lv === 'number' && typeof rv === 'number') {
+                return createConstant(lv > rv, 'bool', line);
+            }
+            if (op === '<' && typeof lv === 'number' && typeof rv === 'number') {
+                return createConstant(lv < rv, 'bool', line);
+            }
+            if (op === '>=' && typeof lv === 'number' && typeof rv === 'number') {
+                return createConstant(lv >= rv, 'bool', line);
+            }
+            if (op === '<=' && typeof lv === 'number' && typeof rv === 'number') {
+                return createConstant(lv <= rv, 'bool', line);
+            }
+            if (op === '==') {
+                return createConstant(lv === rv, 'bool', line);
+            }
+            if (op === '!=') {
+                return createConstant(lv !== rv, 'bool', line);
+            }
+            // Logical
+            if (op === '&&') {
+                return createConstant(Boolean(lv) && Boolean(rv), 'bool', line);
+            }
+            if (op === '||') {
+                return createConstant(Boolean(lv) || Boolean(rv), 'bool', line);
+            }
+        }
+        catch {
+            // Division by zero, etc.
+        }
+        return createUnknown(line);
+    }
+    evaluateUnary(node) {
+        const line = getNodeLine(node);
+        const operatorNode = node.childForFieldName('operator');
+        const operandNode = node.childForFieldName('operand');
+        if (!operatorNode || !operandNode) {
+            return createUnknown(line);
+        }
+        const op = getNodeText(operatorNode, this.source);
+        const operand = this.evaluate(operandNode);
+        if (!isKnown(operand)) {
+            return createUnknown(line);
+        }
+        if (op === '!' && typeof operand.value === 'boolean') {
+            return createConstant(!operand.value, 'bool', line);
+        }
+        if (op === '-' && typeof operand.value === 'number') {
+            return createConstant(-operand.value, operand.type, line);
+        }
+        if (op === '+' && typeof operand.value === 'number') {
+            return operand;
+        }
+        return createUnknown(line);
+    }
+    evaluateTernary(node) {
+        const line = getNodeLine(node);
+        const condition = node.childForFieldName('condition');
+        const consequence = node.childForFieldName('consequence');
+        const alternative = node.childForFieldName('alternative');
+        if (!condition || !consequence || !alternative) {
+            return createUnknown(line);
+        }
+        const condValue = this.evaluate(condition);
+        if (isKnown(condValue) && condValue.type === 'bool') {
+            if (condValue.value === true) {
+                return this.evaluate(consequence);
+            }
+            else {
+                return this.evaluate(alternative);
+            }
+        }
+        return createUnknown(line);
+    }
+    evaluateMethodCall(node) {
+        const line = getNodeLine(node);
+        const objectNode = node.childForFieldName('object');
+        const nameNode = node.childForFieldName('name');
+        const argsNode = node.childForFieldName('arguments');
+        if (!objectNode || !nameNode) {
+            return createUnknown(line);
+        }
+        const objValue = this.evaluate(objectNode);
+        const methodName = getNodeText(nameNode, this.source);
+        if (!isKnown(objValue)) {
+            return createUnknown(line);
+        }
+        // String methods
+        if (objValue.type === 'string' && typeof objValue.value === 'string') {
+            const s = objValue.value;
+            if (methodName === 'charAt' && argsNode) {
+                const argValues = this.getArgumentValues(argsNode);
+                if (argValues.length > 0 && isKnown(argValues[0]) && argValues[0].type === 'int') {
+                    const idx = argValues[0].value;
+                    if (idx >= 0 && idx < s.length) {
+                        return createConstant(s[idx], 'char', line);
+                    }
+                }
+            }
+            if (methodName === 'length') {
+                return createConstant(s.length, 'int', line);
+            }
+            if (methodName === 'substring' && argsNode) {
+                const argValues = this.getArgumentValues(argsNode);
+                if (argValues.length === 1 && isKnown(argValues[0]) && argValues[0].type === 'int') {
+                    const start = argValues[0].value;
+                    return createConstant(s.substring(start), 'string', line);
+                }
+                if (argValues.length >= 2 && isKnown(argValues[0]) && isKnown(argValues[1])) {
+                    const start = argValues[0].value;
+                    const end = argValues[1].value;
+                    return createConstant(s.substring(start, end), 'string', line);
+                }
+            }
+            if (methodName === 'equals' && argsNode) {
+                const argValues = this.getArgumentValues(argsNode);
+                if (argValues.length > 0 && isKnown(argValues[0]) && argValues[0].type === 'string') {
+                    return createConstant(s === argValues[0].value, 'bool', line);
+                }
+            }
+            if (methodName === 'toUpperCase') {
+                return createConstant(s.toUpperCase(), 'string', line);
+            }
+            if (methodName === 'toLowerCase') {
+                return createConstant(s.toLowerCase(), 'string', line);
+            }
+            if (methodName === 'trim') {
+                return createConstant(s.trim(), 'string', line);
+            }
+        }
+        return createUnknown(line);
+    }
+    evaluateFieldAccess(node) {
+        const line = getNodeLine(node);
+        const text = getNodeText(node, this.source);
+        // Common constants
+        if (text === 'Integer.MAX_VALUE') {
+            return createConstant(2147483647, 'int', line);
+        }
+        if (text === 'Integer.MIN_VALUE') {
+            return createConstant(-2147483648, 'int', line);
+        }
+        return createUnknown(line);
+    }
+    /**
+     * Get argument values from an argument list node.
+     */
+    getArgumentValues(argsNode) {
+        const values = [];
+        for (const child of argsNode.children) {
+            if (child.type !== '(' && child.type !== ')' && child.type !== ',') {
+                values.push(this.evaluate(child));
+            }
+        }
+        return values;
+    }
+    unescapeChar(char) {
+        switch (char) {
+            case '\\n': return '\n';
+            case '\\t': return '\t';
+            case '\\r': return '\r';
+            case '\\\\': return '\\';
+            case "\\'": return "'";
+            case '\\"': return '"';
+            default: return char;
+        }
+    }
+}
+//# sourceMappingURL=evaluator.js.map

package/dist/analysis/constant-propagation/evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../../src/analysis/constant-propagation/evaluator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElG;;;;;GAKG;AACH,MAAM,OAAO,mBAAmB;IAEpB;IACA;IAFV,YACU,MAAc,EACd,SAAsD;QADtD,WAAM,GAAN,MAAM,CAAQ;QACd,cAAS,GAAT,SAAS,CAA6C;IAC7D,CAAC;IAEJ;;OAEG;IACH,QAAQ,CAAC,IAAU;QACjB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,WAAW;YACX,KAAK,yBAAyB,CAAC;YAC/B,KAAK,qBAAqB,CAAC;YAC3B,KAAK,uBAAuB;gBAC1B,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAEzD,KAAK,gCAAgC;gBACnC,OAAO,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAEzD,KAAK,gBAAgB;gBACnB,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAE3D,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACjC,CAAC;gBACD,OAAO,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5C,CAAC;YAED,KAAK,MAAM;gBACT,OAAO,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAE5C,KAAK,OAAO;gBACV,OAAO,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAE7C,KAAK,cAAc;gBACjB,OAAO,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAE5C,qBAAqB;YACrB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YAED,2BAA2B;YAC3B,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBAChC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;gBAChF,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAC9B,CAAC;gBACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YAED,oBAAoB;YACpB,KAAK,mBAAmB;gBACtB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAEnC,mBAAmB;YACnB,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAElC,qBAAqB;YACrB,KAAK,oBAAoB;gBACvB,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAEpC,oBAAoB;YACpB,KAAK,mBAAmB;gBACtB,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAEvC,eAAe;YACf,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAExC;gBACE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAU;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAExD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAEtC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAElD,IAAI,CAAC;YACH,aAAa;YACb,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBACrD,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACjE,CAAC;gBACD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBACrD,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC;oBACvB,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;YAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnE,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC;gBACvB,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClF,CAAC;YAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnE,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC;gBACvB,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClF,CAAC;YAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC/E,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;oBACjD,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC1D,CAAC;gBACD,OAAO,cAAc,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;YAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC/E,OAAO,cAAc,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9C,CAAC;YAED,aAAa;YACb,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnE,OAAO,cAAc,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;YAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnE,OAAO,cAAc,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;YAED,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpE,OAAO,cAAc,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;YAED,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpE,OAAO,cAAc,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;YAED,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,OAAO,cAAc,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACjD,CAAC;YAED,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,OAAO,cAAc,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACjD,CAAC;YAED,UAAU;YACV,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,OAAO,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAClE,CAAC;YAED,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,OAAO,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yBAAyB;QAC3B,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAEO,aAAa,CAAC,IAAU;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEtD,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YAClC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,EAAE,GAAG,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtB,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACrD,OAAO,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACpD,OAAO,cAAc,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,IAAuB,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;QAED,IAAI,EAAE,KAAK,GAAG,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACpD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAEO,eAAe,CAAC,IAAU;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAE1D,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;YAC/C,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAE3C,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpD,IAAI,SAAS,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC7B,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAEO,kBAAkB,CAAC,IAAU;QACnC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAErD,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAEtD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvB,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,iBAAiB;QACjB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;YAEzB,IAAI,UAAU,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBACxC,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBACjF,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,KAAe,CAAC;oBACzC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;wBAC/B,OAAO,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;oBAC9C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;gBAC5B,OAAO,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;YAED,IAAI,UAAU,KAAK,WAAW,IAAI,QAAQ,EAAE,CAAC;gBAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBACnF,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,KAAe,CAAC;oBAC3C,OAAO,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC5D,CAAC;gBACD,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,KAAe,CAAC;oBAC3C,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,KAAe,CAAC;oBACzC,OAAO,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YAED,IAAI,UAAU,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBACxC,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACpF,OAAO,cAAc,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;YAED,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;gBACjC,OAAO,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC;YAED,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;gBACjC,OAAO,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC;YAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1B,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAEO,mBAAmB,CAAC,IAAU;QACpC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5C,mBAAmB;QACnB,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACjC,OAAO,cAAc,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACjC,OAAO,cAAc,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAc;QAC9B,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBACnE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,YAAY,CAAC,IAAY;QAC/B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC;YACxB,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC;YACxB,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC;YACxB,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC;YACzB,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;YACvB,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;YACvB,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;CACF"}

package/dist/analysis/constant-propagation/index.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Constant Propagation Engine
+ *
+ * Tracks constant values through variable assignments and evaluates expressions
+ * to detect dead code and reduce false positives in taint analysis.
+ *
+ * @module constant-propagation
+ */
+import type { Tree } from 'web-tree-sitter';
+import type { ConstantPropagatorResult, ConstantPropagationOptions } from './types.js';
+export type { ConstantType, ConstantValue, ConstantPropagatorResult, ConstantPropagationOptions, TaintedParameter } from './types.js';
+export { isKnown, createUnknown, createConstant, getNodeText, getNodeLine } from './ast-utils.js';
+export { TAINT_PATTERNS, TAINT_PATTERN_REGEX, SANITIZER_METHODS, PROPAGATOR_METHODS } from './patterns.js';
+export { ExpressionEvaluator } from './evaluator.js';
+export { ConstantPropagator } from './propagator.js';
+/**
+ * Analyze source code for constant propagation.
+ *
+ * @param tree - Parsed AST from tree-sitter
+ * @param sourceCode - Original source code
+ * @param options - Analysis options
+ * @returns Constant propagation result with symbols, tainted vars, and unreachable lines
+ */
+export declare function analyzeConstantPropagation(tree: Tree, sourceCode: string, options?: ConstantPropagationOptions): ConstantPropagatorResult;
+/**
+ * Check if a potential vulnerability is a false positive.
+ *
+ * @param result - Constant propagation result
+ * @param sinkLine - Line number of the sink
+ * @param taintedVar - Name of the potentially tainted variable
+ * @returns Object indicating if it's a false positive and the reason
+ */
+export declare function isFalsePositive(result: ConstantPropagatorResult, sinkLine: number, taintedVar: string): {
+    isFalsePositive: boolean;
+    reason: string | null;
+};
+/**
+ * Check if a taint flow is a false positive due to correlated predicates.
+ *
+ * This handles cases like:
+ *   if(choice) { x = tainted; }
+ *   if(!choice) { sink(x); }
+ *
+ * The taint of x only applies when choice=true, but the sink only executes
+ * when choice=false. These are mutually exclusive paths, so no vulnerability.
+ *
+ * @param result - Constant propagation result with conditional taint info
+ * @param flow - The taint flow to check
+ * @returns true if this is a false positive due to correlated predicates
+ */
+export declare function isCorrelatedPredicateFP(result: ConstantPropagatorResult, flow: {
+    source: {
+        line: number;
+    };
+    sink: {
+        line: number;
+    };
+    path: Array<{
+        variable: string;
+        line: number;
+    }>;
+}): boolean;

package/dist/analysis/constant-propagation/index.js

@@ -0,0 +1,152 @@
+/**
+ * Constant Propagation Engine
+ *
+ * Tracks constant values through variable assignments and evaluates expressions
+ * to detect dead code and reduce false positives in taint analysis.
+ *
+ * @module constant-propagation
+ */
+import { ConstantPropagator } from './propagator.js';
+// Re-export utilities
+export { isKnown, createUnknown, createConstant, getNodeText, getNodeLine } from './ast-utils.js';
+// Re-export patterns
+export { TAINT_PATTERNS, TAINT_PATTERN_REGEX, SANITIZER_METHODS, PROPAGATOR_METHODS } from './patterns.js';
+// Re-export classes
+export { ExpressionEvaluator } from './evaluator.js';
+export { ConstantPropagator } from './propagator.js';
+/**
+ * Analyze source code for constant propagation.
+ *
+ * @param tree - Parsed AST from tree-sitter
+ * @param sourceCode - Original source code
+ * @param options - Analysis options
+ * @returns Constant propagation result with symbols, tainted vars, and unreachable lines
+ */
+export function analyzeConstantPropagation(tree, sourceCode, options = {}) {
+    const propagator = new ConstantPropagator();
+    return propagator.analyze(tree, sourceCode, options.additionalTaintPatterns ?? [], options.sanitizerMethods ?? [], options.taintedParameters ?? []);
+}
+/**
+ * Check if a potential vulnerability is a false positive.
+ *
+ * @param result - Constant propagation result
+ * @param sinkLine - Line number of the sink
+ * @param taintedVar - Name of the potentially tainted variable
+ * @returns Object indicating if it's a false positive and the reason
+ */
+export function isFalsePositive(result, sinkLine, taintedVar) {
+    // Reason 1: Sink is in dead code
+    if (result.unreachableLines.has(sinkLine)) {
+        return { isFalsePositive: true, reason: 'sink_in_dead_code' };
+    }
+    // Reason 2: Variable has constant value (not tainted)
+    const varValue = result.symbols.get(taintedVar);
+    if (varValue && varValue.type !== 'unknown' && !result.tainted.has(taintedVar)) {
+        return { isFalsePositive: true, reason: `variable_is_constant: ${varValue.value}` };
+    }
+    // Reason 3: Variable not tainted
+    if (!result.tainted.has(taintedVar)) {
+        return { isFalsePositive: true, reason: 'variable_not_tainted' };
+    }
+    return { isFalsePositive: false, reason: null };
+}
+/**
+ * Check if a taint flow is a false positive due to correlated predicates.
+ *
+ * This handles cases like:
+ *   if(choice) { x = tainted; }
+ *   if(!choice) { sink(x); }
+ *
+ * The taint of x only applies when choice=true, but the sink only executes
+ * when choice=false. These are mutually exclusive paths, so no vulnerability.
+ *
+ * @param result - Constant propagation result with conditional taint info
+ * @param flow - The taint flow to check
+ * @returns true if this is a false positive due to correlated predicates
+ */
+export function isCorrelatedPredicateFP(result, flow) {
+    // Get the condition that guards the sink line
+    const sinkCondition = result.lineConditions?.get(flow.sink.line);
+    if (!sinkCondition) {
+        return false; // Sink is not under a known condition
+    }
+    // Check each variable in the taint path
+    for (const step of flow.path) {
+        const varName = step.variable;
+        // Check both scoped and unscoped variable names
+        const checkNames = [varName, varName.split(':').pop() || varName];
+        // Find which condition this variable was tainted under
+        for (const [taintCond, taintedVars] of result.conditionalTaints?.entries() ?? []) {
+            // Check if any of our variable names match tainted vars (considering scoping)
+            let matched = false;
+            for (const checkName of checkNames) {
+                if (taintedVars.has(checkName)) {
+                    matched = true;
+                    break;
+                }
+                // Also check if any tainted var ends with :checkName (scoped match)
+                for (const taintedVar of taintedVars) {
+                    if (taintedVar.endsWith(':' + checkName)) {
+                        matched = true;
+                        break;
+                    }
+                }
+                if (matched)
+                    break;
+            }
+            if (matched) {
+                // Check if the taint condition and sink condition are mutually exclusive
+                if (areNegatedConditions(taintCond, sinkCondition)) {
+                    return true; // Correlated predicate FP
+                }
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Check if two condition expressions are negations of each other.
+ * "x" and "!x" are negations.
+ * "!x" and "x" are negations.
+ */
+function areNegatedConditions(cond1, cond2) {
+    const norm1 = normalizeCondition(cond1);
+    const norm2 = normalizeCondition(cond2);
+    // Check if one is the negation of the other
+    if (norm1.startsWith('!') && normalizeCondition(norm1.slice(1)) === norm2) {
+        return true;
+    }
+    if (norm2.startsWith('!') && normalizeCondition(norm2.slice(1)) === norm1) {
+        return true;
+    }
+    return false;
+}
+/**
+ * Normalize a condition expression for comparison.
+ */
+function normalizeCondition(cond) {
+    let normalized = cond.trim();
+    // Remove outer parentheses
+    while (normalized.startsWith('(') && normalized.endsWith(')')) {
+        let depth = 0;
+        let balanced = true;
+        for (let i = 0; i < normalized.length - 1; i++) {
+            if (normalized[i] === '(')
+                depth++;
+            else if (normalized[i] === ')')
+                depth--;
+            if (depth === 0 && i > 0) {
+                balanced = false;
+                break;
+            }
+        }
+        if (balanced) {
+            normalized = normalized.slice(1, -1).trim();
+        }
+        else {
+            break;
+        }
+    }
+    return normalized;
+}
+//# sourceMappingURL=index.js.map

package/dist/analysis/constant-propagation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/analysis/constant-propagation/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAKrD,sBAAsB;AACtB,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElG,qBAAqB;AACrB,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAE3G,oBAAoB;AACpB,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAU,EACV,UAAkB,EAClB,UAAsC,EAAE;IAExC,MAAM,UAAU,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC5C,OAAO,UAAU,CAAC,OAAO,CACvB,IAAI,EACJ,UAAU,EACV,OAAO,CAAC,uBAAuB,IAAI,EAAE,EACrC,OAAO,CAAC,gBAAgB,IAAI,EAAE,EAC9B,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAChC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAgC,EAChC,QAAgB,EAChB,UAAkB;IAElB,iCAAiC;IACjC,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAChE,CAAC;IAED,sDAAsD;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/E,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,yBAAyB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC;IACtF,CAAC;IAED,iCAAiC;IACjC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACnE,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAgC,EAChC,IAA2G;IAE3G,8CAA8C;IAC9C,MAAM,aAAa,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC,CAAC,sCAAsC;IACtD,CAAC;IAED,wCAAwC;IACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE9B,gDAAgD;QAChD,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC;QAElE,uDAAuD;QACvD,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;YACjF,8EAA8E;YAC9E,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/B,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM;gBACR,CAAC;gBACD,oEAAoE;gBACpE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;oBACrC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC;wBACzC,OAAO,GAAG,IAAI,CAAC;wBACf,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,OAAO;oBAAE,MAAM;YACrB,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,yEAAyE;gBACzE,IAAI,oBAAoB,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;oBACnD,OAAO,IAAI,CAAC,CAAC,0BAA0B;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,KAAa,EAAE,KAAa;IACxD,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAExC,4CAA4C;IAC5C,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7B,2BAA2B;IAC3B,OAAO,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAC9B,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YACxC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,QAAQ,GAAG,KAAK,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,EAAE,CAAC;YACb,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/analysis/constant-propagation/patterns.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Taint source patterns, sanitizer methods, and propagator methods.
+ */
+export declare const TAINT_PATTERNS: string[];
+export declare const TAINT_PATTERN_REGEX: RegExp;
+export declare const SANITIZER_METHODS: Set<string>;
+export declare const ANTI_SANITIZER_METHODS: Set<string>;
+export declare const PROPAGATOR_METHODS: Set<string>;