@grafema/core 0.1.0-alpha.5 → 0.2.0-beta

package/dist/plugins/enrichment/NodejsBuiltinsResolver.js

@@ -0,0 +1,271 @@
+/**
+ * NodejsBuiltinsResolver - Creates EXTERNAL_FUNCTION nodes for Node.js builtin calls (REG-218)
+ *
+ * This ENRICHMENT plugin:
+ * 1. Queries all CALL nodes
+ * 2. For each call that targets a builtin function:
+ *    - Checks if call's `object` matches a builtin module (fs, path, etc.)
+ *    - Or traces via IMPORT node to find the module source
+ * 3. Creates EXTERNAL_FUNCTION node lazily (if not exists)
+ * 4. Creates CALLS edge from CALL to EXTERNAL_FUNCTION
+ *
+ * Architecture:
+ * - Nodes are created lazily - only when a call is detected
+ * - ID format: EXTERNAL_FUNCTION:fs.readFile
+ * - Metadata includes: isBuiltin:true, security?, pure?
+ *
+ * Also creates:
+ * - EXTERNAL_MODULE nodes for imported builtin modules
+ * - IMPORTS_FROM edges from IMPORT to EXTERNAL_MODULE
+ */
+import { Plugin, createSuccessResult } from '../Plugin.js';
+import { BuiltinRegistry } from '../../data/builtins/BuiltinRegistry.js';
+export class NodejsBuiltinsResolver extends Plugin {
+    registry;
+    constructor(config = {}) {
+        super(config);
+        this.registry = new BuiltinRegistry();
+    }
+    get metadata() {
+        return {
+            name: 'NodejsBuiltinsResolver',
+            phase: 'ENRICHMENT',
+            priority: 45, // After ImportExportLinker (90), before/around MethodCallResolver (50)
+            creates: {
+                nodes: ['EXTERNAL_FUNCTION', 'EXTERNAL_MODULE'],
+                edges: ['CALLS', 'IMPORTS_FROM']
+            },
+            dependencies: ['JSASTAnalyzer', 'ImportExportLinker']
+        };
+    }
+    async execute(context) {
+        const { graph, onProgress } = context;
+        const logger = this.log(context);
+        logger.info('Starting Node.js builtins resolution');
+        const startTime = Date.now();
+        // Track created nodes and edges to avoid duplicates
+        const createdExternalFunctions = new Set();
+        const createdExternalModules = new Set();
+        const createdCallsEdges = new Set();
+        const createdImportsFromEdges = new Set();
+        // Build import index: local name -> {source, imported}
+        // For tracking what module each imported function comes from
+        const importIndex = await this.buildImportIndex(graph);
+        logger.debug('Built import index', { entries: importIndex.size });
+        // Step 1: Create EXTERNAL_MODULE nodes for builtin imports
+        // and IMPORTS_FROM edges
+        let externalModulesCreated = 0;
+        let importsFromEdgesCreated = 0;
+        for (const [, importInfo] of importIndex) {
+            const { source, file, localName, importNodeId, importType } = importInfo;
+            const normalizedSource = this.registry.normalizeModule(source);
+            if (this.registry.isBuiltinModule(normalizedSource)) {
+                // Create EXTERNAL_MODULE node if not exists
+                if (!createdExternalModules.has(normalizedSource)) {
+                    const moduleNodeId = `EXTERNAL_MODULE:${normalizedSource}`;
+                    // Check if node already exists in graph
+                    const existingNode = await graph.getNode(moduleNodeId);
+                    if (!existingNode) {
+                        await graph.addNode({
+                            id: moduleNodeId,
+                            type: 'EXTERNAL_MODULE',
+                            name: normalizedSource,
+                            file: '',
+                            line: 0
+                        });
+                        externalModulesCreated++;
+                    }
+                    createdExternalModules.add(normalizedSource);
+                }
+                // Create IMPORTS_FROM edge from IMPORT to EXTERNAL_MODULE
+                const moduleNodeId = `EXTERNAL_MODULE:${normalizedSource}`;
+                const edgeKey = `${importNodeId}:${moduleNodeId}`;
+                if (!createdImportsFromEdges.has(edgeKey) && importNodeId) {
+                    // Check if edge already exists
+                    const existingEdges = await graph.getOutgoingEdges(importNodeId, ['IMPORTS_FROM']);
+                    const alreadyExists = existingEdges.some(e => e.dst === moduleNodeId);
+                    if (!alreadyExists) {
+                        await graph.addEdge({
+                            type: 'IMPORTS_FROM',
+                            src: importNodeId,
+                            dst: moduleNodeId
+                        });
+                        importsFromEdgesCreated++;
+                    }
+                    createdImportsFromEdges.add(edgeKey);
+                }
+            }
+        }
+        logger.debug('Created EXTERNAL_MODULE nodes', { count: externalModulesCreated });
+        logger.debug('Created IMPORTS_FROM edges', { count: importsFromEdgesCreated });
+        // Step 2: Process all CALL nodes
+        const allCalls = [];
+        for await (const node of graph.queryNodes({ nodeType: 'CALL' })) {
+            allCalls.push(node);
+        }
+        logger.info('Found CALL nodes to process', { count: allCalls.length });
+        let nodesCreated = 0;
+        let edgesCreated = 0;
+        let processed = 0;
+        for (const callNode of allCalls) {
+            processed++;
+            // Progress reporting
+            if (onProgress && processed % 100 === 0) {
+                onProgress({
+                    phase: 'enrichment',
+                    currentPlugin: 'NodejsBuiltinsResolver',
+                    message: `Processing calls ${processed}/${allCalls.length}`,
+                    totalFiles: allCalls.length,
+                    processedFiles: processed
+                });
+            }
+            // Determine module and function name
+            const resolution = this.resolveBuiltinCall(callNode, importIndex);
+            if (!resolution) {
+                continue;
+            }
+            const { moduleName, functionName } = resolution;
+            // Check if this is a known builtin function
+            const funcDef = this.registry.getFunction(moduleName, functionName);
+            if (!funcDef) {
+                continue;
+            }
+            // Create EXTERNAL_FUNCTION node if not exists
+            const externalFuncId = this.registry.createNodeId(moduleName, functionName);
+            if (!createdExternalFunctions.has(externalFuncId)) {
+                // Check if node already exists in graph
+                const existingNode = await graph.getNode(externalFuncId);
+                if (!existingNode) {
+                    await graph.addNode({
+                        id: externalFuncId,
+                        type: 'EXTERNAL_FUNCTION',
+                        name: `${this.registry.normalizeModule(moduleName)}.${functionName}`,
+                        file: '',
+                        line: 0,
+                        isBuiltin: true,
+                        ...(funcDef.security && { security: funcDef.security }),
+                        ...(funcDef.pure !== undefined && { pure: funcDef.pure })
+                    });
+                    nodesCreated++;
+                }
+                createdExternalFunctions.add(externalFuncId);
+            }
+            // Create CALLS edge from CALL to EXTERNAL_FUNCTION
+            const edgeKey = `${callNode.id}:${externalFuncId}`;
+            if (!createdCallsEdges.has(edgeKey)) {
+                // Check if CALLS edge already exists
+                const existingEdges = await graph.getOutgoingEdges(callNode.id, ['CALLS']);
+                const alreadyExists = existingEdges.some(e => e.dst === externalFuncId);
+                if (!alreadyExists) {
+                    await graph.addEdge({
+                        type: 'CALLS',
+                        src: callNode.id,
+                        dst: externalFuncId
+                    });
+                    edgesCreated++;
+                }
+                createdCallsEdges.add(edgeKey);
+            }
+        }
+        const totalTime = ((Date.now() - startTime) / 1000).toFixed(2);
+        const summary = {
+            callsProcessed: processed,
+            externalFunctionsCreated: nodesCreated,
+            externalModulesCreated,
+            callsEdgesCreated: edgesCreated,
+            importsFromEdgesCreated,
+            time: `${totalTime}s`
+        };
+        logger.info('Complete', summary);
+        return createSuccessResult({
+            nodes: nodesCreated + externalModulesCreated,
+            edges: edgesCreated + importsFromEdgesCreated
+        }, summary);
+    }
+    /**
+     * Build index of imports for tracking module sources.
+     *
+     * Maps: file:localName -> {source, imported, importNodeId, importType}
+     */
+    async buildImportIndex(graph) {
+        const index = new Map();
+        for await (const node of graph.queryNodes({ nodeType: 'IMPORT' })) {
+            const importNode = node;
+            if (!importNode.source || !importNode.file)
+                continue;
+            const localName = importNode.name;
+            const imported = importNode.imported || localName;
+            const importType = importNode.importType;
+            // Key: file:localName - for looking up what module a local name comes from
+            const key = `${importNode.file}:${localName}`;
+            index.set(key, {
+                source: importNode.source,
+                imported,
+                localName,
+                file: importNode.file,
+                importNodeId: importNode.id,
+                importType
+            });
+        }
+        return index;
+    }
+    /**
+     * Resolve a CALL node to its builtin module and function.
+     *
+     * Handles:
+     * 1. Method calls: fs.readFile() -> {module: 'fs', function: 'readFile'}
+     * 2. Direct calls from imports: readFile() -> trace to import source
+     * 3. Aliased imports: rf() where rf = readFile from 'fs'
+     */
+    resolveBuiltinCall(callNode, importIndex) {
+        const file = callNode.file;
+        if (!file)
+            return null;
+        // Case 1: Method call - obj.method()
+        if (callNode.object && callNode.method) {
+            const objectName = callNode.object;
+            const methodName = callNode.method;
+            // Check if objectName is a namespace import (import * as fs from 'fs')
+            const importKey = `${file}:${objectName}`;
+            const importInfo = importIndex.get(importKey);
+            if (importInfo) {
+                // Object is an imported namespace or module
+                const normalizedSource = this.registry.normalizeModule(importInfo.source);
+                if (this.registry.isBuiltinModule(normalizedSource)) {
+                    return {
+                        moduleName: normalizedSource,
+                        functionName: methodName
+                    };
+                }
+            }
+            // Check if objectName directly matches a builtin module
+            // (for cases like: const fs = require('fs'); fs.readFile())
+            if (this.registry.isBuiltinModule(objectName)) {
+                return {
+                    moduleName: this.registry.normalizeModule(objectName),
+                    functionName: methodName
+                };
+            }
+            return null;
+        }
+        // Case 2: Direct call - funcName()
+        const calleeName = callNode.name || callNode.callee;
+        if (!calleeName)
+            return null;
+        // Look up in import index
+        const importKey = `${file}:${calleeName}`;
+        const importInfo = importIndex.get(importKey);
+        if (importInfo) {
+            const normalizedSource = this.registry.normalizeModule(importInfo.source);
+            if (this.registry.isBuiltinModule(normalizedSource)) {
+                // Use the original imported name, not the alias
+                const originalName = importInfo.imported || calleeName;
+                return {
+                    moduleName: normalizedSource,
+                    functionName: originalName
+                };
+            }
+        }
+        return null;
+    }
+}

