@optave/codegraph 3.13.0 → 3.15.0

package/dist/ast-analysis/rules/b4.js

@@ -0,0 +1,361 @@
+import { makeDataflowRules } from '../shared.js';
+// ─── Haskell ──────────────────────────────────────────────────────────────────
+//
+// Haskell `function` node: name via `childForFieldName('name')` (confirmed in extractor line 62).
+// Params: `patterns` or `parameter` children of the function node (extractor line 81).
+// No explicit return keyword — last expression is the return value. returnNode: null.
+// apply: `childForFieldName('function')` for the called function (extractor line 264).
+// No standard variable declarations or member access in the conventional sense.
+function extractHaskellParamName(node) {
+    if (node.type === 'variable' || node.type === 'identifier')
+        return [node.text];
+    if (node.type === 'wildcard')
+        return ['_'];
+    // For pattern nodes, collect all variable bindings
+    if (node.type === 'patterns' || node.type === 'parameter') {
+        const names = [];
+        for (let i = 0; i < node.childCount; i++) {
+            const child = node.child(i);
+            if (!child)
+                continue;
+            if (child.type === 'variable' || child.type === 'identifier')
+                names.push(child.text);
+        }
+        return names.length > 0 ? names : null;
+    }
+    return null;
+}
+function getHaskellParamListNode(funcNode) {
+    // Haskell params are positional children; find the `patterns` child if present
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (child?.type === 'patterns')
+            return child;
+    }
+    return null;
+}
+export const dataflowHaskell = makeDataflowRules({
+    functionNodes: new Set(['function']),
+    nameField: 'name',
+    getParamListNode: getHaskellParamListNode,
+    paramWrapperTypes: new Set(['variable', 'identifier', 'wildcard', 'parameter']),
+    extractParamName: extractHaskellParamName,
+    returnNode: null, // Haskell: no explicit return; last expression is the result
+    callNode: 'apply',
+    callFunctionField: 'function',
+    // `apply` args don't have a single named 'arguments' field in tree-sitter-haskell.
+});
+// ─── OCaml ────────────────────────────────────────────────────────────────────
+//
+// OCaml functions are `value_definition` → `let_binding` nodes with parameter children.
+// The extractor handles both `value_definition` (top-level) and standalone `let_binding`.
+// Params: `parameter` or `value_pattern` children of let_binding (extractor line 139).
+// No explicit return keyword — last expression is the result. returnNode: null.
+// application_expression: first child is function node (extractor line 314).
+// field_get_expression: `childForFieldName('field')` (extractor line 327).
+// Variable declarations: `let_binding` with no params (extractor line 103-110).
+function extractOCamlParamName(node) {
+    if (node.type === 'value_name' || node.type === 'identifier')
+        return [node.text];
+    if (node.type === 'parameter' || node.type === 'value_pattern') {
+        // Pattern may be value_name or identifier
+        if (node.namedChildCount === 0)
+            return [node.text];
+        for (const child of node.namedChildren) {
+            if (child.type === 'value_name' || child.type === 'identifier')
+                return [child.text];
+        }
+    }
+    return null;
+}
+function getOCamlParamListNode(funcNode) {
+    // For value_definition, params are inside let_binding children
+    if (funcNode.type === 'value_definition') {
+        for (let i = 0; i < funcNode.childCount; i++) {
+            const child = funcNode.child(i);
+            if (child?.type === 'let_binding')
+                return child;
+        }
+    }
+    // For let_binding directly — return it as the "param list" (walker will iterate its children)
+    if (funcNode.type === 'let_binding')
+        return funcNode;
+    return null;
+}
+export const dataflowOCaml = makeDataflowRules({
+    functionNodes: new Set(['value_definition', 'let_binding']),
+    nameField: 'pattern',
+    getParamListNode: getOCamlParamListNode,
+    paramWrapperTypes: new Set(['parameter', 'value_pattern']),
+    extractParamName: extractOCamlParamName,
+    returnNode: null, // OCaml: no explicit return; last expression is the result
+    callNode: 'application_expression',
+    // application_expression: first child is function (no named 'function' field in tree-sitter-ocaml).
+    // Leave callFunctionField at default — will return null gracefully.
+    memberNode: 'field_get_expression',
+    memberPropertyField: 'field',
+    // field_get_expression object is first child, not a named field. Leave memberObjectField at default.
+});
+// ─── F# ───────────────────────────────────────────────────────────────────────
+//
+// F# functions: `function_declaration_left` is the LHS of a `let` binding (confirmed extractor).
+// The name is a direct `identifier` child of `function_declaration_left` (extractor line 127).
+// Params: `argument_patterns` child of `function_declaration_left` (extractor line 150).
+// No explicit return keyword in F#. returnNode: null.
+// application_expression: first child is function (extractor line 265).
+// dot_expression: member access (extractor line 276).
+function extractFSharpParamName(node) {
+    if (node.type === 'identifier')
+        return [node.text];
+    // Collect all identifier descendants for pattern-destructured params
+    const names = [];
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (child?.type === 'identifier')
+            names.push(child.text);
+    }
+    return names.length > 0 ? names : null;
+}
+function getFSharpParamListNode(funcNode) {
+    // function_declaration_left contains argument_patterns as a child
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (child?.type === 'argument_patterns')
+            return child;
+    }
+    return null;
+}
+export const dataflowFSharp = makeDataflowRules({
+    functionNodes: new Set(['function_declaration_left']),
+    nameField: 'name',
+    getParamListNode: getFSharpParamListNode,
+    paramWrapperTypes: new Set(['identifier']),
+    extractParamName: extractFSharpParamName,
+    returnNode: null, // F#: no explicit return; last expression is the result
+    callNode: 'application_expression',
+    // application_expression: first child is function (no named 'function' field).
+    memberNode: 'dot_expression',
+    // dot_expression field names are not standard; leave memberObjectField/memberPropertyField at defaults.
+});
+// ─── Gleam ────────────────────────────────────────────────────────────────────
+//
+// Gleam `function` and `external_function`: name via `childForFieldName('name')` (extractor line 70).
+// Params: `childForFieldName('parameters')` or findChild('function_parameters') (extractor line 221).
+// Each param is `function_parameter` or `parameter` with `childForFieldName('name')` (extractor line 228).
+// No explicit return keyword in Gleam. returnNode: null.
+// function_call/call: `childForFieldName('function')` (extractor line 202).
+// field_access/module_select: `childForFieldName('field')` / `childForFieldName('label')` (extractor line 207).
+function extractGleamParamName(node) {
+    if (node.type === 'function_parameter' || node.type === 'parameter') {
+        const nameNode = node.childForFieldName('name');
+        if (nameNode)
+            return [nameNode.text];
+        for (const child of node.namedChildren) {
+            if (child.type === 'identifier')
+                return [child.text];
+        }
+    }
+    if (node.type === 'identifier')
+        return [node.text];
+    return null;
+}
+export const dataflowGleam = makeDataflowRules({
+    functionNodes: new Set(['function', 'external_function']),
+    nameField: 'name',
+    paramListField: 'parameters',
+    paramWrapperTypes: new Set(['function_parameter', 'parameter']),
+    extractParamName: extractGleamParamName,
+    returnNode: null, // Gleam: no explicit return; last expression is the result
+    callNodes: new Set(['function_call', 'call']),
+    callFunctionField: 'function',
+    memberNode: 'field_access',
+    memberObjectField: 'record',
+    memberPropertyField: 'field',
+});
+// ─── Elixir ───────────────────────────────────────────────────────────────────
+//
+// Elixir functions are `call` nodes where target is `def`/`defp` (confirmed extractor).
+// The extractor emits the function definition from `handleDefFunction` which walks
+// `call` nodes. The actual function body lives inside a `do_block`.
+// Params: inside `call` → `arguments` → inner `call` → `arguments` (extractor line 181-196).
+// No explicit return keyword in Elixir. returnNode: null.
+// Regular call: `call` nodes with `target` identifier (extractor handleElixirCall).
+// Dot call: `call` with `dot` target (extractor handleDotCall).
+//
+// For dataflow purposes: the function scope is a `call` node with `def`/`defp` target.
+// This requires a custom nameExtractor to identify which calls are function definitions.
+// The simplified approach: mark `call` as a function node but filter by target in nameExtractor.
+function extractElixirFunctionName(node) {
+    if (node.type !== 'call')
+        return null;
+    const target = node.childForFieldName('target');
+    if (target?.type !== 'identifier')
+        return null;
+    if (target.text !== 'def' && target.text !== 'defp')
+        return null;
+    // Extract the function name from arguments → first call → target identifier
+    const args = node.childForFieldName('arguments') ??
+        (() => {
+            for (let i = 0; i < node.childCount; i++) {
+                const child = node.child(i);
+                if (child?.type === 'arguments')
+                    return child;
+            }
+            return null;
+        })();
+    if (!args)
+        return null;
+    for (let i = 0; i < args.childCount; i++) {
+        const child = args.child(i);
+        if (!child)
+            continue;
+        if (child.type === 'call') {
+            const fnTarget = child.childForFieldName('target');
+            if (fnTarget?.type === 'identifier')
+                return fnTarget.text;
+        }
+        if (child.type === 'identifier')
+            return child.text;
+    }
+    return null;
+}
+export const dataflowElixir = makeDataflowRules({
+    functionNodes: new Set(['call']),
+    nameField: 'target',
+    nameExtractor: extractElixirFunctionName,
+    // Param list extraction is complex for Elixir (nested calls inside arguments).
+    // Leave at defaults — param list discovery will gracefully return null.
+    returnNode: null, // Elixir: no explicit return; last expression is the result
+    callNode: 'call',
+    // Elixir call nodes use 'target' for the function name, not 'function'.
+    // Leave callFunctionField at default 'function' — will return null gracefully.
+    // The primary value here is function scope marking.
+});
+// ─── Erlang ───────────────────────────────────────────────────────────────────
+//
+// Erlang `fun_decl` contains `function_clause` children.
+// The extractor handles `fun_decl` by extracting from the first `function_clause`.
+// function_clause: name via `childForFieldName('name')` or `findChild(node, 'atom')` (extractor line 151).
+// Params: `childForFieldName('args')` or findChild('expr_args') (extractor line 179).
+// Each arg in expr_args is a named child (pattern). arity preserved by param count.
+// No explicit return keyword in Erlang. returnNode: null.
+// call: first named child is function (extractor line 272).
+function extractErlangParamName(node) {
+    // Erlang params are pattern nodes; var/atom get their text as name
+    if (node.type === 'var' || node.type === 'atom')
+        return [node.text];
+    // For complex patterns, use a placeholder
+    return [`_${node.startPosition.row}`];
+}
+function getErlangParamListNode(funcNode) {
+    // fun_decl: find first function_clause, then its expr_args
+    if (funcNode.type === 'fun_decl') {
+        for (let i = 0; i < funcNode.childCount; i++) {
+            const child = funcNode.child(i);
+            if (child?.type === 'function_clause') {
+                const args = child.childForFieldName('args');
+                if (args)
+                    return args;
+                for (let j = 0; j < child.childCount; j++) {
+                    const argChild = child.child(j);
+                    if (argChild?.type === 'expr_args')
+                        return argChild;
+                }
+            }
+        }
+    }
+    // function_clause directly: find expr_args
+    if (funcNode.type === 'function_clause') {
+        const args = funcNode.childForFieldName('args');
+        if (args)
+            return args;
+        for (let i = 0; i < funcNode.childCount; i++) {
+            const child = funcNode.child(i);
+            if (child?.type === 'expr_args')
+                return child;
+        }
+    }
+    return null;
+}
+export const dataflowErlang = makeDataflowRules({
+    functionNodes: new Set(['fun_decl', 'function_clause']),
+    nameField: 'name',
+    getParamListNode: getErlangParamListNode,
+    extractParamName: extractErlangParamName,
+    returnNode: null, // Erlang: no explicit return; last expression is the result
+    callNode: 'call',
+    // Erlang call: first named child is function (atom or remote). No named 'function' field.
+});
+// ─── Clojure ──────────────────────────────────────────────────────────────────
+//
+// Clojure functions are `list_lit` nodes where first symbol is `defn`/`defn-`/`defmacro`.
+// The extractor uses `findFirstSymbol` / `findSecondSymbol` helpers.
+// The function name is the second symbol in the list.
+// Params: first `vec_lit` child after the name (extractor extractClojureParams line 222).
+// No explicit return keyword in Clojure. returnNode: null.
+// Regular calls: `list_lit` nodes where first symbol is not a def form (extractor default case).
+//
+// nameExtractor must distinguish function-defining lists from call lists.
+function extractClojureFunctionName(node) {
+    if (node.type !== 'list_lit')
+        return null;
+    // Find first symbol — skip delimiters and metadata
+    let firstSym = null;
+    let secondSym = null;
+    let count = 0;
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (!child)
+            continue;
+        if ('()[]{}#'.includes(child.type) || child.type === 'meta_lit')
+            continue;
+        if (child.type === 'sym_lit' || child.type === 'kwd_lit') {
+            count++;
+            if (count === 1)
+                firstSym = child;
+            else if (count === 2) {
+                secondSym = child;
+                break;
+            }
+        }
+    }
+    if (!firstSym)
+        return null;
+    const keyword = firstSym.text;
+    if (keyword !== 'defn' &&
+        keyword !== 'defn-' &&
+        keyword !== 'defmacro' &&
+        keyword !== 'defmethod')
+        return null;
+    return secondSym ? secondSym.text : null;
+}
+function getClojureParamListNode(funcNode) {
+    if (funcNode.type !== 'list_lit')
+        return null;
+    // Find the first vec_lit child (the parameter vector)
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (child?.type === 'vec_lit')
+            return child;
+    }
+    return null;
+}
+function extractClojureParamName(node) {
+    if (node.type === 'sym_lit')
+        return [node.text];
+    return null;
+}
+export const dataflowClojure = makeDataflowRules({
+    functionNodes: new Set(['list_lit']),
+    nameField: 'name',
+    nameExtractor: extractClojureFunctionName,
+    getParamListNode: getClojureParamListNode,
+    paramWrapperTypes: new Set(['sym_lit']),
+    extractParamName: extractClojureParamName,
+    returnNode: null, // Clojure: no explicit return; last expression is the result
+    callNode: 'list_lit',
+    // Clojure calls are also list_lit nodes — first sym is the function name.
+    // The dataflow visitor will see these as calls (not function defs) since
+    // nameExtractor returns null for non-def forms.
+});
+//# sourceMappingURL=b4.js.map

