@eagleoutice/flowr 2.2.10 → 2.2.12

package/dataflow/internal/process/functions/call/built-in/built-in-vector.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.processVector = processVector;
+const r_function_call_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
+const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
+const known_call_handling_1 = require("../known-call-handling");
+const config_1 = require("../../../../../../config");
+const containers_1 = require("../../../../../../util/containers");
+/**
+ * Process a vector call.
+ *
+ * Example:
+ * ```r
+ * c(1, 2, 3, 4)
+ * ```
+ */
+function processVector(name, args, rootId, data) {
+    const fnCall = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data });
+    if (!(0, config_1.getConfig)().solver.pointerTracking) {
+        return fnCall.information;
+    }
+    const vectorArgs = [];
+    let argIndex = 1;
+    for (const arg of args) {
+        // Skip invalid argument types
+        if (arg === r_function_call_1.EmptyArgument || arg.type !== type_1.RType.Argument || arg.value === undefined) {
+            continue;
+        }
+        if (isPrimitive(arg.value.type)) {
+            vectorArgs.push({
+                identifier: { index: argIndex++ },
+                nodeId: arg.value.info.id,
+            });
+        }
+        else {
+            // Check whether argument value can be resolved
+            let indicesCollection;
+            if (arg.value.type === type_1.RType.Symbol) {
+                indicesCollection = (0, containers_1.resolveIndicesByName)(arg.value.lexeme, data.environment);
+            }
+            else {
+                // Check whether argument is nested container
+                indicesCollection = fnCall.information.graph.getVertex(arg.value.info.id)?.indicesCollection;
+            }
+            const flattenedIndices = indicesCollection?.flatMap(indices => indices.indices)
+                .map(index => {
+                return {
+                    identifier: { index: argIndex++ },
+                    nodeId: index.nodeId,
+                };
+            }) ?? [];
+            vectorArgs.push(...flattenedIndices);
+        }
+    }
+    if ((0, config_1.isOverPointerAnalysisThreshold)(vectorArgs.length)) {
+        return fnCall.information;
+    }
+    const indices = {
+        indices: vectorArgs,
+        isContainer: true,
+    };
+    // Add resolved indices to vertex
+    const vertex = fnCall.information.graph.getVertex(rootId);
+    if (vertex) {
+        vertex.indicesCollection = [indices];
+    }
+    return fnCall.information;
+}
+/**
+ * Checks whether the passed type is primitive i.e. number, logical or string.
+ */
+function isPrimitive(type) {
+    return type === type_1.RType.Number || type === type_1.RType.Logical || type === type_1.RType.String;
+}
+//# sourceMappingURL=built-in-vector.js.map

package/dataflow/internal/process/functions/call/common.d.ts

@@ -34,6 +34,6 @@ export interface PatchFunctionCallInput<OtherInfo> {
     readonly rootId: NodeId;
     readonly name: RSymbol<OtherInfo & ParentInformation>;
     readonly data: DataflowProcessorInformation<OtherInfo & ParentInformation>;
-    readonly argumentProcessResult: readonly (DataflowInformation | undefined)[];
+    readonly argumentProcessResult: readonly (Pick<DataflowInformation, 'entryPoint'> | undefined)[];
 }
 export declare function patchFunctionCall<OtherInfo>({ nextGraph, rootId, name, data, argumentProcessResult }: PatchFunctionCallInput<OtherInfo>): void;

package/dataflow/internal/process/functions/call/common.js