package/dist/plugins/enrichment/PrefixEvaluator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PrefixEvaluator.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/PrefixEvaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhF,OAAO,KAAK,EAAE,WAAW,EAAgB,MAAM,eAAe,CAAC;AAE/D,OAAO,KAAK,EACV,IAAI,EACJ,IAAI,EAEJ,gBAAgB,EAKhB,gBAAgB,EAEhB,eAAe,EAGhB,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAmBjD,UAAU,UAAU;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,KAAK;IACb,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG;QAAE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAA;KAAE,CAAC;IAC7G,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;CACzD;AAED,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAyF5D;;OAEG;IACG,cAAc,CAClB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EACtB,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAczB;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA0CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAsCnE;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgCpE;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA6CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA4BnE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgEtF;;OAEG;IACH,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAkBzE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE;IAUxD;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,EAAE;CAkBxD"}
+{"version":3,"file":"PrefixEvaluator.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/PrefixEvaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhF,OAAO,KAAK,EAAE,WAAW,EAAgB,MAAM,eAAe,CAAC;AAE/D,OAAO,KAAK,EACV,IAAI,EACJ,IAAI,EAEJ,gBAAgB,EAKhB,gBAAgB,EAEhB,eAAe,EAGhB,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAmBjD,UAAU,UAAU;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,KAAK;IACb,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG;QAAE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAA;KAAE,CAAC;IAC7G,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;CACzD;AAED,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAkG5D;;OAEG;IACG,cAAc,CAClB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EACtB,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAczB;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA0CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAsCnE;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgCpE;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA6CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA4BnE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgEtF;;OAEG;IACH,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAkBzE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE;IAUxD;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,EAAE;CAkBxD"}