package/dist/ast-analysis/rules/b4.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"b4.js","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b4.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,iFAAiF;AACjF,EAAE;AACF,kGAAkG;AAClG,uFAAuF;AACvF,sFAAsF;AACtF,uFAAuF;AACvF,gFAAgF;AAEhF,SAAS,uBAAuB,CAAC,IAAoB;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3C,mDAAmD;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAwB;IACvD,+EAA+E;IAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU;YAAE,OAAO,KAAK,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAwB,iBAAiB,CAAC;IACpE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACpC,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,uBAAuB;IACzC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC/E,gBAAgB,EAAE,uBAAuB;IAEzC,UAAU,EAAE,IAAI,EAAE,6DAA6D;IAE/E,QAAQ,EAAE,OAAO;IACjB,iBAAiB,EAAE,UAAU;IAC7B,mFAAmF;CACpF,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,wFAAwF;AACxF,0FAA0F;AAC1F,uFAAuF;AACvF,gFAAgF;AAChF,6EAA6E;AAC7E,2EAA2E;AAC3E,gFAAgF;AAEhF,SAAS,qBAAqB,CAAC,IAAoB;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,0CAA0C;QAC1C,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAwB;IACrD,+DAA+D;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,EAAE,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC;QAClD,CAAC;IACH,CAAC;IACD,8FAA8F;IAC9F,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,QAAQ,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAwB,iBAAiB,CAAC;IAClE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,CAAC;IAC3D,SAAS,EAAE,SAAS;IAEpB,gBAAgB,EAAE,qBAAqB;IACvC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAC1D,gBAAgB,EAAE,qBAAqB;IAEvC,UAAU,EAAE,IAAI,EAAE,2DAA2D;IAE7E,QAAQ,EAAE,wBAAwB;IAClC,oGAAoG;IACpG,oEAAoE;IAEpE,UAAU,EAAE,sBAAsB;IAClC,mBAAmB,EAAE,OAAO;IAC5B,qGAAqG;CACtG,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,iGAAiG;AACjG,+FAA+F;AAC/F,yFAAyF;AACzF,sDAAsD;AACtD,wEAAwE;AACxE,sDAAsD;AAEtD,SAAS,sBAAsB,CAAC,IAAoB;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,qEAAqE;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAwB;IACtD,kEAAkE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,IAAI,KAAK,mBAAmB;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAwB,iBAAiB,CAAC;IACnE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,2BAA2B,CAAC,CAAC;IACrD,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,sBAAsB;IACxC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1C,gBAAgB,EAAE,sBAAsB;IAExC,UAAU,EAAE,IAAI,EAAE,wDAAwD;IAE1E,QAAQ,EAAE,wBAAwB;IAClC,+EAA+E;IAE/E,UAAU,EAAE,gBAAgB;IAC5B,wGAAwG;CACzG,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,sGAAsG;AACtG,sGAAsG;AACtG,2GAA2G;AAC3G,yDAAyD;AACzD,4EAA4E;AAC5E,gHAAgH;AAEhH,SAAS,qBAAqB,CAAC,IAAoB;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAwB,iBAAiB,CAAC;IAClE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACzD,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;IAC/D,gBAAgB,EAAE,qBAAqB;IAEvC,UAAU,EAAE,IAAI,EAAE,2DAA2D;IAE7E,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAC7C,iBAAiB,EAAE,UAAU;IAE7B,UAAU,EAAE,cAAc;IAC1B,iBAAiB,EAAE,QAAQ;IAC3B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,wFAAwF;AACxF,mFAAmF;AACnF,oEAAoE;AACpE,6FAA6F;AAC7F,0DAA0D;AAC1D,oFAAoF;AACpF,gEAAgE;AAChE,EAAE;AACF,uFAAuF;AACvF,yFAAyF;AACzF,iGAAiG;AAEjG,SAAS,yBAAyB,CAAC,IAAoB;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,MAAM,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjE,4EAA4E;IAC5E,MAAM,IAAI,GACR,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC;QACnC,CAAC,GAAG,EAAE;YACJ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,KAAK,EAAE,IAAI,KAAK,WAAW;oBAAE,OAAO,KAAK,CAAC;YAChD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EAAE,CAAC;IACP,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY;gBAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;QAC5D,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACrD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAwB,iBAAiB,CAAC;IACnE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAChC,SAAS,EAAE,QAAQ;IACnB,aAAa,EAAE,yBAAyB;IAExC,+EAA+E;IAC/E,wEAAwE;IAExE,UAAU,EAAE,IAAI,EAAE,4DAA4D;IAE9E,QAAQ,EAAE,MAAM;IAChB,wEAAwE;IACxE,+EAA+E;IAC/E,oDAAoD;CACrD,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,yDAAyD;AACzD,mFAAmF;AACnF,2GAA2G;AAC3G,sFAAsF;AACtF,oFAAoF;AACpF,0DAA0D;AAC1D,4DAA4D;AAE5D,SAAS,sBAAsB,CAAC,IAAoB;IAClD,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,0CAA0C;IAC1C,OAAO,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAwB;IACtD,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC7C,IAAI,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChC,IAAI,QAAQ,EAAE,IAAI,KAAK,WAAW;wBAAE,OAAO,QAAQ,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,2CAA2C;IAC3C,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,EAAE,IAAI,KAAK,WAAW;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAwB,iBAAiB,CAAC;IACnE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACvD,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,sBAAsB;IACxC,gBAAgB,EAAE,sBAAsB;IAExC,UAAU,EAAE,IAAI,EAAE,4DAA4D;IAE9E,QAAQ,EAAE,MAAM;IAChB,0FAA0F;CAC3F,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,0FAA0F;AAC1F,qEAAqE;AACrE,sDAAsD;AACtD,0FAA0F;AAC1F,2DAA2D;AAC3D,iGAAiG;AACjG,EAAE;AACF,0EAA0E;AAE1E,SAAS,0BAA0B,CAAC,IAAoB;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC1C,mDAAmD;IACnD,IAAI,QAAQ,GAA0B,IAAI,CAAC;IAC3C,IAAI,SAAS,GAA0B,IAAI,CAAC;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzD,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC;gBAAE,QAAQ,GAAG,KAAK,CAAC;iBAC7B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACrB,SAAS,GAAG,KAAK,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC9B,IACE,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,UAAU;QACtB,OAAO,KAAK,WAAW;QAEvB,OAAO,IAAI,CAAC;IACd,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAwB;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC9C,sDAAsD;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAoB;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAwB,iBAAiB,CAAC;IACpE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACpC,SAAS,EAAE,MAAM;IACjB,aAAa,EAAE,0BAA0B;IAEzC,gBAAgB,EAAE,uBAAuB;IACzC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACvC,gBAAgB,EAAE,uBAAuB;IAEzC,UAAU,EAAE,IAAI,EAAE,6DAA6D;IAE/E,QAAQ,EAAE,UAAU;IACpB,0EAA0E;IAC1E,yEAAyE;IACzE,gDAAgD;CACjD,CAAC,CAAC"}

