@eagleoutice/flowr 2.4.7 → 2.4.8

package/README.md

@@ -24,7 +24,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.4.6, R v4.5.0 (r-shell engine)
+    flowR repl using flowR v2.4.7, R v4.5.0 (r-shell engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,7 +33,7 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    Query: linter (2 ms)
+    Query: linter (3 ms)
        ╰ **Deprecated Functions** (deprecated-functions):
            ╰ _Metadata_: <code>{"totalDeprecatedCalls":0,"totalDeprecatedFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **File Path Validity** (file-path-validity):
@@ -45,18 +45,18 @@ It offers a wide variety of features, for example:
        ╰ **Absolute Paths** (absolute-file-paths):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":0,"processTimeMs":0}</code>
+           ╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":1,"processTimeMs":0}</code>
        ╰ **Unused Definitions** (unused-definitions):
            ╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Naming Convention** (naming-convention):
            ╰ _Metadata_: <code>{"numMatches":0,"numBreak":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Dataframe Access Validation** (dataframe-access-validation):
-           ╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":1}</code>
+           ╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Dead Code** (dead-code):
            ╰ _Metadata_: <code>{"consideredNodes":5,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Useless Loops** (useless-loop):
            ╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":0}</code>
-    All queries together required ≈2 ms (1ms accuracy, total 8 ms)
+    All queries together required ≈3 ms (1ms accuracy, total 9 ms)
     ```
     
     
@@ -78,7 +78,7 @@ It offers a wide variety of features, for example:
     
     _Results (prettified and summarized):_
     
-    Query: **linter** (13 ms)\
+    Query: **linter** (14 ms)\
     &nbsp;&nbsp;&nbsp;╰ **Deprecated Functions** (deprecated-functions):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalDeprecatedCalls":0,"totalDeprecatedFunctionDefinitions":0,"searchTimeMs":2,"processTimeMs":0}</code>\
     &nbsp;&nbsp;&nbsp;╰ **File Path Validity** (file-path-validity):\
@@ -86,13 +86,13 @@ It offers a wide variety of features, for example:
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalReads":1,"totalUnknown":0,"totalWritesBeforeAlways":0,"totalValid":0,"searchTimeMs":4,"processTimeMs":1}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Seeded Randomness** (seeded-randomness):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"searchTimeMs":0,"processTimeMs":1}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Absolute Paths** (absolute-file-paths):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ certain:\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":2,"processTimeMs":0}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":1,"processTimeMs":1}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Unused Definitions** (unused-definitions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":1}</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":0}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Naming Convention** (naming-convention):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numMatches":0,"numBreak":0,"searchTimeMs":0,"processTimeMs":0}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dataframe Access Validation** (dataframe-access-validation):\
@@ -100,12 +100,12 @@ It offers a wide variety of features, for example:
     &nbsp;&nbsp;&nbsp;╰ **Dead Code** (dead-code):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consideredNodes":5,"searchTimeMs":1,"processTimeMs":0}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Useless Loops** (useless-loop):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":0}</code>\
-    _All queries together required ≈13 ms (1ms accuracy, total 210 ms)_
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":1}</code>\
+    _All queries together required ≈14 ms (1ms accuracy, total 216 ms)_
     
     <details> <summary style="color:gray">Show Detailed Results as Json</summary>
     
-    The analysis required _210.1 ms_ (including parsing and normalization and the query) within the generation environment.	
+    The analysis required _215.9 ms_ (including parsing and normalization and the query) within the generation environment.	
     
     In general, the JSON contains the Ids of the nodes in question as they are present in the normalized AST or the dataflow graph of flowR.
     Please consult the [Interface](https://github.com/flowr-analysis/flowr/wiki/Interface) wiki page for more information on how to get those.
@@ -156,7 +156,7 @@ It offers a wide variety of features, for example:
               "callsWithAssignmentProducers": 0,
               "callsWithNonConstantProducers": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 0
+              "processTimeMs": 1
             }
           },
           "absolute-file-paths": {
@@ -175,8 +175,8 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 1,
               "totalUnknown": 0,
-              "searchTimeMs": 2,
-              "processTimeMs": 0
+              "searchTimeMs": 1,
+              "processTimeMs": 1
             }
           },
           "unused-definitions": {
@@ -184,7 +184,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 1
+              "processTimeMs": 0
             }
           },
           "naming-convention": {
@@ -219,16 +219,16 @@ It offers a wide variety of features, for example:
             ".meta": {
               "numOfUselessLoops": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 0
+              "processTimeMs": 1
             }
           }
         },
         ".meta": {
-          "timing": 13
+          "timing": 14
         }
       },
       ".meta": {
-        "timing": 13
+        "timing": 14
       }
     }
     ```
@@ -295,7 +295,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.4.6, R v4.5.0 (r-shell engine)
+    flowR repl using flowR v2.4.7, R v4.5.0 (r-shell engine)
     R> :slicer test/testfiles/example.R --criterion "11@sum"
     ```
     
@@ -342,7 +342,7 @@ It offers a wide variety of features, for example:
         
 
 * 🚀 **fast data- and control-flow graphs**\
-  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">135.6 ms</span></i> (as of Aug 20, 2025), 
+  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">135.1 ms</span></i> (as of Aug 20, 2025), 
   _flowR_ can analyze the data- and control-flow of the average real-world R script. See the [benchmarks](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark) for more information,
   and consult the [wiki pages](https://github.com/flowr-analysis/flowr/wiki/Dataflow-Graph) for more details on the dataflow graph.
 
@@ -378,7 +378,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.4.6, R v4.5.0 (r-shell engine)
+    flowR repl using flowR v2.4.7, R v4.5.0 (r-shell engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -493,7 +493,7 @@ It offers a wide variety of features, for example:
           *7.10-20*
         (26, 27)`"]]
         23["`#91;RSymbol#93; sum
-          (23, :may:)
+          (23, :may:36+)
           *7.3-5*`"]
         29[["`#91;RBinaryOp#93; #60;#45;
           (29, :may:36+)
@@ -510,7 +510,7 @@ It offers a wide variety of features, for example:
           *8.14-24*
         (31, 32)`"]]
         30["`#91;RSymbol#93; product
-          (30, :may:)
+          (30, :may:36+)
           *8.3-9*`"]
         34[["`#91;RBinaryOp#93; #60;#45;
           (34, :may:36+)
@@ -622,64 +622,68 @@ It offers a wide variety of features, for example:
         linkStyle 44 stroke:gray,color:gray;
         23 -->|"defined-by"| 28
         23 -->|"defined-by"| 29
+        23 -->|"CD-True"| 36
+        linkStyle 47 stroke:gray,color:gray;
         29 -->|"argument"| 28
         29 -->|"returns, argument"| 23
         29 -.->|"reads, calls"| built-in:_-
-        linkStyle 49 stroke:gray;
+        linkStyle 50 stroke:gray;
         29 -->|"CD-True"| 36
-        linkStyle 50 stroke:gray,color:gray;
+        linkStyle 51 stroke:gray,color:gray;
         31 -->|"reads"| 3
         31 -->|"reads"| 30
         31 -->|"CD-True"| 36
-        linkStyle 53 stroke:gray,color:gray;
+        linkStyle 54 stroke:gray,color:gray;
         32 -->|"reads"| 12
         32 -->|"CD-True"| 36
-        linkStyle 55 stroke:gray,color:gray;
+        linkStyle 56 stroke:gray,color:gray;
         33 -->|"reads, argument"| 31
         33 -->|"reads, argument"| 32
         33 -.->|"reads, calls"| built-in:_
-        linkStyle 58 stroke:gray;
+        linkStyle 59 stroke:gray;
         33 -->|"CD-True"| 36
-        linkStyle 59 stroke:gray,color:gray;
+        linkStyle 60 stroke:gray,color:gray;
         30 -->|"defined-by"| 33
         30 -->|"defined-by"| 34
+        30 -->|"CD-True"| 36
+        linkStyle 63 stroke:gray,color:gray;
         34 -->|"argument"| 33
         34 -->|"returns, argument"| 30
         34 -.->|"reads, calls"| built-in:_-
-        linkStyle 64 stroke:gray;
+        linkStyle 66 stroke:gray;
         34 -->|"CD-True"| 36
-        linkStyle 65 stroke:gray,color:gray;
+        linkStyle 67 stroke:gray,color:gray;
         35 -->|"argument"| 29
         35 -->|"returns, argument"| 34
         35 -.->|"reads, calls"| built-in:_
-        linkStyle 68 stroke:gray;
+        linkStyle 70 stroke:gray;
         35 -->|"CD-True"| 36
-        linkStyle 69 stroke:gray,color:gray;
+        linkStyle 71 stroke:gray,color:gray;
         36 -->|"argument"| 12
         36 -->|"reads, argument"| 20
         36 -->|"argument, non-standard-evaluation"| 35
         36 -.->|"reads, calls"| built-in:for
-        linkStyle 73 stroke:gray;
+        linkStyle 75 stroke:gray;
         40 -->|"reads"| 0
         40 -->|"reads"| 23
         40 -.->|"reads"| built-in:sum
-        linkStyle 76 stroke:gray;
+        linkStyle 78 stroke:gray;
         44 -->|"argument"| 38
         44 -->|"reads, argument"| 40
         44 -->|"argument"| 42
         44 -.->|"reads, calls"| built-in:cat
-        linkStyle 80 stroke:gray;
+        linkStyle 82 stroke:gray;
         48 -->|"reads"| 3
         48 -->|"reads"| 30
         52 -->|"argument"| 46
         52 -->|"reads, argument"| 48
         52 -->|"argument"| 50
         52 -.->|"reads, calls"| built-in:cat
-        linkStyle 86 stroke:gray;
+        linkStyle 88 stroke:gray;
     ```
     
     	
-    (The analysis required _14.2 ms_ (including parse and normalize, using the [r-shell](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
+    (The analysis required _14.9 ms_ (including parse and normalize, using the [r-shell](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     

package/abstract-interpretation/data-frame/absint-visitor.js

@@ -137,7 +137,7 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
     }
     /** Get all AST nodes for the predecessor vertices that are leaf nodes and exit vertices */
     getPredecessorNodes(vertexId) {
-        return [...this.config.controlFlow.graph.outgoingEdges(vertexId)?.keys() ?? []] // outgoing dependency edges are incoming CFG edges
+        return this.config.controlFlow.graph.outgoingEdges(vertexId)?.keys() // outgoing dependency edges are incoming CFG edges
             .map(id => this.getCfgVertex(id))
             .flatMap(vertex => {
             if (vertex === undefined) {
@@ -150,7 +150,8 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
                 return [this.getNormalizedAst((0, control_flow_graph_1.getVertexRootId)(vertex))];
             }
         })
-            .filter(assert_1.isNotUndefined);
+            .filter(assert_1.isNotUndefined)
+            .toArray() ?? [];
     }
     shouldWiden(vertex) {
         return (this.visited.get(vertex.id) ?? 0) >= this.config.flowrConfig.abstractInterpretation.dataFrame.wideningThreshold;

package/benchmark/slicer.js

@@ -108,7 +108,7 @@ class BenchmarkSlicer {
         (0, assert_1.guard)(this.normalizedAst !== undefined, 'normalizedAst should be defined after initialization');
         (0, assert_1.guard)(this.dataflow !== undefined, 'dataflow should be defined after initialization');
         // collect dataflow graph size
-        const vertices = [...this.dataflow.graph.vertices(true)];
+        const vertices = this.dataflow.graph.vertices(true);
         let numberOfEdges = 0;
         let numberOfCalls = 0;
         let numberOfDefinitions = 0;

package/benchmark/summarizer/first-phase/process.js

@@ -256,7 +256,7 @@ async function summarizeSlicerStats(stats, report = () => {
     };
 }
 function summarizeDfShapeStats({ perNodeStats, ...stats }) {
-    const nodeStats = [...perNodeStats.values()];
+    const nodeStats = perNodeStats.values().toArray();
     const isTop = (value) => value === 'top';
     const isInfinite = (value) => value === 'infinite';
     const isBottom = (value) => value === 'bottom';

package/cli/repl/commands/repl-query.js

@@ -37,7 +37,15 @@ async function processQueryArgs(line, parser, output, config) {
     }
     let parsedQuery = [];
     if (query.startsWith('@')) {
-        parsedQuery = [{ type: query.slice(1) }];
+        const queryName = query.slice(1);
+        const queryObj = query_1.SupportedQueries[queryName];
+        if (queryObj?.fromLine) {
+            const q = queryObj.fromLine(args, config);
+            parsedQuery = q ? (Array.isArray(q) ? q : [q]) : [];
+        }
+        else {
+            parsedQuery = [{ type: query.slice(1) }];
+        }
         const validationResult = (0, query_1.QueriesSchema)().validate(parsedQuery);
         if (validationResult.error) {
             output.stderr(`Invalid query: ${validationResult.error.message}`);
@@ -59,6 +67,7 @@ async function processQueryArgs(line, parser, output, config) {
     }
     const processed = await getDataflow(config, parser, args.join(' '));
     return {
+        parsedQuery,
         query: await Promise.resolve((0, query_1.executeQueries)({ dataflow: processed.dataflow, ast: processed.normalize, config }, parsedQuery)),
         processed
     };
@@ -73,7 +82,7 @@ exports.queryCommand = {
         const results = await processQueryArgs(remainingLine, parser, output, config);
         const totalEnd = Date.now();
         if (results) {
-            output.stdout((0, query_print_1.asciiSummaryOfQueryResult)(ansi_1.ansiFormatter, totalEnd - totalStart, results.query, results.processed));
+            output.stdout((0, query_print_1.asciiSummaryOfQueryResult)(ansi_1.ansiFormatter, totalEnd - totalStart, results.query, results.processed, results.parsedQuery));
         }
     }
 };

package/cli/repl/core.d.ts

@@ -6,8 +6,8 @@ import type { FlowrConfigOptions } from '../../config';
 /**
  * Used by the repl to provide automatic completions for a given (partial) input line
  */
-export declare function replCompleter(line: string): [string[], string];
-export declare function makeDefaultReplReadline(): readline.ReadLineOptions;
+export declare function replCompleter(line: string, config: FlowrConfigOptions): [string[], string];
+export declare function makeDefaultReplReadline(config: FlowrConfigOptions): readline.ReadLineOptions;
 /**
  * This function interprets the given `expr` as a REPL command (see {@link repl} for more on the semantics).
  *

package/cli/repl/core.js

@@ -60,6 +60,7 @@ const repl_main_1 = require("./commands/repl-main");
 const shell_1 = require("../../r-bridge/shell");
 const log_1 = require("../../util/log");
 const config_1 = require("../../config");
+const query_1 = require("../../queries/query");
 let _replCompleterKeywords = undefined;
 function replCompleterKeywords() {
     if (_replCompleterKeywords === undefined) {
@@ -71,7 +72,7 @@ const defaultHistoryFile = path_1.default.join(os_1.default.tmpdir(), '.flowrhis
 /**
  * Used by the repl to provide automatic completions for a given (partial) input line
  */
-function replCompleter(line) {
+function replCompleter(line, config) {
     const splitLine = (0, args_1.splitAtEscapeSensitive)(line);
     // did we just type a space (and are starting a new arg right now)?
     const startingNewArg = line.endsWith(' ');
@@ -81,17 +82,19 @@ function replCompleter(line) {
         if (commandNameColon) {
             const completions = [];
             const commandName = commandNameColon.slice(1);
-            if ((0, repl_commands_1.getCommand)(commandName)?.script === true) {
+            const cmd = (0, repl_commands_1.getCommand)(commandName);
+            if (cmd?.script === true) {
                 // autocomplete script arguments
                 const options = scripts_info_1.scripts[commandName].options;
                 completions.push(...(0, scripts_info_1.getValidOptionsForCompletion)(options, splitLine).map(o => `${o} `));
             }
+            else if (commandName.startsWith('query')) {
+                completions.push(...replQueryCompleter(splitLine, config));
+            }
             else {
                 // autocomplete command arguments (specifically, autocomplete the file:// protocol)
                 completions.push(retriever_1.fileProtocol);
             }
-            // add an empty option so that it doesn't autocomplete the only defined option immediately
-            completions.push(' ');
             const currentArg = startingNewArg ? '' : splitLine[splitLine.length - 1];
             return [completions.filter(a => a.startsWith(currentArg)), currentArg];
         }
@@ -99,7 +102,23 @@ function replCompleter(line) {
     // if no command is already typed, just return all commands that match
     return [replCompleterKeywords().filter(k => k.startsWith(line)).map(k => `${k} `), line];
 }
-function makeDefaultReplReadline() {
+function replQueryCompleter(splitLine, config) {
+    const nonEmpty = splitLine.slice(1).map(s => s.trim()).filter(s => s.length > 0);
+    const queryShorts = Object.keys(query_1.SupportedQueries).map(q => `@${q}`).concat(['help']);
+    let candidates = [];
+    if (nonEmpty.length == 0 || (nonEmpty.length == 1 && queryShorts.some(q => q.startsWith(nonEmpty[0]) && nonEmpty[0] !== q))) {
+        candidates = candidates.concat(queryShorts.map(q => `${q} `));
+    }
+    else {
+        const q = nonEmpty[0].slice(1);
+        const queryElement = query_1.SupportedQueries[q];
+        if (queryElement?.completer) {
+            candidates = candidates.concat(queryElement.completer(nonEmpty.slice(1), config));
+        }
+    }
+    return candidates;
+}
+function makeDefaultReplReadline(config) {
     return {
         input: process.stdin,
         output: process.stdout,
@@ -107,7 +126,7 @@ function makeDefaultReplReadline() {
         terminal: true,
         history: loadReplHistory(defaultHistoryFile),
         removeHistoryDuplicates: true,
-        completer: replCompleter
+        completer: (c) => replCompleter(c, config)
     };
 }
 async function replProcessStatement(output, statement, parser, allowRSessionAccess, config) {
@@ -162,7 +181,7 @@ async function replProcessAnswer(config, output, expr, parser, allowRSessionAcce
  * For the execution, this function makes use of {@link replProcessAnswer}.
  *
  */
-async function repl(config, { parser = new shell_1.RShell((0, config_1.getEngineConfig)(config, 'r-shell'), { revive: 2 /* RShellReviveOptions.Always */ }), rl = readline.createInterface(makeDefaultReplReadline()), output = repl_main_1.standardReplOutput, historyFile = defaultHistoryFile, allowRSessionAccess = false }) {
+async function repl(config, { parser = new shell_1.RShell((0, config_1.getEngineConfig)(config, 'r-shell'), { revive: 2 /* RShellReviveOptions.Always */ }), rl = readline.createInterface(makeDefaultReplReadline(config)), output = repl_main_1.standardReplOutput, historyFile = defaultHistoryFile, allowRSessionAccess = false }) {
     if (historyFile) {
         rl.on('history', h => fs_1.default.writeFileSync(historyFile, h.join('\n'), { encoding: 'utf-8' }));
     }

package/cli/repl/server/connection.js

@@ -61,6 +61,7 @@ const auto_select_defaults_1 = require("../../../reconstruct/auto-select/auto-se
 const message_query_1 = require("./messages/message-query");
 const query_1 = require("../../../queries/query");
 const compact_1 = require("./compact");
+const _00_slice_1 = require("../../../core/steps/all/static-slicing/00-slice");
 /**
  * Each connection handles a single client, answering to its requests.
  * There is no need to construct this class manually, {@link FlowRServer} will do it for you.
@@ -241,7 +242,7 @@ class FlowRServerConnection {
             return;
         }
         const request = requestResult.message;
-        this.logger.info(`[${request.filetoken}] Received slice request with criteria ${JSON.stringify(request.criterion)}`);
+        this.logger.info(`[${request.filetoken}] Received ${request.direction ?? _00_slice_1.SliceDirection.Backward} slice request with criteria ${JSON.stringify(request.criterion)}`);
         const fileInformation = this.fileMap.get(request.filetoken);
         if (!fileInformation) {
             (0, send_1.sendMessage)(this.socket, {
@@ -254,6 +255,7 @@ class FlowRServerConnection {
         }
         fileInformation.pipeline.updateRequest({
             criterion: request.criterion,
+            direction: request.direction,
             autoSelectIf: request.noMagicComments ? auto_select_defaults_1.doNotAutoSelect : (0, magic_comments_1.makeMagicCommentHandler)(auto_select_defaults_1.doNotAutoSelect)
         });
         void fileInformation.pipeline.allRemainingSteps(true).then(results => {

package/cli/repl/server/messages/message-slice.d.ts

@@ -2,6 +2,7 @@ import type { IdMessageBase, MessageDefinition } from './all-messages';
 import type { SlicingCriteria } from '../../../../slicing/criterion/parse';
 import type { PipelineOutput } from '../../../../core/steps/pipeline/pipeline';
 import type { DEFAULT_DATAFLOW_PIPELINE, DEFAULT_SLICING_PIPELINE } from '../../../../core/steps/pipeline/default-pipelines';
+import { SliceDirection } from '../../../../core/steps/all/static-slicing/00-slice';
 /**
  * Can only be sent after you have sent the {@link FileAnalysisRequestMessage}.
  * Using the same `filetoken` as in the {@link FileAnalysisRequestMessage} you
@@ -13,6 +14,8 @@ export interface SliceRequestMessage extends IdMessageBase {
     filetoken: string;
     /** The slicing criteria to use */
     criterion: SlicingCriteria;
+    /** The direction to slice in. Defaults to backward slicing if unset. */
+    direction?: SliceDirection;
     /**
      * Should the magic comments (force-including lines within the slice) be ignord?
      */

package/cli/repl/server/messages/message-slice.js

@@ -35,6 +35,7 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.responseSliceMessage = exports.requestSliceMessage = void 0;
 const Joi = __importStar(require("joi"));
+const _00_slice_1 = require("../../../../core/steps/all/static-slicing/00-slice");
 exports.requestSliceMessage = {
     type: 'request-slice',
     schema: Joi.object({
@@ -42,6 +43,7 @@ exports.requestSliceMessage = {
         id: Joi.string().optional().description('The id of the message, if you passed one in the request.'),
         filetoken: Joi.string().required().description('The filetoken of the file to slice must be the same as with the analysis request.'),
         criterion: Joi.array().items(Joi.string()).min(0).required().required().description('The slicing criteria to use.'),
+        direction: Joi.string().valid(...Object.values(_00_slice_1.SliceDirection)).description('The direction to slice in. Defaults to backward slicing if unset.')
     })
 };
 exports.responseSliceMessage = {

package/control-flow/extract-cfg.d.ts

@@ -14,13 +14,13 @@ import type { FlowrConfigOptions } from '../config';
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
  *
- * @see {@link extractSimpleCfg} - for a simplified version of this function
+ * @see {@link extractCfgQuick} - for a simplified version of this function
  */
 export declare function extractCfg<Info = ParentInformation>(ast: NormalizedAst<Info & ParentInformation>, config: FlowrConfigOptions, graph?: DataflowGraph, simplifications?: readonly CfgSimplificationPassName[]): ControlFlowInformation;
 /**
- * Simplified version of {@link extractCfg} that is much quicker, but much simpler!
+ * A version of {@link extractCfg} that is much quicker and does not apply any simplifciations or dataflow information.
  */
-export declare function extractSimpleCfg<Info = ParentInformation>(ast: NormalizedAst<Info>): ControlFlowInformation<import("./control-flow-graph").CfgSimpleVertex>;
+export declare function extractCfgQuick<Info = ParentInformation>(ast: NormalizedAst<Info>): ControlFlowInformation<import("./control-flow-graph").CfgSimpleVertex>;
 export declare const ResolvedCallSuffix = "-resolved-call-exit";
 /**
  * Convert a cfg to RDF quads.

package/control-flow/extract-cfg.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ResolvedCallSuffix = void 0;
 exports.extractCfg = extractCfg;
-exports.extractSimpleCfg = extractSimpleCfg;
+exports.extractCfgQuick = extractCfgQuick;
 exports.cfg2quads = cfg2quads;
 const quads_1 = require("../util/quads");
 const fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/fold");
@@ -61,15 +61,15 @@ function dataflowCfgFolds(dataflowGraph) {
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
  *
- * @see {@link extractSimpleCfg} - for a simplified version of this function
+ * @see {@link extractCfgQuick} - for a simplified version of this function
  */
 function extractCfg(ast, config, graph, simplifications) {
     return (0, cfg_simplification_1.simplifyControlFlowInformation)((0, fold_1.foldAst)(ast.ast, graph ? dataflowCfgFolds(graph) : cfgFolds), { ast, dfg: graph, config }, simplifications);
 }
 /**
- * Simplified version of {@link extractCfg} that is much quicker, but much simpler!
+ * A version of {@link extractCfg} that is much quicker and does not apply any simplifciations or dataflow information.
  */
-function extractSimpleCfg(ast) {
+function extractCfgQuick(ast) {
     return (0, fold_1.foldAst)(ast.ast, cfgFolds);
 }
 function cfgLeaf(type) {

package/control-flow/useless-loop.js

@@ -58,6 +58,8 @@ function onlyLoopsOnce(loop, dataflow, controlflow, ast, config) {
     return visitor.loopsOnlyOnce();
 }
 class CfgSingleIterationLoopDetector extends semantic_cfg_guided_visitor_1.SemanticCfgGuidedVisitor {
+    loopCds = undefined;
+    encounteredLoopBreaker = false;
     onlyLoopyOnce = false;
     loopToCheck;
     constructor(loop, config) {
@@ -76,7 +78,7 @@ class CfgSingleIterationLoopDetector extends semantic_cfg_guided_visitor_1.Seman
     }
     startVisitor(_) {
         const g = this.config.controlFlow.graph;
-        const n = (i) => g.ingoingEdges(i);
+        const ingoing = (i) => g.ingoingEdges(i);
         const exits = new Set(g.getVertex(this.loopToCheck)?.end ?? []);
         (0, assert_1.guard)(exits.size !== 0, "Can't find end of loop");
         const stack = [this.loopToCheck];
@@ -86,38 +88,45 @@ class CfgSingleIterationLoopDetector extends semantic_cfg_guided_visitor_1.Seman
                 continue;
             }
             if (!exits.has(current)) {
-                const next = n(current) ?? [];
+                const next = ingoing(current) ?? [];
                 for (const [to] of next) {
                     stack.unshift(to);
                 }
             }
+            this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds);
+        }
+        this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds);
+    }
+    app(cds) {
+        if (cds === undefined) {
+            return;
+        }
+        const filtered = cds.filter(c => c.id !== this.loopToCheck);
+        if (filtered.length > 0) {
+            if (this.loopCds === undefined) {
+                this.loopCds = filtered;
+            }
+            else {
+                this.loopCds = this.loopCds.concat(filtered);
+            }
         }
     }
     onDefaultFunctionCall(data) {
-        let stopsLoop = false;
-        const alwaysHappens = () => {
-            if (!data.call.cds ||
-                (data.call.cds.length === 1 && data.call.cds[0].id === this.loopToCheck)) {
-                return true;
+        for (const origin of data.call.origin) {
+            if (origin === 'builtin:stop' || origin === 'builtin:return' || origin === 'builtin:break') {
+                this.encounteredLoopBreaker = true;
+                this.app(data.call.cds);
+                return;
             }
-            const cds = data.call.cds.filter(d => d.id !== this.loopToCheck);
-            return (0, info_1.happensInEveryBranch)(cds);
-        };
-        switch (data.call.origin[0]) {
-            case 'builtin:return':
-            case 'builtin:stop':
-            case 'builtin:break':
-                stopsLoop = alwaysHappens();
-                break;
-            case 'builtin:stopifnot': {
+            else if (origin === 'builtin:stopifnot') {
                 const arg = this.getBoolArgValue(data);
-                if (arg !== undefined) {
-                    stopsLoop = !arg && alwaysHappens();
+                if (arg === false) {
+                    this.encounteredLoopBreaker = true;
+                    this.app(data.call.cds);
+                    return;
                 }
-                break;
             }
         }
-        this.onlyLoopyOnce = this.onlyLoopyOnce || stopsLoop;
     }
     loopsOnlyOnce() {
         this.startVisitor([]);

package/dataflow/environments/built-in.d.ts

@@ -55,7 +55,7 @@ export interface DefaultBuiltInProcessorConfiguration extends ForceArguments {
     readonly returnsNthArgument?: number | 'last';
     readonly cfg?: ExitPointType;
     readonly readAllArguments?: boolean;
-    readonly hasUnknownSideEffects?: boolean | LinkTo;
+    readonly hasUnknownSideEffects?: boolean | LinkTo<RegExp | string>;
     /** record mapping the actual function name called to the arguments that should be treated as function calls */
     readonly treatAsFnCall?: Record<string, readonly string[]>;
     /** Name that should be used for the origin (useful when needing to differentiate between