package/dist/plugins/enrichment/PrefixEvaluator.js

@@ -32,6 +32,7 @@ export class PrefixEvaluator extends Plugin {
     async execute(context) {
         try {
             const { graph } = context;
+            const logger = this.log(context);
             const graphTyped = graph;
             let mountPointsEvaluated = 0;
             let successfulEvaluations = 0;
@@ -47,7 +48,7 @@ export class PrefixEvaluator extends Plugin {
                     }
                 }
             }
-            console.log(`[PrefixEvaluator] Found ${mountPoints.length} mount points with placeholders`);
+            logger.info('Found mount points with placeholders', { count: mountPoints.length });
             // For each mount point try to evaluate prefix
             for (const mountPoint of mountPoints) {
                 mountPointsEvaluated++;
@@ -57,13 +58,13 @@ export class PrefixEvaluator extends Plugin {
                     dst: mountPoint.id
                 });
                 if (definesEdges.length === 0) {
-                    console.log(`[PrefixEvaluator] No DEFINES edge for mount point ${mountPoint.id}`);
+                    logger.debug('No DEFINES edge for mount point', { mountPointId: mountPoint.id });
                     continue;
                 }
                 const moduleId = definesEdges[0].fromId;
                 const module = graphTyped.nodes.get(moduleId);
                 if (!module || module.type !== 'MODULE') {
-                    console.log(`[PrefixEvaluator] Module not found for ${mountPoint.id}`);
+                    logger.debug('Module not found for mount point', { mountPointId: mountPoint.id });
                     continue;
                 }
                 // Parse module AST
@@ -77,7 +78,7 @@ export class PrefixEvaluator extends Plugin {
                 }
                 catch (error) {
                     const err = error;
-                    console.log(`[PrefixEvaluator] Failed to parse ${module.file}:`, err.message);
+                    logger.debug('Failed to parse file', { file: module.file, error: err.message });
                     continue;
                 }
                 // Try to evaluate prefix based on placeholder type
@@ -86,14 +87,22 @@ export class PrefixEvaluator extends Plugin {
                     mountPoint.prefix = evaluatedPrefix;
                     mountPoint.evaluated = true;
                     successfulEvaluations++;
-                    console.log(`[PrefixEvaluator] Resolved ${mountPoint.file}:${mountPoint.line}: ${evaluatedPrefix}`);
+                    logger.debug('Resolved prefix', {
+                        file: mountPoint.file,
+                        line: mountPoint.line,
+                        prefix: evaluatedPrefix
+                    });
                 }
             }