@@ -64,9 +64,12 @@ function processAllArguments({ functionName, args, data, finalGraph, functionRoo
         }
         processedArguments.push(processed);
         finalEnv = (0, overwrite_1.overwriteEnvironment)(finalEnv, processed.environment);
+        finalGraph.mergeWith(processed.graph);
         // resolve reads within argument, we resolve before adding the `processed.environment` to avoid cyclic dependencies
         for (const ingoing of [...processed.in, ...processed.unknownReferences]) {
-            const tryToResolve = ingoing.name ? (0, resolve_by_name_1.resolveByName)(ingoing.name, argEnv, identifier_1.ReferenceType.Unknown) : undefined;
+            // check if it is called directly
+            const vtx = finalGraph.getVertex(ingoing.nodeId);
+            const tryToResolve = ingoing.name ? (0, resolve_by_name_1.resolveByName)(ingoing.name, argEnv, vtx?.tag === vertex_1.VertexType.FunctionCall ? identifier_1.ReferenceType.Function : identifier_1.ReferenceType.Unknown) : undefined;
             if (tryToResolve === undefined) {
                 remainingReadInArgs.push(ingoing);
             }
@@ -90,7 +93,6 @@ function processAllArguments({ functionName, args, data, finalGraph, functionRoo
             }
         }
         argEnv = (0, overwrite_1.overwriteEnvironment)(argEnv, processed.environment);
-        finalGraph.mergeWith(processed.graph);
         if (arg.type !== type_1.RType.Argument || !arg.name) {
             callArgs.push({ nodeId: processed.entryPoint, controlDependencies: undefined, type: identifier_1.ReferenceType.Argument });
         }

package/dataflow/internal/process/functions/call/named-call-handling.d.ts

@@ -4,4 +4,6 @@ import type { ParentInformation } from '../../../../../r-bridge/lang-4.x/ast/mod
 import type { RFunctionArgument } from '../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { RSymbol } from '../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { NodeId } from '../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+import type { DataflowGraph } from '../../../../graph/graph';
+export declare function markAsOnlyBuiltIn(graph: DataflowGraph, rootId: NodeId): void;
 export declare function processNamedCall<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>): DataflowInformation;

package/dataflow/internal/process/functions/call/named-call-handling.js

@@ -1,5 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.markAsOnlyBuiltIn = markAsOnlyBuiltIn;
 exports.processNamedCall = processNamedCall;
 const info_1 = require("../../../../info");
 const known_call_handling_1 = require("./known-call-handling");
@@ -27,6 +28,13 @@ function processDefaultFunctionProcessor(information, name, args, rootId, data)
     const call = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, forceArgs: (resolve?.length ?? 0) > 0 ? undefined : 'all' });
     return mergeInformation(information, call.information);
 }
+function markAsOnlyBuiltIn(graph, rootId) {
+    const v = graph.getVertex(rootId);
+    if (v?.tag === vertex_1.VertexType.FunctionCall) {
+        v.onlyBuiltin = true;
+        v.environment = undefined;
+    }
+}
 function processNamedCall(name, args, rootId, data) {
     const resolved = (0, resolve_by_name_1.resolveByName)(name.content, data.environment, identifier_1.ReferenceType.Function) ?? [];
     let defaultProcessor = resolved.length === 0;
@@ -46,11 +54,7 @@ function processNamedCall(name, args, rootId, data) {
     }
     else if (information && builtIn) {
         // mark the function call as built in only
-        const v = information.graph.getVertex(rootId);
-        if (v?.tag === vertex_1.VertexType.FunctionCall) {
-            v.onlyBuiltin = true;
-            v.environment = undefined;
-        }
+        markAsOnlyBuiltIn(information.graph, rootId);
     }
     return information ?? (0, info_1.initializeCleanDataflowInformation)(rootId, data);
 }

package/dataflow/internal/process/process-named-call.d.ts

@@ -3,4 +3,7 @@ import type { DataflowInformation } from '../../info';
 import type { Base, RNode, Location } from '../../../r-bridge/lang-4.x/ast/model/model';
 import type { ParentInformation } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { EmptyArgument } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
+/**
+ * Helper function for {@link processNamedCall} using the given `functionName` as the name of the function.
+ */
 export declare function processAsNamedCall<OtherInfo>(functionName: RNode<OtherInfo & ParentInformation> & Base<OtherInfo> & Location, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, name: string, args: readonly (RNode<OtherInfo & ParentInformation> | typeof EmptyArgument | undefined)[]): DataflowInformation;

package/dataflow/internal/process/process-named-call.js

@@ -4,6 +4,9 @@ exports.processAsNamedCall = processAsNamedCall;
 const named_call_handling_1 = require("./functions/call/named-call-handling");
 const make_argument_1 = require("./functions/call/argument/make-argument");
 const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