package/dist/ast-analysis/rules/b5.d.ts

@@ -0,0 +1,4 @@
+import type { DataflowRulesConfig } from '../../types.js';
+export declare const dataflowZig: DataflowRulesConfig;
+export declare const dataflowSolidity: DataflowRulesConfig;
+//# sourceMappingURL=b5.d.ts.map

package/dist/ast-analysis/rules/b5.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"b5.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b5.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAc1D,eAAO,MAAM,WAAW,EAAE,mBAqBxB,CAAC;AAYH,eAAO,MAAM,gBAAgB,EAAE,mBAiB7B,CAAC"}

package/dist/ast-analysis/rules/b5.js

@@ -0,0 +1,52 @@
+import { makeDataflowRules } from '../shared.js';
+// ─── Zig ──────────────────────────────────────────────────────────────────────
+//
+// Zig function_declaration: name via `childForFieldName('name')` (confirmed in extractor line 68).
+// Parameters: `childForFieldName('parameters')` (confirmed in extractor extractZigParams line 84).
+// Each parameter is a `parameter` node; identifier child is the name (extractor line 89-90).
+// return_statement: Zig has explicit return (confirmed in extractor + language spec).
+// variable_declaration: name is first `identifier` child (extractor handleZigVariable line 99).
+// call_expression: `childForFieldName('function')` (confirmed in extractor handleZigCallExpression line 209).
+// field_expression/field_access: `childForFieldName('field')` or `childForFieldName('member')` (extractor line 215).
+// member object: `childForFieldName('value')` or `funcNode.child(0)` (extractor line 216).
+export const dataflowZig = makeDataflowRules({
+    functionNodes: new Set(['function_declaration']),
+    nameField: 'name',
+    paramListField: 'parameters',
+    paramWrapperTypes: new Set(['parameter']),
+    // Zig parameter: identifier child for the name (extractZigParams uses findChild(param, 'identifier'))
+    paramIdentifier: 'identifier',
+    returnNode: 'return_statement',
+    varDeclaratorNode: 'variable_declaration',
+    varNameField: 'name',
+    callNode: 'call_expression',
+    callFunctionField: 'function',
+    callArgsField: 'arguments',
+    memberNode: 'field_expression',
+    memberObjectField: 'value',
+    memberPropertyField: 'field',
+});
+// ─── Solidity ─────────────────────────────────────────────────────────────────
+//
+// Solidity function_definition: name via `childForFieldName('name')` (confirmed in extractor line 232).
+// Parameters: `childForFieldName('parameters')` or findChild('parameter_list') (extractor line 355-357).
+// Each parameter is a `parameter` node (extractor uses extractSimpleParameters with paramTypes: ['parameter']).
+// return_statement: Solidity has explicit return.
+// call_expression / function_call: both confirmed in extractor walkSolidityNode line 71-72.
+// call_expression handler: `childForFieldName('function')` or `childForFieldName('callee')` (extractor line 336).
+// member_expression: `childForFieldName('property')` (extractor line 342), `childForFieldName('object')` (line 343).
+export const dataflowSolidity = makeDataflowRules({
+    functionNodes: new Set(['function_definition', 'modifier_definition']),
+    nameField: 'name',
+    paramListField: 'parameters',
+    paramWrapperTypes: new Set(['parameter']),
+    paramIdentifier: 'identifier',
+    returnNode: 'return_statement',
+    callNodes: new Set(['call_expression', 'function_call']),
+    callFunctionField: 'function',
+    callArgsField: 'arguments',
+    memberNode: 'member_expression',
+    memberObjectField: 'object',
+    memberPropertyField: 'property',
+});
+//# sourceMappingURL=b5.js.map