-            console.log(`[PrefixEvaluator] Evaluated ${successfulEvaluations}/${mountPointsEvaluated} mount points`);
+            logger.info('Evaluated mount points', {
+                successful: successfulEvaluations,
+                total: mountPointsEvaluated
+            });
             return createSuccessResult({ nodes: 0, edges: 0 }, { mountPointsEvaluated, successfulEvaluations });
         }
         catch (error) {
-            console.error(`[PrefixEvaluator] Error:`, error);
+            const logger = this.log(context);
+            logger.error('Error in PrefixEvaluator', { error });
             return createErrorResult(error);
         }
     }

package/dist/plugins/enrichment/RustFFIEnricher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RustFFIEnricher.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/RustFFIEnricher.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAoBhF,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;YA+C9C,cAAc;YAiCd,sBAAsB;IAuCpC,OAAO,CAAC,iBAAiB;IAyCzB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAIpB;;;OAGG;IACH,OAAO,CAAC,YAAY;CAIrB"}
+{"version":3,"file":"RustFFIEnricher.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/RustFFIEnricher.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAoBhF,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;YAgD9C,cAAc;YAiCd,sBAAsB;IAuCpC,OAAO,CAAC,iBAAiB;IAyCzB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAIpB;;;OAGG;IACH,OAAO,CAAC,YAAY;CAIrB"}

package/dist/plugins/enrichment/RustFFIEnricher.js