+/**
+ * Helper function for {@link processNamedCall} using the given `functionName` as the name of the function.
+ */
 function processAsNamedCall(functionName, data, name, args) {
     return (0, named_call_handling_1.processNamedCall)({
         type: type_1.RType.Symbol,

package/dataflow/processor.d.ts

@@ -10,17 +10,17 @@ import type { KnownParserType, Parser } from '../r-bridge/parser';
 export interface DataflowProcessorInformation<OtherInfo> {
     readonly parser: Parser<KnownParserType>;
     /**
-    * Initial and frozen ast-information
-    */
+     * Initial and frozen ast-information
+     */
     readonly completeAst: NormalizedAst<OtherInfo>;
     /**
-   * Correctly contains pushed local scopes introduced by `function` scopes.
-   * Will by default *not* contain any symbol-bindings introduced along the way; they have to be decorated when moving up the tree.
-   */
+     * Correctly contains pushed local scopes introduced by `function` scopes.
+     * Will by default *not* contain any symbol-bindings introduced along the way; they have to be decorated when moving up the tree.
+     */
     readonly environment: REnvironmentInformation;
     /**
-   * Other processors to be called by the given functions
-   */
+     * Other processors to be called by the given functions
+     */
     readonly processors: DataflowProcessors<OtherInfo>;
     /**
      * The {@link RParseRequests} that is currently being parsed

package/documentation/data/server/doc-data-server-messages.js

@@ -201,10 +201,10 @@ While the context is derived from the \`filename\`, we currently offer no way to
             })}
 
 <a id="analysis-format-compact"></a>
-**Retrieve the Output in a compactedForm**
+**Retrieve the Output in a Compacted Form**
 
 The default response is formatted as JSON. But this can get very big quickly.
-By specifying \`format: "compact"\`, you can retrieve the results heavily compacted (using [msgpack](https://www.npmjs.com/package/@msgpack/msgpack)).
+By specifying \`format: "compact"\`, you can retrieve the results heavily compacted (using [lz-string](https://www.npmjs.com/package/lz-string)).
 This works with and without the control flow graph as described [above](#analysis-include-cfg).
 
 ${await (0, doc_server_message_1.documentServerMessageResponse)({

package/documentation/doc-util/doc-cfg.d.ts

@@ -1,7 +1,16 @@
 import type { ControlFlowInformation } from '../../util/cfg/cfg';
-import type { RShell } from '../../r-bridge/shell';
 import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
-export declare function getCfg(shell: RShell, code: string): Promise<{
+import type { KnownParser } from '../../r-bridge/parser';
+import type { DataflowInformation } from '../../dataflow/info';
+export declare function getCfg(parser: KnownParser, code: string): Promise<{
     info: ControlFlowInformation;
     ast: NormalizedAst;
+    dataflow: DataflowInformation;
 }>;
+export declare function printCfg(cfg: ControlFlowInformation, ast: NormalizedAst, prefix?: string): string;
+export interface PrintCfgOptions {
+    readonly showCode?: boolean;
+    readonly openCode?: boolean;
+    readonly prefix?: string;
+}
+export declare function printCFGCode(parser: KnownParser, code: string, { showCode, openCode, prefix }?: PrintCfgOptions): Promise<string>;

package/documentation/doc-util/doc-cfg.js

@@ -1,18 +1,47 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.getCfg = getCfg;
+exports.printCfg = printCfg;
+exports.printCFGCode = printCFGCode;
 const cfg_1 = require("../../util/cfg/cfg");
-const pipeline_executor_1 = require("../../core/pipeline-executor");
 const default_pipelines_1 = require("../../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../../r-bridge/retriever");
-async function getCfg(shell, code) {
-    const steps = await new pipeline_executor_1.PipelineExecutor(default_pipelines_1.DEFAULT_DATAFLOW_PIPELINE, {
-        parser: shell,
+const time_1 = require("../../util/time");
+const doc_files_1 = require("./doc-files");
+const cfg_2 = require("../../util/mermaid/cfg");
+const doc_code_1 = require("./doc-code");
+async function getCfg(parser, code) {
+    const result = await (0, default_pipelines_1.createDataflowPipeline)(parser, {
         request: (0, retriever_1.requestFromInput)(code)
     }).allRemainingSteps();
+    const cfg = (0, cfg_1.extractCFG)(result.normalize, result.dataflow.graph);
     return {
-        info: (0, cfg_1.extractCFG)(steps.normalize, steps.dataflow?.graph),
-        ast: steps.normalize
+        info: cfg,
+        ast: result.normalize,
+        dataflow: result.dataflow
     };
 }
+function printCfg(cfg, ast, prefix = 'flowchart TD\n') {
+    return `
+${(0, doc_code_1.codeBlock)('mermaid', (0, cfg_2.cfgToMermaid)(cfg, ast, prefix))}
+	`;
+}
+async function printCFGCode(parser, code, { showCode = true, openCode = false, prefix = 'flowchart BT\n' } = {}) {
+    const now = performance.now();
+    const res = await getCfg(parser, code);
+    const duration = performance.now() - now;
+    const metaInfo = `The analysis required _${(0, time_1.printAsMs)(duration)}_ (including the dataflow analysis, normalization, and parsing with the [${parser.name}](${doc_files_1.FlowrWikiBaseRef}/Engines) engine) within the generation environment.`;
+    return '\n\n' + printCfg(res.info, res.ast, prefix) + (showCode ? `
+<details${openCode ? ' open' : ''}>
+
+<summary style="color:gray">R Code of the CFG</summary>
+
+${metaInfo}
+
+${(0, doc_code_1.codeBlock)('r', code)}
+
+</details>
+
+` : '\n(' + metaInfo + ')\n\n');
+}
 //# sourceMappingURL=doc-cfg.js.map

package/documentation/doc-util/doc-code.js

@@ -4,17 +4,25 @@ exports.codeBlock = codeBlock;
 exports.codeInline = codeInline;
 exports.jsonWithLimit = jsonWithLimit;
 const json_1 = require("../../util/json");
+const environment_1 = require("../../dataflow/environments/environment");
 function codeBlock(language, code) {
     return `\n\`\`\`${language}\n${code?.trim() ?? ''}\n\`\`\`\n`;
 }
 function codeInline(code) {
     return `<code>${code}</code>`;
 }
-function jsonWithLimit(object, maxLength = 5_000, tooLongText = '_As the code is pretty long, we inhibit pretty printing and syntax highlighting (JSON):_') {
+function jsonWithLimit(object, maxLength = 5_000, tooLongText = '_As the code is pretty long, we inhibit pretty printing and syntax highlighting (JSON, hiding built-in):_') {
     const prettyPrinted = JSON.stringify(object, json_1.jsonReplacer, 2);
     return `
 ${prettyPrinted.length > maxLength ? tooLongText : ''}
-${codeBlock(prettyPrinted.length > maxLength ? 'text' : 'json', prettyPrinted.length > 5_000 ? JSON.stringify(object, json_1.jsonReplacer) : prettyPrinted)}
+${codeBlock(prettyPrinted.length > maxLength ? 'text' : 'json', prettyPrinted.length > 5_000 ? JSON.stringify(object, (k, v) => {
+        if (typeof v === 'object' && v !== null && 'id' in v && v['id'] === 0 && 'memory' in v && v['memory']) {
+            return '<BuiltInEnvironment>';
+        }
+        else {
+            return (0, environment_1.builtInEnvJsonReplacer)(k, v);
+        }
+    }) : prettyPrinted)}
 `;
 }
 //# sourceMappingURL=doc-code.js.map

package/documentation/print-capabilities-markdown.js

@@ -86,7 +86,7 @@ async function printSingleCapability(info, depth, index, capability) {
     if (capability.url) {
         nextLine += '\\\nSee ' + (0, strings_1.joinWithLast)(capability.url.map(({ name, href }) => `[${name}](${href})`)) + ' for more info.';
     }
-    nextLine += ' Internal ID: `' + capability.id + '`';
+    nextLine += ' (internal ID: `' + capability.id + '`)';
     if (capability.example) {
         nextLine += `\n${(0, doc_general_1.prefixLines)(typeof capability.example === 'string' ? capability.example : await capability.example(info.parser), nextLineIndent + '> ')}`;
     }

package/documentation/print-cfg-wiki.d.ts

@@ -0,0 +1 @@
+export {};

package/documentation/print-cfg-wiki.js

@@ -0,0 +1,84 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+const shell_1 = require("../r-bridge/shell");
+const log_1 = require("../../test/functionality/_helper/log");
+const doc_auto_gen_1 = require("./doc-util/doc-auto-gen");
+const doc_code_1 = require("./doc-util/doc-code");
+const doc_types_1 = require("./doc-util/doc-types");
+const path_1 = __importDefault(require("path"));
+const doc_files_1 = require("./doc-util/doc-files");
+const doc_cli_option_1 = require("./doc-util/doc-cli-option");
+const doc_structure_1 = require("./doc-util/doc-structure");
+const doc_issue_1 = require("./doc-util/doc-issue");
+const doc_cfg_1 = require("./doc-util/doc-cfg");
+const visitor_1 = require("../util/cfg/visitor");
+async function getText(shell) {
+    const rversion = (await shell.usedRVersion())?.format() ?? 'unknown';
+    const types = (0, doc_types_1.getTypesFromFolderAsMermaid)({
+        rootFolder: path_1.default.resolve('./src'),
+        typeName: 'RNode',
+        inlineTypes: doc_types_1.mermaidHide
+    });
+    return `${(0, doc_auto_gen_1.autoGenHeader)({ filename: module.filename, purpose: 'control flow graph', rVersion: rversion })}
+
+_flowR_ produces two main perspectives of the program: 1) a [normalized version of the AST](${doc_files_1.FlowrWikiBaseRef}/Normalized-AST)
+and 2) a [dataflow graph](${doc_files_1.FlowrWikiBaseRef}/Dataflow%20Graph). However, for further analyses, we also provide an explicit control flow graph 
+that is calculated from the normalized AST **and** the dataflow graph to incorporate change in language semantics.
+flowR also uses this CFG for some of its queries (e.g., to link to the last call in a [Call-Context Query](${doc_files_1.FlowrWikiBaseRef}/Query-API))
+but does not incorporate it into its core analysis.
+
+
+${(0, doc_structure_1.block)({
+        type: 'TIP',
+        content: `If you want to investigate the Control Flow Graph,
+you can use the ${(0, doc_cli_option_1.getReplCommand)('controlflow*')} command in the REPL (see the [Interface wiki page](${doc_files_1.FlowrWikiBaseRef}/Interface) for more information).`
+    })}
+
+The CFG may be a little bit uncommon compared to the classical CFG with basic blocks. This is mostly due to historical reasons. 
+Please [open a new issue](${doc_issue_1.NewIssueUrl}) if you are interested in such a perspective.
+
+But for now, let's look at a simple CFG for a program without any branching:
+
+${(0, doc_code_1.codeBlock)('r', 'x <- 2 * 3 + 1')}
+
+The corresponding CFG is a directed, labeled graph with two types of edges (control and flow dependencies):
+
+${await (0, doc_cfg_1.printCFGCode)(shell, 'x <- 2 * 3 + 1', { showCode: false, prefix: 'flowchart RL\n' })}
+
+Every normalized node of the [normalized AST](${doc_files_1.FlowrWikiBaseRef}/Normalized-AST) that has any relevance to the
+execution is added and automatically linked using its id (similarly to vertices of the [dataflow graph](${doc_files_1.FlowrWikiBaseRef}/Dataflow%20Graph)).
+Higher expressions, such as \`2 * 3\` get an additional node with an artificial id that ends in \`-exit\` to mark whenever their calculation is over.
+
+To gain a better understanding, let's have a look at a simple program with a single branching structure:
+
+${await (0, doc_cfg_1.printCFGCode)(shell, 'if(u) 3 else 2', { showCode: true, openCode: true, prefix: 'flowchart RL\n' })}
+
+Here, you can see the \`if\` node followed by the condition (in this case merely \`u\`) that then splits into two branches for the two possible outcomes.
+The \`if\` structure is terminated by the corresponding \`-exit\` node.
+
+For you to compare, the following shows the CFG of an \`if\` without an \`else\` branch:
+
+${await (0, doc_cfg_1.printCFGCode)(shell, 'if(u || v) 3', { showCode: true, openCode: false, prefix: 'flowchart RL\n' })}
+
+The control flow graph also harmonizes with function definitions, and calls:
+
+${await (0, doc_cfg_1.printCFGCode)(shell, 'f <- function() { 3 }\nf()', { showCode: true, openCode: true, prefix: 'flowchart RL\n' })}
+
+In general, it is probably best to use the ${(0, doc_cli_option_1.getReplCommand)('controlflow*')} command in the REPL to investigate the CFG interactively.
+Have a look at the ${(0, doc_types_1.shortLink)(visitor_1.visitCfgInReverseOrder.name, types.info)} function for a generic CFG visitor.
+
+`;
+}
+if (require.main === module) {
+    (0, log_1.setMinLevelOfAllLogs)(6 /* LogLevel.Fatal */);
+    const shell = new shell_1.RShell();
+    void getText(shell).then(str => {
+        console.log(str);
+    }).finally(() => {
+        shell.close();
+    });
+}
+//# sourceMappingURL=print-cfg-wiki.js.map

package/documentation/print-core-wiki.js

@@ -390,10 +390,10 @@ ${await (0, doc_repl_1.documentReplSession)(shell, [{
 ### Getting flowR to Talk
 
 When using flowR from the CLI, you can use the ${(0, doc_cli_option_1.getCliLongOptionOf)('flowr', 'verbose')} option to get more information about what flowR is doing.
-While coding, however, you can use the ${log_1.setMinLevelOfAllLogs.name} function to set the minimum level of logs to be displayed (this works with the ${(0, doc_types_1.shortLink)(log_2.FlowrLogger.name, info)} abstraction).
+While coding, however, you can use the ${(0, doc_types_1.shortLink)(log_1.setMinLevelOfAllLogs.name, info)} function to set the minimum level of logs to be displayed (this works with the ${(0, doc_types_1.shortLink)(log_2.FlowrLogger.name, info)} abstraction).
 In general, you can configure the levels of individual logs, such as the general \`log\` (obtained with ${(0, doc_types_1.shortLink)('getActiveLog', info)}) or the ${(0, doc_types_1.shortLink)('parseLog', info)}.
 Please note that flowR makes no guarantees that log outputs are persistent across versions, and it is up to the implementors to provide sensible logging.
-If you are an implementor and want to add logging, please make sure that there are no larger runtime impliciations when logging is disabled. 
+If you are an implementor and want to add logging, please make sure there are no larger runtime impliciations when logging is disabled. 
 Have a look at the ${(0, doc_types_1.shortLink)(log_2.expensiveTrace.name, info)} function for example, which uses a function to generate the log message only when the log level is reached.
 
 `;

package/documentation/print-interface-wiki.js

@@ -203,12 +203,16 @@ ${(0, doc_code_1.codeBlock)('json', JSON.stringify({
         engines: [{ type: 'r-shell' }],
         solver: {
             variables: config_1.VariableResolve.Alias,
+            evalStrings: true,
             pointerTracking: true,
             resolveSource: {
                 dropPaths: config_1.DropPathsOption.No,
                 ignoreCapitalization: true,
                 inferWorkingDirectory: config_1.InferWorkingDirectory.ActiveScript,
                 searchPath: []
+            },
+            slicer: {
+                threshold: 50
             }
         }
     }, null, 2))}

package/documentation/print-query-wiki.js

@@ -62,6 +62,7 @@ It's also possible to filter the results based on the following properties:
    The \`fileFilter\` property is an object made up of two properties:
      - **Filter** (\`filter\`): A regular expression that a node's file attribute must match to be considered.
      - **Include Undefined Files** (\`includeUndefinedFiles\`): If \`fileFilter\` is set, but a node's file attribute is not present, should we include it in the results? Defaults to \`true\`.
+2. **Ignore Parameter Values** (\`ignoreParameterValues\`): Should we ignore default values for parameters in the results?
 
 Re-using the example code from above, the following query attaches all calls to \`mean\` to the kind \`visualize\` and the subkind \`text\`,
 all calls that start with \`read_\` to the kind \`input\` but only if they are not locally overwritten, and the subkind \`csv-file\`, and links all calls to \`points\` to the last call to \`plot\`:
@@ -122,6 +123,24 @@ ${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
 		`;
     }
 });
+(0, doc_query_1.registerQueryDocumentation)('project', {
+    name: 'Project Query',
+    type: 'active',
+    shortDescription: 'Returns information about the analyzed project',
+    functionName: dataflow_query_executor_1.executeDataflowQuery.name,
+    functionFile: '../queries/catalog/project-query/project-query-executor.ts',
+    buildExplanation: async (shell) => {
+        const exampleCode = 'x + 1';
+        return `
+This query returns the information about the analyzed project.
+Currently, this is only the list of file paths included.
+
+${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
+                type: 'project'
+            }], { showCode: true, collapseQuery: true })}
+		`;
+    }
+});
 (0, doc_query_1.registerQueryDocumentation)('normalized-ast', {
     name: 'Normalized AST Query',
     type: 'active',
@@ -405,7 +424,7 @@ print("hello world!")
 		`;
         return `
 This query extracts all dependencies from an R script, using a combination of a ${(0, doc_query_1.linkToQueryOfName)('call-context')}
-and more advanced tracking in the [Dataflow Graph](${doc_files_1.FlowrWikiBaseRef}/Dataflow%20Graph).  
+and more advanced tracking in the [Dataflow Graph](${doc_files_1.FlowrWikiBaseRef}/Dataflow%20Graph).
 
 In other words, if you have a script simply reading: \`${exampleCode}\`, the following query returns the loaded library:
 ${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
@@ -428,7 +447,7 @@ In the meantime we offer several properties to overwrite the default behavior (e
 ${await (0, doc_query_1.showQuery)(shell, longerCode, [{
                 type: 'dependencies',
                 ignoreDefaultFunctions: true,
-                libraryFunctions: [{ name: 'print', argIdx: 0, argName: 'library', resolveValue: true }],
+                libraryFunctions: [{ package: 'base', name: 'print', argIdx: 0, argName: 'library', resolveValue: true }],
                 sourceFunctions: [],
                 readFunctions: [],
                 writeFunctions: []
@@ -464,7 +483,7 @@ ${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
                 type: 'location-map'
             }], { showCode: false, collapseQuery: true })}
 
-All locations are given as a ${(0, doc_types_1.shortLink)('SourceRange', types.info)} in the format \`[start-line, start-column, end-line, end-column]\`.	
+All locations are given as a ${(0, doc_types_1.shortLink)('SourceRange', types.info)} paired with the file id in the format \`[file-id, [start-line, start-column, end-line, end-column]]\`.	
 
 		`;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.2.10",
+  "version": "2.2.12",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {
@@ -33,10 +33,11 @@
     "wiki:search-api": "ts-node src/documentation/print-search-wiki.ts",
     "wiki:linting-and-testing": "ts-node src/documentation/print-linting-and-testing-wiki.ts",
     "wiki:interface": "ts-node src/documentation/print-interface-wiki.ts",
+    "wiki:cfg": "ts-node src/documentation/print-cfg-wiki.ts",
     "gen:readme": "ts-node src/documentation/print-readme.ts",
     "build": "tsc --project .",
     "build-dev": "npm run build && npm run build:copy-wasm",
-    "build:bundle-flowr": "npm run build && esbuild --bundle dist/src/cli/flowr.js --platform=node --bundle --minify --external:clipboardy --target=node22 --outfile=dist/src/cli/flowr.min.js && npm run build:copy-wasm-min",
+    "build:bundle-flowr": "npm run build && esbuild --bundle dist/src/cli/flowr.js --platform=node --tree-shaking=true --bundle --minify --external:clipboardy --target=node22 --outfile=dist/src/cli/flowr.min.js && npm run build:copy-wasm-min",
     "build:copy-wasm": "mkdir -p dist/src/r-bridge/lang-4.x/tree-sitter/ && cp src/r-bridge/lang-4.x/tree-sitter/tree-sitter-r.wasm src/r-bridge/lang-4.x/tree-sitter/tree-sitter.wasm dist/src/r-bridge/lang-4.x/tree-sitter/",
     "build:copy-wasm-min": "mkdir -p dist/src/cli && cp src/r-bridge/lang-4.x/tree-sitter/tree-sitter-r.wasm src/r-bridge/lang-4.x/tree-sitter/tree-sitter.wasm dist/src/cli",
     "lint-local": "npx eslint --version && npx eslint src/ test/ --rule \"no-warning-comments: off\"",
@@ -199,12 +200,12 @@
     "vitest": "^3.0.6"
   },
   "dependencies": {
-    "@msgpack/msgpack": "^3.0.1",
     "@xmldom/xmldom": "^0.9.7",
     "clipboardy": "^4.0.0",
     "command-line-args": "^6.0.1",
     "command-line-usage": "^7.0.3",
     "joi": "^17.13.3",
+    "lz-string": "^1.5.0",
     "n-readlines": "^1.0.1",
     "n3": "^1.23.1",
     "object-hash": "^3.0.0",

package/queries/catalog/call-context-query/call-context-query-executor.js

@@ -152,6 +152,16 @@ function doesFilepathMatch(file, filter) {
     }
     return filter.filter.test(file);
 }
+function isParameterDefaultValue(nodeId, ast) {
+    let node = ast.idMap.get(nodeId);
+    while (node !== undefined) {
+        if (node.info.role === "param-value" /* RoleInParent.ParameterDefaultValue */) {
+            return true;
+        }
+        node = node.info.parent ? ast.idMap.get(node.info.parent) : undefined;
+    }
+    return false;
+}
 /**
  * Multi-stage call context query resolve.
  *
@@ -209,6 +219,9 @@ function executeCallContextQueries({ dataflow: { graph }, ast }, queries) {
                 /* if the call is quoted, we do not want to link to it */
                 continue;
             }
+            else if (query.ignoreParameterValues && isParameterDefaultValue(nodeId, ast)) {
+                continue;
+            }
             let linkedIds = undefined;
             if (cfg && isSubCallQuery(query)) {
                 const linked = Array.isArray(query.linkTo) ? query.linkTo : [query.linkTo];

package/queries/catalog/call-context-query/call-context-query-format.d.ts

@@ -41,6 +41,10 @@ export interface DefaultCallContextQueryFormat<RegexType extends RegExp | string
      * Consider a case like `f <- function_of_interest`, do you want uses of `f` to be included in the results?
      */
     readonly includeAliases?: boolean;
+    /**
+     * Should we ignore default values for parameters in the results?
+     */
+    readonly ignoreParameterValues?: boolean;
     /**
      * Filter that, when set, a node's file attribute must match to be considered
      */

package/queries/catalog/call-context-query/call-context-query-format.js

@@ -32,6 +32,7 @@ exports.CallContextQueryDefinition = {
         kind: joi_1.default.string().optional().description('The kind of the call, this can be used to group calls together (e.g., linking `plot` to `visualize`). Defaults to `.`'),
         subkind: joi_1.default.string().optional().description('The subkind of the call, this can be used to uniquely identify the respective call type when grouping the output (e.g., the normalized name, linking `ggplot` to `plot`). Defaults to `.`'),
         callTargets: joi_1.default.string().valid(...Object.values(identify_link_to_last_call_relation_1.CallTargets)).optional().description('Call targets the function may have. This defaults to `any`. Request this specifically to gain all call targets we can resolve.'),
+        ignoreParameterValues: joi_1.default.boolean().optional().description('Should we ignore default values for parameters in the results?'),
         includeAliases: joi_1.default.boolean().optional().description('Consider a case like `f <- function_of_interest`, do you want uses of `f` to be included in the results?'),
         fileFilter: joi_1.default.object({
             fileFilter: joi_1.default.string().required().description('Regex that a node\'s file attribute must match to be considered'),

package/queries/catalog/call-context-query/identify-link-to-last-call-relation.js

@@ -109,7 +109,7 @@ function identifyLinkToLastCallRelation(from, cfg, graph, { callName, ignoreIf,
     if (ignoreIf && ignoreIf(from, graph)) {
         return found;
     }
-    (0, visitor_1.visitInReverseOrder)(cfg, from, node => {
+    (0, visitor_1.visitCfgInReverseOrder)(cfg, from, node => {
         /* we ignore the start id as it cannot be the last call */
         if (node === from) {
             return;