package/dist/ast-analysis/rules/b5.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"b5.js","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b5.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,iFAAiF;AACjF,EAAE;AACF,mGAAmG;AACnG,mGAAmG;AACnG,6FAA6F;AAC7F,sFAAsF;AACtF,gGAAgG;AAChG,8GAA8G;AAC9G,qHAAqH;AACrH,2FAA2F;AAE3F,MAAM,CAAC,MAAM,WAAW,GAAwB,iBAAiB,CAAC;IAChE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,sGAAsG;IACtG,eAAe,EAAE,YAAY;IAE7B,UAAU,EAAE,kBAAkB;IAE9B,iBAAiB,EAAE,sBAAsB;IACzC,YAAY,EAAE,MAAM;IAEpB,QAAQ,EAAE,iBAAiB;IAC3B,iBAAiB,EAAE,UAAU;IAC7B,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,kBAAkB;IAC9B,iBAAiB,EAAE,OAAO;IAC1B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,wGAAwG;AACxG,yGAAyG;AACzG,gHAAgH;AAChH,kDAAkD;AAClD,4FAA4F;AAC5F,kHAAkH;AAClH,qHAAqH;AAErH,MAAM,CAAC,MAAM,gBAAgB,GAAwB,iBAAiB,CAAC;IACrE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,CAAC;IACtE,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,eAAe,EAAE,YAAY;IAE7B,UAAU,EAAE,kBAAkB;IAE9B,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,eAAe,CAAC,CAAC;IACxD,iBAAiB,EAAE,UAAU;IAC7B,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,mBAAmB;IAC/B,iBAAiB,EAAE,QAAQ;IAC3B,mBAAmB,EAAE,UAAU;CAChC,CAAC,CAAC"}