@@ -18,16 +18,17 @@ export class RustFFIEnricher extends Plugin {
     }
     async execute(context) {
         const { graph } = context;
+        const logger = this.log(context);
         // 1. Build index of NAPI-exported Rust functions/methods
         const napiIndex = await this.buildNapiIndex(graph);
         if (napiIndex.size === 0) {
-            console.log('[RustFFIEnricher] No NAPI exports found, skipping');
+            logger.info('No NAPI exports found, skipping');
             return createSuccessResult({ nodes: 0, edges: 0 }, { skipped: true, reason: 'No NAPI exports' });
         }
-        console.log(`[RustFFIEnricher] Indexed ${napiIndex.size} NAPI exports`);
+        logger.debug('Indexed NAPI exports', { count: napiIndex.size });
         // 2. Find JS CALL nodes that target Rust
         const jsCalls = await this.findRustCallingJsCalls(graph);
-        console.log(`[RustFFIEnricher] Found ${jsCalls.length} candidate JS calls`);
+        logger.debug('Found candidate JS calls', { count: jsCalls.length });
         // 3. Match and create FFI_CALLS edges
         let edgesCreated = 0;
         const unmatched = [];
@@ -49,9 +50,9 @@ export class RustFFIEnricher extends Plugin {
             }
         }
         if (unmatched.length > 0 && unmatched.length <= 20) {
-            console.log(`[RustFFIEnricher] Unmatched calls:`, unmatched.slice(0, 10));
+            logger.debug('Unmatched calls', { calls: unmatched.slice(0, 10) });
         }
-        console.log(`[RustFFIEnricher] Created ${edgesCreated} FFI_CALLS edges`);
+        logger.info('Created FFI_CALLS edges', { count: edgesCreated, unmatched: unmatched.length });
         return createSuccessResult({ nodes: 0, edges: edgesCreated }, { unmatched: unmatched.length });
     }
     async buildNapiIndex(graph) {

package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts

@@ -16,21 +16,8 @@ import { Plugin } from '../Plugin.js';
 import type { PluginMetadata, PluginContext, PluginResult } from '../Plugin.js';
 import type { NodeRecord } from '@grafema/types';
 import type { EdgeRecord } from '@grafema/types';
-interface ExpressionNode {
-    id: string;
-    type: string;
-    name?: string;
-    file?: string;
-    line?: number;
-    expressionType?: string;
-    object?: string;
-    property?: string;
-    attrs?: {
-        expressionType?: string;
-        object?: string;
-        property?: string;
-    };
-}
+import { NONDETERMINISTIC_PATTERNS, NONDETERMINISTIC_OBJECTS } from '../../queries/traceValues.js';
+export { NONDETERMINISTIC_PATTERNS, NONDETERMINISTIC_OBJECTS };
 interface Constraint {
     variable?: string;
     operator?: string;
@@ -48,10 +35,6 @@ interface ValueSetAtNodeResult extends ValueSetResult {
     globalValues: unknown[];
     globalHasUnknown: boolean;
 }
-interface NondeterministicPattern {
-    object: string;
-    property: string;
-}
 interface Graph {
     queryNodes(filter: {
         nodeType: string;
@@ -65,11 +48,10 @@ interface Graph {
         type: string;
         metadata?: Record<string, unknown>;
     }): Promise<void> | void;
+    deleteEdge?(src: string, dst: string, type: string): Promise<void>;
 }
 export declare class ValueDomainAnalyzer extends Plugin {
     static MAX_DEPTH: number;
-    static NONDETERMINISTIC_PATTERNS: NondeterministicPattern[];
-    static NONDETERMINISTIC_OBJECTS: string[];
     get metadata(): PluginMetadata;
     execute(context: PluginContext): Promise<PluginResult>;
     /**
@@ -98,17 +80,30 @@ export declare class ValueDomainAnalyzer extends Plugin {
      */
     applySingleConstraint(valueSet: ValueSetResult, constraint: Constraint, variableName: string): ValueSetResult;
     /**
-     * Check if an EXPRESSION node represents a nondeterministic source
-     */
-    isNondeterministicExpression(node: ExpressionNode): boolean;
-    /**
-     * Recursive value set tracing through ASSIGNED_FROM edges
+     * Recursive value set tracing through ASSIGNED_FROM edges.
+     * Delegates to shared traceValues utility (REG-244).
      */
-    traceValueSet(node: NodeRecord, graph: Graph, visited: Set<string>, depth: number): Promise<ValueSetResult>;
+    traceValueSet(node: NodeRecord, graph: Graph, _visited: Set<string>, depth: number): Promise<ValueSetResult>;
     /**
      * Find method by object name and method name
      */
     findMethod(objectName: string, methodName: string, file: string, graph: Graph): Promise<NodeRecord | null>;
+    /**
+     * Resolve computed property names for object mutations.
+     * Finds FLOWS_INTO edges with mutationType: 'computed' and resolves
+     * the property name using value set tracing.
+     *
+     * @param graph - Graph backend with edge operations
+     * @returns Statistics about resolution
+     */
+    resolveComputedMutations(graph: Graph, logger: ReturnType<typeof this.log>): Promise<{
+        resolved: number;
+        conditional: number;
+        unknownParameter: number;
+        unknownRuntime: number;
+        deferredCrossFile: number;
+        total: number;
+    }>;
 }
 export default ValueDomainAnalyzer;
 //# sourceMappingURL=ValueDomainAnalyzer.d.ts.map

package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ValueDomainAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/ValueDomainAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AA0BjD,UAAU,cAAc;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE;QACN,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAcD,UAAU,UAAU;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC;IACpB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CAC5B;AAED,UAAU,cAAc;IACtB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,UAAU,oBAAqB,SAAQ,cAAc;IACnD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,UAAU,uBAAuB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,KAAK;IACb,UAAU,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAChD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACrH;AAYD,qBAAa,mBAAoB,SAAQ,MAAM;IAC7C,MAAM,CAAC,SAAS,SAAM;IAItB,MAAM,CAAC,yBAAyB,EAAE,uBAAuB,EAAE,CAiBzD;IAGF,MAAM,CAAC,wBAAwB,EAAE,MAAM,EAAE,CAOvC;IAEF,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IA0G5D;;OAEG;IACG,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;IAuD5F;;;OAGG;IACG,iBAAiB,CACrB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,oBAAoB,CAAC;IA2BhC;;OAEG;IACG,sBAAsB,CAC1B,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,EAAE,CAAC;IAkCxB;;OAEG;IACH,gBAAgB,CACd,QAAQ,EAAE,cAAc,EACxB,WAAW,EAAE,UAAU,EAAE,EACzB,YAAY,EAAE,MAAM,GACnB,cAAc;IAiBjB;;OAEG;IACH,qBAAqB,CACnB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,GACnB,cAAc;IA2EjB;;OAEG;IACH,4BAA4B,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO;IA+B3D;;OAEG;IACG,aAAa,CACjB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EACpB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,cAAc,CAAC;IA0F1B;;OAEG;IACG,UAAU,CACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;CAiC9B;AAED,eAAe,mBAAmB,CAAC"}
+{"version":3,"file":"ValueDomainAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/ValueDomainAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAGL,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,CAAC;AAqC/D,UAAU,UAAU;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC;IACpB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CAC5B;AAED,UAAU,cAAc;IACtB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,UAAU,oBAAqB,SAAQ,cAAc;IACnD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,UAAU,KAAK;IACb,UAAU,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAChD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpH,UAAU,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACpE;AAYD,qBAAa,mBAAoB,SAAQ,MAAM;IAC7C,MAAM,CAAC,SAAS,SAAM;IAEtB,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAiH5D;;OAEG;IACG,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;IAoD5F;;;OAGG;IACG,iBAAiB,CACrB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,oBAAoB,CAAC;IA2BhC;;OAEG;IACG,sBAAsB,CAC1B,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,EAAE,CAAC;IAiCxB;;OAEG;IACH,gBAAgB,CACd,QAAQ,EAAE,cAAc,EACxB,WAAW,EAAE,UAAU,EAAE,EACzB,YAAY,EAAE,MAAM,GACnB,cAAc;IAiBjB;;OAEG;IACH,qBAAqB,CACnB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,GACnB,cAAc;IA2EjB;;;OAGG;IACG,aAAa,CACjB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EACrB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,cAAc,CAAC;IAyD1B;;OAEG;IACG,UAAU,CACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IA8B7B;;;;;;;OAOG;IACG,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QACzF,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC;QACzB,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CAkHH;AAED,eAAe,mBAAmB,CAAC"}