package/dist/ast-analysis/rules/c.d.ts

@@ -0,0 +1,4 @@
+import type { DataflowRulesConfig } from '../../types.js';
+export declare const dataflow: DataflowRulesConfig;
+export declare const dataflowCpp: DataflowRulesConfig;
+//# sourceMappingURL=c.d.ts.map

package/dist/ast-analysis/rules/c.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"c.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/c.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,gBAAgB,CAAC;AAkG1E,eAAO,MAAM,QAAQ,EAAE,mBA+BrB,CAAC;AAGH,eAAO,MAAM,WAAW,EAAE,mBAwBxB,CAAC"}

package/dist/ast-analysis/rules/c.js

@@ -0,0 +1,143 @@
+import { makeDataflowRules } from '../shared.js';
+// ─── C/C++ function-name extraction ──────────────────────────────────────────
+//
+// C/C++ function_definition nests the name inside declarators:
+//   function_definition
+//     declarator: function_declarator
+//       declarator: identifier | pointer_declarator | qualified_identifier | ...
+//       parameters: parameter_list
+//
+// We unwrap through common decorator wrappers to reach the bare identifier.
+const DECLARATOR_WRAPPERS = new Set([
+    'pointer_declarator',
+    'reference_declarator',
+    'array_declarator',
+    'parenthesized_declarator',
+    'abstract_function_declarator',
+]);
+function unwrapDeclarator(node) {
+    let cur = node;
+    while (cur && DECLARATOR_WRAPPERS.has(cur.type)) {
+        cur = cur.childForFieldName('declarator');
+    }
+    return cur;
+}
+function extractCFunctionName(node) {
+    const decl = node.childForFieldName('declarator');
+    if (!decl)
+        return null;
+    // For pointer/reference-returning functions (int *foo(), T &bar()), the direct
+    // child is a pointer_declarator or similar wrapper — unwrap one level first.
+    const unwrapped = DECLARATOR_WRAPPERS.has(decl.type)
+        ? decl.childForFieldName('declarator')
+        : decl;
+    const funcDecl = unwrapped?.type === 'function_declarator' ? unwrapped : null;
+    if (!funcDecl)
+        return null;
+    const inner = funcDecl.childForFieldName('declarator');
+    const nameNode = unwrapDeclarator(inner);
+    if (!nameNode)
+        return null;
+    // qualified_identifier (C++ method): extract the unqualified_identifier
+    if (nameNode.type === 'qualified_identifier') {
+        const unqual = nameNode.childForFieldName('name') ??
+            nameNode.namedChildren[nameNode.namedChildren.length - 1] ??
+            null;
+        return unqual?.text ?? null;
+    }
+    return nameNode.type === 'identifier' || nameNode.type === 'field_identifier'
+        ? nameNode.text
+        : null;
+}
+// Traverse through pointer/reference/array wrappers to reach function_declarator.
+function findFuncDeclarator(node) {
+    if (!node)
+        return null;
+    if (node.type === 'function_declarator')
+        return node;
+    if (DECLARATOR_WRAPPERS.has(node.type)) {
+        return findFuncDeclarator(node.childForFieldName('declarator'));
+    }
+    return null;
+}
+// Navigate function_definition → (optional wrapper) → function_declarator → parameters.
+// Needed because C/C++ params are on function_declarator, not directly on function_definition.
+function getCParamListNode(funcNode) {
+    const decl = funcNode.childForFieldName('declarator');
+    return findFuncDeclarator(decl)?.childForFieldName('parameters') ?? null;
+}
+function extractCParamName(node) {
+    if (node.type !== 'parameter_declaration')
+        return null;
+    const decl = node.childForFieldName('declarator');
+    if (!decl)
+        return null;
+    // Reference declarator (T& name, T&& name): tree-sitter-cpp uses no named
+    // 'declarator' field inside reference_declarator, so unwrapDeclarator would
+    // return null. Handle it first by taking the last named child.
+    if (decl.type === 'reference_declarator') {
+        const inner = decl.namedChild(decl.namedChildCount - 1);
+        if (inner?.type === 'identifier')
+            return [inner.text];
+        return null;
+    }
+    const nameNode = unwrapDeclarator(decl);
+    if (!nameNode)
+        return null;
+    if (nameNode.type === 'identifier')
+        return [nameNode.text];
+    return null;
+}
+// ─── C Dataflow rules ─────────────────────────────────────────────────────────
+export const dataflow = makeDataflowRules({
+    functionNodes: new Set(['function_definition']),
+    nameField: 'declarator',
+    nameExtractor: extractCFunctionName,
+    paramListField: 'parameters',
+    getParamListNode: getCParamListNode,
+    paramIdentifier: 'identifier',
+    paramWrapperTypes: new Set(['parameter_declaration']),
+    extractParamName: extractCParamName,
+    returnNode: 'return_statement',
+    varDeclaratorNode: 'init_declarator',
+    varNameField: 'declarator',
+    varValueField: 'value',
+    assignmentNode: 'assignment_expression',
+    assignLeftField: 'left',
+    assignRightField: 'right',
+    callNode: 'call_expression',
+    callFunctionField: 'function',
+    callArgsField: 'arguments',
+    memberNode: 'field_expression',
+    memberObjectField: 'argument',
+    memberPropertyField: 'field',
+    expressionStmtNode: 'expression_statement',
+    mutatingMethods: new Set(),
+});
+// C++ extends C with additional function node types
+export const dataflowCpp = makeDataflowRules({
+    ...dataflow,
+    functionNodes: new Set([
+        'function_definition',
+        // function_declaration is a forward declaration (no body) in tree-sitter-cpp;
+        // including it creates spurious param vertices from prototypes and can overwrite
+        // correct dataflow_summary rows with flows_to_return=0 when the declaration is
+        // processed after the definition.
+    ]),
+    // C++ call expressions can use :: scope resolution
+    mutatingMethods: new Set([
+        'push_back',
+        'push_front',
+        'insert',
+        'erase',
+        'clear',
+        'resize',
+        'reserve',
+        'emplace',
+        'emplace_back',
+        'emplace_front',
+        'append',
+        'assign',
+    ]),
+});
+//# sourceMappingURL=c.js.map

package/dist/ast-analysis/rules/c.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"c.js","sourceRoot":"","sources":["../../../src/ast-analysis/rules/c.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,gFAAgF;AAChF,EAAE;AACF,+DAA+D;AAC/D,wBAAwB;AACxB,sCAAsC;AACtC,iFAAiF;AACjF,mCAAmC;AACnC,EAAE;AACF,4EAA4E;AAE5E,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,oBAAoB;IACpB,sBAAsB;IACtB,kBAAkB;IAClB,0BAA0B;IAC1B,8BAA8B;CAC/B,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,IAA2B;IACnD,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,OAAO,GAAG,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,GAAG,GAAG,GAAG,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAoB;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,SAAS,EAAE,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,wEAAwE;IACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC7C,MAAM,MAAM,GACV,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAClC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YACzD,IAAI,CAAC;QACP,OAAO,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC;IAC9B,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB;QAC3E,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,kFAAkF;AAClF,SAAS,kBAAkB,CAAC,IAA2B;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wFAAwF;AACxF,+FAA+F;AAC/F,SAAS,iBAAiB,CAAC,QAAwB;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,kBAAkB,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC;AAC3E,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAoB;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,0EAA0E;IAC1E,4EAA4E;IAC5E,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AAEjF,MAAM,CAAC,MAAM,QAAQ,GAAwB,iBAAiB,CAAC;IAC7D,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/C,SAAS,EAAE,YAAY;IACvB,aAAa,EAAE,oBAAoB;IAEnC,cAAc,EAAE,YAAY;IAC5B,gBAAgB,EAAE,iBAAiB;IACnC,eAAe,EAAE,YAAY;IAC7B,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC;IACrD,gBAAgB,EAAE,iBAAiB;IAEnC,UAAU,EAAE,kBAAkB;IAE9B,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE,OAAO;IAEtB,cAAc,EAAE,uBAAuB;IACvC,eAAe,EAAE,MAAM;IACvB,gBAAgB,EAAE,OAAO;IAEzB,QAAQ,EAAE,iBAAiB;IAC3B,iBAAiB,EAAE,UAAU;IAC7B,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,kBAAkB;IAC9B,iBAAiB,EAAE,UAAU;IAC7B,mBAAmB,EAAE,OAAO;IAE5B,kBAAkB,EAAE,sBAAsB;IAC1C,eAAe,EAAE,IAAI,GAAG,EAAE;CAC3B,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,CAAC,MAAM,WAAW,GAAwB,iBAAiB,CAAC;IAChE,GAAG,QAAQ;IACX,aAAa,EAAE,IAAI,GAAG,CAAC;QACrB,qBAAqB;QACrB,8EAA8E;QAC9E,iFAAiF;QACjF,+EAA+E;QAC/E,kCAAkC;KACnC,CAAC;IACF,mDAAmD;IACnD,eAAe,EAAE,IAAI,GAAG,CAAC;QACvB,WAAW;QACX,YAAY;QACZ,QAAQ;QACR,OAAO;QACP,OAAO;QACP,QAAQ;QACR,SAAS;QACT,SAAS;QACT,cAAc;QACd,eAAe;QACf,QAAQ;QACR,QAAQ;KACT,CAAC;CACH,CAAC,CAAC"}

package/dist/ast-analysis/rules/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,aAAa,EACd,MAAM,gBAAgB,CAAC;AAYxB,eAAO,MAAM,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAWxD,CAAC;AAIH,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAWpD,CAAC;AAIH,eAAO,MAAM,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAWhD,CAAC;AAIH,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAW1D,CAAC;AAwIH,eAAO,MAAM,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAmC5D,CAAC;AASH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;CACxB;AAkCD,eAAO,MAAM,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAmC1D,CAAC;AAeH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAKvE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,aAAa,EACd,MAAM,gBAAgB,CAAC;AAiBxB,eAAO,MAAM,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAWxD,CAAC;AAIH,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAWpD,CAAC;AAIH,eAAO,MAAM,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAWhD,CAAC;AAIH,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAwC1D,CAAC;AAwIH,eAAO,MAAM,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAmC5D,CAAC;AASH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;CACxB;AAkCD,eAAO,MAAM,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAmC1D,CAAC;AAeH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAKvE"}