@eagleoutice/flowr 2.9.12 → 2.9.14

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.9.11, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.9.13, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -35,11 +35,11 @@ It offers a wide variety of features, for example:
     ```text
     Query: linter (2 ms)
        ╰ Deprecated Functions (deprecated-functions):
-           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0
+           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ File Path Validity (file-path-validity):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ Metadata: totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0
+           ╰ Metadata: totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 1, processTimeMs: 0
        ╰ Seeded Randomness (seeded-randomness):
            ╰ Metadata: consumerCalls: 0, callsWithFunctionProducers: 0, callsWithAssignmentProducers: 0, callsWithNonConstantProducers: 0, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Absolute Paths (absolute-file-paths):
@@ -58,6 +58,8 @@ It offers a wide variety of features, for example:
            ╰ Metadata: consideredNodes: 5, searchTimeMs: 0, processTimeMs: 0
        ╰ Useless Loops (useless-loop):
            ╰ Metadata: numOfUselessLoops: 0, searchTimeMs: 0, processTimeMs: 0
+       ╰ Stop without call.=False argument (stop-call):
+           ╰ Metadata: consideredNodes: 0, searchTimeMs: 0, processTimeMs: 0
     All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
@@ -82,17 +84,17 @@ It offers a wide variety of features, for example:
     
     Query: **linter** (2 ms)\
        ╰ **Deprecated Functions** (deprecated-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **File Path Validity** (file-path-validity):\
     &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>totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 1, processTimeMs: 0</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, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0</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: 1, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 1, totalUnknown: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Unused Definitions** (unused-definitions):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Naming Convention** (naming-convention):\
@@ -100,16 +102,18 @@ It offers a wide variety of features, for example:
     &nbsp;&nbsp;&nbsp;╰ **Network Functions** (network-functions):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dataframe Access Validation** (dataframe-access-validation):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 1</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dead Code** (dead-code):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consideredNodes: 5, searchTimeMs: 0, 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>\
+    &nbsp;&nbsp;&nbsp;╰ **Stop without call.=False argument** (stop-call):\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consideredNodes: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     _All queries together required ≈2 ms (1ms accuracy, total 2 ms)_
     
     <details> <summary style="color:gray">Show Detailed Results as Json</summary>
     
-    The analysis required _2.2 ms_ (including parsing and normalization and the query) within the generation environment.
+    The analysis required _2.3 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.
@@ -126,7 +130,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalCalls": 0,
               "totalFunctionDefinitions": 0,
-              "searchTimeMs": 1,
+              "searchTimeMs": 0,
               "processTimeMs": 0
             }
           },
@@ -149,7 +153,7 @@ It offers a wide variety of features, for example:
               "totalUnknown": 0,
               "totalWritesBeforeAlways": 0,
               "totalValid": 0,
-              "searchTimeMs": 0,
+              "searchTimeMs": 1,
               "processTimeMs": 0
             }
           },
@@ -181,7 +185,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 1,
               "totalUnknown": 0,
-              "searchTimeMs": 1,
+              "searchTimeMs": 0,
               "processTimeMs": 0
             }
           },
@@ -218,7 +222,7 @@ It offers a wide variety of features, for example:
               "numAccesses": 0,
               "totalAccessed": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 0
+              "processTimeMs": 1
             }
           },
           "dead-code": {
@@ -236,6 +240,14 @@ It offers a wide variety of features, for example:
               "searchTimeMs": 0,
               "processTimeMs": 0
             }
+          },
+          "stop-call": {
+            "results": [],
+            ".meta": {
+              "consideredNodes": 0,
+              "searchTimeMs": 0,
+              "processTimeMs": 0
+            }
           }
         },
         ".meta": {
@@ -308,7 +320,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.9.11, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.9.13, R grammar v14 (tree-sitter engine)
     R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
@@ -322,7 +334,7 @@ It offers a wide variety of features, for example:
     N <- 10
     for(i in 1:(N-1)) sum <- sum + i + w
     sum
-    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
+    All queries together required ≈1 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -338,7 +350,7 @@ It offers a wide variety of features, for example:
         
 
 * 📚 **dependency analysis**\
-  Given your analysis project, flowR offers a plethora of so-called [queries](https://github.com/flowr-analysis/flowr/wiki/wiki/query-api) to get more information about your code.
+  Given your analysis project, flowR offers a plethora of so-called [queries](https://github.com/flowr-analysis/flowr/wiki/query-api) to get more information about your code.
   An important query is the [dependencies query](https://github.com/flowr-analysis/flowr/wiki/Query-API#dependencies-query), which shows you the library your project needs,
   the data files it reads, the scripts it sources, and the data it outputs.
   
@@ -356,16 +368,16 @@ It offers a wide variety of features, for example:
          
 
 * 🚀 **fast call-graph, data-, and control-flow graphs**\
-  Within just [<i><span title="This measurement is automatically fetched from the latest benchmark!">98.9 ms</span></i> (as of Feb 18, 2026)](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark), 
+  Within just [<i><span title="This measurement is automatically fetched from the latest benchmark!">101.1 ms</span></i> (as of Feb 28, 2026)](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark), 
   _flowR_ can analyze the data- and control-flow of the average real-world R&nbsp;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/wiki/dataflow-graph) for more details on the [dataflow graphs](https://github.com/flowr-analysis/flowr/wiki/wiki/dataflow-graph) as well as [call graphs](https://github.com/flowr-analysis/flowr/wiki/wiki/dataflow-graph#perspectives-cg).
+  and consult the [wiki pages](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) for more details on the [dataflow graphs](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) as well as [call graphs](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph#perspectives-cg).
 
     
     <details><summary>Example: Generating a dataflow graph with flowR</summary>
     
     
     You can investigate flowR's analyses using the [REPL](https://github.com/flowr-analysis/flowr/wiki/Interface#using-the-repl).
-    Commands like <span title="Description (Repl Command, starred version): Returns the URL to mermaid.live; Base Command: Get mermaid code for the dataflow graph, start with 'file://' to indicate a file (aliases: :d*, :df*)">`:dataflow*`</span> allow you to view a [dataflow graph](https://github.com/flowr-analysis/flowr/wiki/wiki/dataflow-graph) for a given R script.
+    Commands like <span title="Description (Repl Command, starred version): Returns the URL to mermaid.live; Base Command: Get mermaid code for the dataflow graph, start with 'file://' to indicate a file (aliases: :d*, :df*)">`:dataflow*`</span> allow you to view a [dataflow graph](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) for a given R script.
     
     Let's have a look at the following example:
     
@@ -386,13 +398,13 @@ It offers a wide variety of features, for example:
     ```
     
     
-    To get the [dataflow graph](https://github.com/flowr-analysis/flowr/wiki/wiki/dataflow-graph) for this script, you can use the following command:
+    To get the [dataflow graph](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) for this script, you can use the following command:
     
     
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.9.11, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.9.13, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -727,8 +739,8 @@ If you are already using flowR and want to give feedback, please consider fillin
  
 ## ⭐ Getting Started
 
-To get started with _flowR_ and its features, please check out the [Overview](https://github.com/flowr-analysis/flowr/wiki/wiki/overview) wiki page. 
-The [Setup](https://github.com/flowr-analysis/flowr/wiki/wiki/setup) wiki page explains how you can download and setup _flowR_ on your system. 
+To get started with _flowR_ and its features, please check out the [Overview](https://github.com/flowr-analysis/flowr/wiki/overview) wiki page. 
+The [Setup](https://github.com/flowr-analysis/flowr/wiki/setup) wiki page explains how you can download and setup _flowR_ on your system. 
 With docker&nbsp;🐳️, the following line should be enough (and drop you directly into the read-eval-print loop):
 
 
@@ -865,7 +877,7 @@ please check out the following publications (if you find that a paper is missing
 
 ## 🚀 Contributing
 
-We welcome every contribution! Please check out the [developer onboarding](https://github.com/flowr-analysis/flowr/wiki/wiki/onboarding) section in the wiki for all the information you will need.
+We welcome every contribution! Please check out the [developer onboarding](https://github.com/flowr-analysis/flowr/wiki/onboarding) section in the wiki for all the information you will need.
 
 ### Contributors
 

package/abstract-interpretation/absint-visitor.d.ts

@@ -2,7 +2,6 @@ import type { ControlFlowInformation } from '../control-flow/control-flow-graph'
 import { CfgVertex } from '../control-flow/control-flow-graph';
 import type { SemanticCfgGuidedVisitorConfiguration } from '../control-flow/semantic-cfg-guided-visitor';
 import { SemanticCfgGuidedVisitor } from '../control-flow/semantic-cfg-guided-visitor';
-import { BuiltInProcName } from '../dataflow/environments/built-in';
 import type { DataflowGraph } from '../dataflow/graph/graph';
 import { type DataflowGraphVertexFunctionCall, type DataflowGraphVertexVariableDefinition } from '../dataflow/graph/vertex';
 import type { NoInfo, RNode } from '../r-bridge/lang-4.x/ast/model/model';
@@ -11,6 +10,7 @@ import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { type AnyAbstractDomain } from './domains/abstract-domain';
 import type { StateAbstractDomain } from './domains/state-abstract-domain';
 import { MutableStateAbstractDomain } from './domains/state-abstract-domain';
+import { BuiltInProcName } from '../dataflow/environments/built-in-proc-name';
 export type AbsintVisitorConfiguration = Omit<SemanticCfgGuidedVisitorConfiguration<NoInfo, ControlFlowInformation, NormalizedAst>, 'defaultVisitingOrder' | 'defaultVisitingType'>;
 /**
  * A control flow graph visitor to perform abstract interpretation.

package/abstract-interpretation/absint-visitor.js

@@ -3,15 +3,15 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.AbstractInterpretationVisitor = void 0;
 const control_flow_graph_1 = require("../control-flow/control-flow-graph");
 const semantic_cfg_guided_visitor_1 = require("../control-flow/semantic-cfg-guided-visitor");
-const built_in_1 = require("../dataflow/environments/built-in");
 const vertex_1 = require("../dataflow/graph/vertex");
-const dfg_get_origin_1 = require("../dataflow/origin/dfg-get-origin");
 const model_1 = require("../r-bridge/lang-4.x/ast/model/model");
 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 assert_1 = require("../util/assert");
 const abstract_domain_1 = require("./domains/abstract-domain");
 const state_abstract_domain_1 = require("./domains/state-abstract-domain");
+const df_helper_1 = require("../dataflow/graph/df-helper");
+const built_in_proc_name_1 = require("../dataflow/environments/built-in-proc-name");
 /**
  * A control flow graph visitor to perform abstract interpretation.
  *
@@ -86,7 +86,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
         else if (node.type === type_1.RType.ExpressionList && node.children.length > 0) {
             return this.getAbstractValue(node.children.at(-1), state);
         }
-        else if (origins.includes(built_in_1.BuiltInProcName.Pipe)) {
+        else if (origins.includes(built_in_proc_name_1.BuiltInProcName.Pipe)) {
             if (node.type === type_1.RType.Pipe || node.type === type_1.RType.BinaryOp) {
                 return this.getAbstractValue(node.rhs, state);
             }
@@ -94,7 +94,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
                 return this.getAbstractValue(call.args[1].nodeId, state);
             }
         }
-        else if (origins.includes(built_in_1.BuiltInProcName.IfThenElse)) {
+        else if (origins.includes(built_in_proc_name_1.BuiltInProcName.IfThenElse)) {
             let values = [];
             if (node.type === type_1.RType.IfThenElse && node.otherwise !== undefined) {
                 values = [node.then, node.otherwise].map(entry => this.getAbstractValue(entry, state));
@@ -203,20 +203,20 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
     onDispatchFunctionCallOrigin(call, origin) {
         super.onDispatchFunctionCallOrigin(call, origin);
         switch (origin) {
-            case built_in_1.BuiltInProcName.ExpressionList:
-            case built_in_1.BuiltInProcName.IfThenElse:
-            case built_in_1.BuiltInProcName.ForLoop:
-            case built_in_1.BuiltInProcName.WhileLoop:
-            case built_in_1.BuiltInProcName.RepeatLoop:
-            case built_in_1.BuiltInProcName.FunctionDefinition:
-            case built_in_1.BuiltInProcName.Assignment:
-            case built_in_1.BuiltInProcName.AssignmentLike:
-            case built_in_1.BuiltInProcName.TableAssignment:
-            case built_in_1.BuiltInProcName.Replacement:
-            case built_in_1.BuiltInProcName.Access:
-            case built_in_1.BuiltInProcName.Pipe:
-            case built_in_1.BuiltInProcName.Break:
-            case built_in_1.BuiltInProcName.Return:
+            case built_in_proc_name_1.BuiltInProcName.ExpressionList:
+            case built_in_proc_name_1.BuiltInProcName.IfThenElse:
+            case built_in_proc_name_1.BuiltInProcName.ForLoop:
+            case built_in_proc_name_1.BuiltInProcName.WhileLoop:
+            case built_in_proc_name_1.BuiltInProcName.RepeatLoop:
+            case built_in_proc_name_1.BuiltInProcName.FunctionDefinition:
+            case built_in_proc_name_1.BuiltInProcName.Assignment:
+            case built_in_proc_name_1.BuiltInProcName.AssignmentLike:
+            case built_in_proc_name_1.BuiltInProcName.TableAssignment:
+            case built_in_proc_name_1.BuiltInProcName.Replacement:
+            case built_in_proc_name_1.BuiltInProcName.Access:
+            case built_in_proc_name_1.BuiltInProcName.Pipe:
+            case built_in_proc_name_1.BuiltInProcName.Break:
+            case built_in_proc_name_1.BuiltInProcName.Return:
                 return;
             default:
                 return this.onFunctionCall({ call });
@@ -273,7 +273,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
     }
     /** Gets each variable origin that has already been visited and whose assignment has already been processed */
     getVariableOrigins(nodeId) {
-        return (0, dfg_get_origin_1.getOriginInDfg)(this.config.dfg, nodeId)
+        return df_helper_1.Dataflow.origin(this.config.dfg, nodeId)
             ?.filter(origin => origin.type === 0 /* OriginType.ReadVariableOrigin */)
             .map(origin => origin.id)
             .filter(origin => this.trace.has(origin) && !this.unassigned.has(origin)) ?? [];
@@ -293,7 +293,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
             return false;
         }
         const origin = dataflowVertex.origin;
-        return origin.includes(built_in_1.BuiltInProcName.ForLoop) || origin.includes(built_in_1.BuiltInProcName.WhileLoop) || origin.includes(built_in_1.BuiltInProcName.RepeatLoop);
+        return origin.includes(built_in_proc_name_1.BuiltInProcName.ForLoop) || origin.includes(built_in_proc_name_1.BuiltInProcName.WhileLoop) || origin.includes(built_in_proc_name_1.BuiltInProcName.RepeatLoop);
     }
     /**
      * Checks whether a control flow graph vertex should be skipped during visitation.

package/abstract-interpretation/data-frame/mappers/replacement-mapper.js

@@ -2,7 +2,6 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.mapDataFrameReplacementFunction = mapDataFrameReplacementFunction;
 const config_1 = require("../../../config");
-const built_in_1 = require("../../../dataflow/environments/built-in");
 const vertex_1 = require("../../../dataflow/graph/vertex");
 const make_argument_1 = require("../../../dataflow/internal/process/functions/call/argument/make-argument");
 const r_function_call_1 = require("../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
@@ -12,6 +11,7 @@ const semantics_1 = require("../semantics");
 const access_mapper_1 = require("./access-mapper");
 const arguments_1 = require("./arguments");
 const identifier_1 = require("../../../dataflow/environments/identifier");
+const built_in_proc_name_1 = require("../../../dataflow/environments/built-in-proc-name");
 /** Mapper for mapping the supported data frame replacement functions to mapper functions */
 const DataFrameReplacementFunctionMapper = {
     'colnames': mapDataFrameColNamesAssignment,
@@ -59,7 +59,7 @@ function isDataFrameReplacement(functionName) {
 }
 function hasParentReplacement(node, dfg) {
     const parentVertex = node.info.parent ? dfg.getVertex(node.info.parent) : undefined;
-    return (0, vertex_1.isFunctionCallVertex)(parentVertex) && parentVertex.origin.includes(built_in_1.BuiltInProcName.Replacement);
+    return (0, vertex_1.isFunctionCallVertex)(parentVertex) && parentVertex.origin.includes(built_in_proc_name_1.BuiltInProcName.Replacement);
 }
 function mapDataFrameContentAssignment(access, expression, inference) {
     const dataFrame = access.accessed;

package/benchmark/slicer.d.ts

@@ -8,12 +8,12 @@ import type { SliceResult } from '../slicing/static/slicer-types';
 import type { ReconstructionResult } from '../reconstruct/reconstruct';
 import type { PerSliceStats, SlicerStats, SlicerStatsDfShape } from './stats/stats';
 import type { NormalizedAst } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { SlicingCriteria } from '../slicing/criterion/parse';
+import { SlicingCriteria } from '../slicing/criterion/parse';
 import { type RParseRequestFromFile, type RParseRequestFromText } from '../r-bridge/retriever';
 import { type SlicingCriteriaFilter } from '../slicing/criterion/collect-all';
 import type { AutoSelectPredicate } from '../reconstruct/auto-select/auto-select-defaults';
 import type { KnownParserName } from '../r-bridge/parser';
-import { type FlowrConfigOptions } from '../config';
+import { FlowrConfig } from '../config';
 /**
  * The logger to be used for benchmarking as a global object.
  */
@@ -63,6 +63,7 @@ export declare class BenchmarkSlicer {
     private dataflow;
     private normalizedAst;
     private controlFlow;
+    private callGraph;
     private totalStopwatch;
     private finished;
     private executor;
@@ -72,7 +73,7 @@ export declare class BenchmarkSlicer {
      * Initialize the slicer on the given request.
      * Can only be called once for each instance.
      */
-    init(request: RParseRequestFromFile | RParseRequestFromText, config: FlowrConfigOptions, autoSelectIf?: AutoSelectPredicate, threshold?: number): Promise<void>;
+    init(request: RParseRequestFromFile | RParseRequestFromText, config: FlowrConfig, autoSelectIf?: AutoSelectPredicate, threshold?: number): Promise<void>;
     private calculateStatsAfterInit;
     /**
      * Slice for the given {@link SlicingCriteria}.
@@ -84,6 +85,7 @@ export declare class BenchmarkSlicer {
      * Extract the control flow graph using {@link extractCFG}
      */
     extractCFG(): void;
+    extractCG(): void;
     /**
      * Infer the shape of data frames using abstract interpretation with {@link inferDataFrameShapes}
      * @returns The statistics of the data frame shape inference

package/benchmark/slicer.js

@@ -13,6 +13,7 @@ const seedrandom_1 = __importDefault(require("seedrandom"));
 const log_1 = require("../util/log");
 const assert_1 = require("../util/assert");
 const strings_1 = require("../util/text/strings");
+const parse_1 = require("../slicing/criterion/parse");
 const default_pipelines_1 = require("../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../r-bridge/retriever");
 const collect_all_1 = require("../slicing/criterion/collect-all");
@@ -31,6 +32,7 @@ const fs_1 = __importDefault(require("fs"));
 const flowr_analyzer_context_1 = require("../project/context/flowr-analyzer-context");
 const r_project_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-project");
 const r_comment_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-comment");
+const call_graph_1 = require("../dataflow/graph/call-graph");
 /**
  * The logger to be used for benchmarking as a global object.
  */
@@ -47,6 +49,7 @@ class BenchmarkSlicer {
     dataflow;
     normalizedAst;
     controlFlow;
+    callGraph;
     totalStopwatch;
     finished = false;
     // Yes, this is unclean, but we know that we assign the executor during the initialization and this saves us from having to check for nullability every time
@@ -65,10 +68,10 @@ class BenchmarkSlicer {
         // we know these are in sync so we just cast to one of them
         this.parser = await this.commonMeasurements.measure('initialize R session', async () => {
             if (this.parserName === 'r-shell') {
-                return new shell_1.RShell((0, config_1.getEngineConfig)(config, 'r-shell'));
+                return new shell_1.RShell(config_1.FlowrConfig.getForEngine(config, 'r-shell'));
             }
             else {
-                await tree_sitter_executor_1.TreeSitterExecutor.initTreeSitter((0, config_1.getEngineConfig)(config, 'tree-sitter'));
+                await tree_sitter_executor_1.TreeSitterExecutor.initTreeSitter(config_1.FlowrConfig.getForEngine(config, 'tree-sitter'));
                 return new tree_sitter_executor_1.TreeSitterExecutor();
             }
         });
@@ -197,15 +200,16 @@ class BenchmarkSlicer {
         this.executor.updateRequest({ criterion: slicingCriteria });
         const totalStopwatch = measurements.start('total');
         const slicedOutput = await this.measureSliceStep('slice', measurements, 'static slicing');
-        stats.slicingCriteria = [...slicedOutput.decodedCriteria];
+        const decodedCriteria = parse_1.SlicingCriteria.decodeAll(slicingCriteria, this.normalizedAst.idMap);
+        stats.slicingCriteria = Array.from(decodedCriteria);
         stats.reconstructedCode = await this.measureSliceStep('reconstruct', measurements, 'reconstruct code');
         totalStopwatch.stop();
         exports.benchmarkLogger.debug(`Produced code for ${JSON.stringify(slicingCriteria)}: ${stats.reconstructedCode.code}`);
         const results = this.executor.getResults(false);
         if (exports.benchmarkLogger.settings.minLevel >= 3 /* LogLevel.Info */) {
-            exports.benchmarkLogger.info(`mapped slicing criteria: ${slicedOutput.decodedCriteria.map(c => {
-                const node = results.normalize.idMap.get(c.id);
-                return `\n-   id: ${c.id}, location: ${JSON.stringify(node?.location)}, lexeme: ${JSON.stringify(node?.lexeme)}`;
+            exports.benchmarkLogger.info(`mapped slicing criteria: ${slicedOutput.slicedFor.map(id => {
+                const node = results.normalize.idMap.get(id);
+                return `\n-   id: ${id}, location: ${JSON.stringify(node?.location)}, lexeme: ${JSON.stringify(node?.lexeme)}`;
             }).join('')}`);
         }
         // if it is not in the dataflow graph it was kept to be safe and should not count to the included nodes
@@ -228,6 +232,13 @@ class BenchmarkSlicer {
         const ast = this.normalizedAst;
         this.controlFlow = this.measureSimpleStep('extract control flow graph', () => (0, extract_cfg_1.extractCfg)(ast, this.context, undefined, undefined, true));
     }
+    extractCG() {
+        exports.benchmarkLogger.trace('try to extract the call graph');
+        this.guardActive();
+        const g = this.dataflow?.graph;
+        (0, assert_1.guard)(g !== undefined, 'dataflow should be defined for call graph extraction');
+        this.callGraph = this.measureSimpleStep('extract call graph', () => call_graph_1.CallGraph.compute(g));
+    }
     /**
      * Infer the shape of data frames using abstract interpretation with {@link inferDataFrameShapes}
      * @returns The statistics of the data frame shape inference
@@ -422,6 +433,7 @@ class BenchmarkSlicer {
         const normalizeTime = Number(this.stats.commonMeasurements.get('normalize R AST'));
         const dataflowTime = Number(this.stats.commonMeasurements.get('produce dataflow information'));
         const controlFlowTime = Number(this.stats.commonMeasurements.get('extract control flow graph'));
+        const callGraphTime = Number(this.stats.commonMeasurements.get('extract call graph'));
         const dataFrameShapeTime = Number(this.stats.commonMeasurements.get('infer data frame shapes'));
         this.stats.retrieveTimePerToken = {
             raw: retrieveTime / this.stats.input.numberOfRTokens,
@@ -439,14 +451,18 @@ class BenchmarkSlicer {
             raw: (retrieveTime + normalizeTime + dataflowTime) / this.stats.input.numberOfRTokens,
             normalized: (retrieveTime + normalizeTime + dataflowTime) / this.stats.input.numberOfNormalizedTokens
         };
-        this.stats.controlFlowTimePerToken = !isNaN(controlFlowTime) ? {
+        this.stats.controlFlowTimePerToken = Number.isNaN(controlFlowTime) ? undefined : {
             raw: controlFlowTime / this.stats.input.numberOfRTokens,
             normalized: controlFlowTime / this.stats.input.numberOfNormalizedTokens,
-        } : undefined;
-        this.stats.dataFrameShapeTimePerToken = !isNaN(dataFrameShapeTime) ? {
+        };
+        this.stats.callGraphTimePerToken = Number.isNaN(callGraphTime) ? undefined : {
+            raw: callGraphTime / this.stats.input.numberOfRTokens,
+            normalized: callGraphTime / this.stats.input.numberOfNormalizedTokens,
+        };
+        this.stats.dataFrameShapeTimePerToken = Number.isNaN(dataFrameShapeTime) ? undefined : {
             raw: dataFrameShapeTime / this.stats.input.numberOfRTokens,
             normalized: dataFrameShapeTime / this.stats.input.numberOfNormalizedTokens,
-        } : undefined;
+        };
         return {
             stats: this.stats,
             parse: typeof this.loadedXml === 'string' ? this.loadedXml : JSON.stringify(this.loadedXml),

package/benchmark/stats/print.js

@@ -104,6 +104,12 @@ Total common time per R token:        ${formatNanoseconds(stats.totalCommonTimeP
 Control flow extraction:              ${print(stats.commonMeasurements, 'extract control flow graph')}
 Control flow extraction per token:    ${formatNanoseconds(stats.controlFlowTimePerToken.normalized)}
 Control flow extraction per R token:  ${formatNanoseconds(stats.controlFlowTimePerToken.raw)}`;
+    }
+    if (stats.commonMeasurements.has('extract call graph') && stats.callGraphTimePerToken !== undefined) {
+        result += `
+Call graph extraction:                ${print(stats.commonMeasurements, 'extract call graph')}
+Call graph extraction per token:      ${formatNanoseconds(stats.callGraphTimePerToken.normalized)}
+Call graph extraction per R token:    ${formatNanoseconds(stats.callGraphTimePerToken.raw)}`;
     }
     if (stats.commonMeasurements.has('infer data frame shapes') && stats.dataFrameShapeTimePerToken !== undefined) {
         result += `
@@ -210,6 +216,12 @@ Total common time per R token:        ${formatSummarizedTimeMeasure(stats.totalC
 Control flow extraction:              ${formatSummarizedTimeMeasure(stats.commonMeasurements.get('extract control flow graph'))}
 Control flow extraction per token:    ${formatSummarizedTimeMeasure(stats.controlFlowTimePerToken.normalized)}
 Control flow extraction per R token:  ${formatSummarizedTimeMeasure(stats.controlFlowTimePerToken.raw)}`;
+    }
+    if (stats.commonMeasurements.has('extract call graph') && stats.callGraphTimePerToken !== undefined) {
+        result += `
+Call graph extraction:                ${formatSummarizedTimeMeasure(stats.commonMeasurements.get('extract call graph'))}
+Call graph extraction per token:      ${formatSummarizedTimeMeasure(stats.callGraphTimePerToken.normalized)}
+Call graph extraction per R token:    ${formatSummarizedTimeMeasure(stats.callGraphTimePerToken.raw)}`;
     }
     if (stats.commonMeasurements.has('infer data frame shapes') && stats.dataFrameShapeTimePerToken !== undefined) {
         result += `

package/benchmark/stats/stats.d.ts

@@ -6,8 +6,8 @@ import type { TimePerToken } from '../summarizer/data';
 import type { MergeableRecord } from '../../util/objects';
 import type { DataFrameOperationName } from '../../abstract-interpretation/data-frame/semantics';
 export declare const RequiredSlicerMeasurements: readonly ["initialize R session", "retrieve AST from R code", "normalize R AST", "produce dataflow information", "close R session", "total"];
-export declare const OptionalSlicerMeasurements: readonly ["extract control flow graph", "infer data frame shapes"];
-export declare const CommonSlicerMeasurements: readonly ["initialize R session", "retrieve AST from R code", "normalize R AST", "produce dataflow information", "close R session", "total", "extract control flow graph", "infer data frame shapes"];
+export declare const OptionalSlicerMeasurements: readonly ["extract control flow graph", "infer data frame shapes", "extract call graph"];
+export declare const CommonSlicerMeasurements: readonly ["initialize R session", "retrieve AST from R code", "normalize R AST", "produce dataflow information", "close R session", "total", "extract control flow graph", "infer data frame shapes", "extract call graph"];
 export type CommonSlicerMeasurements = typeof CommonSlicerMeasurements[number];
 export declare const PerSliceMeasurements: readonly ["static slicing", "reconstruct code", "total"];
 export type PerSliceMeasurements = typeof PerSliceMeasurements[number];
@@ -91,5 +91,6 @@ export interface SlicerStats {
     dataflowTimePerToken: TimePerToken<number>;
     totalCommonTimePerToken: TimePerToken<number>;
     controlFlowTimePerToken?: TimePerToken<number>;
+    callGraphTimePerToken?: TimePerToken<number>;
     dataFrameShapeTimePerToken?: TimePerToken<number>;
 }

package/benchmark/stats/stats.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.PerSliceMeasurements = exports.CommonSlicerMeasurements = exports.OptionalSlicerMeasurements = exports.RequiredSlicerMeasurements = void 0;
 exports.RequiredSlicerMeasurements = ['initialize R session', 'retrieve AST from R code', 'normalize R AST', 'produce dataflow information', 'close R session', 'total'];
-exports.OptionalSlicerMeasurements = ['extract control flow graph', 'infer data frame shapes'];
+exports.OptionalSlicerMeasurements = ['extract control flow graph', 'infer data frame shapes', 'extract call graph'];
 exports.CommonSlicerMeasurements = [...exports.RequiredSlicerMeasurements, ...exports.OptionalSlicerMeasurements];
 exports.PerSliceMeasurements = ['static slicing', 'reconstruct code', 'total'];
 //# sourceMappingURL=stats.js.map

package/benchmark/summarizer/data.d.ts

@@ -65,6 +65,7 @@ export interface UltimateSlicerStats {
     dataflowTimePerToken: TimePerToken;
     totalCommonTimePerToken: TimePerToken;
     controlFlowTimePerToken?: TimePerToken;
+    callGraphTimePerToken?: TimePerToken;
     dataFrameShapeTimePerToken?: TimePerToken;
     sliceTimePerToken: TimePerToken;
     reconstructTimePerToken: TimePerToken;

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

@@ -25,6 +25,7 @@ function summarizeAllSummarizedStats(stats) {
     const dataflowTimesPerToken = [];
     const totalCommonTimesPerToken = [];
     const controlFlowTimePerToken = [];
+    const callGraphTimePerToken = [];
     const dataFrameShapeTimePerToken = [];
     const memory = new defaultmap_1.DefaultMap(() => []);
     const reductions = [];
@@ -52,6 +53,9 @@ function summarizeAllSummarizedStats(stats) {
         if (stat.controlFlowTimePerToken !== undefined) {
             controlFlowTimePerToken.push(stat.controlFlowTimePerToken);
         }
+        if (stat.callGraphTimePerToken !== undefined) {
+            callGraphTimePerToken.push(stat.callGraphTimePerToken);
+        }
         if (stat.dataFrameShapeTimePerToken !== undefined) {
             dataFrameShapeTimePerToken.push(stat.dataFrameShapeTimePerToken);
         }
@@ -82,6 +86,7 @@ function summarizeAllSummarizedStats(stats) {
         dataflowTimePerToken: (0, process_1.summarizeTimePerToken)(dataflowTimesPerToken),
         totalCommonTimePerToken: (0, process_1.summarizeTimePerToken)(totalCommonTimesPerToken),
         controlFlowTimePerToken: controlFlowTimePerToken.length > 0 ? (0, process_1.summarizeTimePerToken)(controlFlowTimePerToken) : undefined,
+        callGraphTimePerToken: callGraphTimePerToken.length > 0 ? (0, process_1.summarizeTimePerToken)(callGraphTimePerToken) : undefined,
         dataFrameShapeTimePerToken: dataFrameShapeTimePerToken.length > 0 ? (0, process_1.summarizeTimePerToken)(dataFrameShapeTimePerToken) : undefined,
         failedToRepParse,
         timesHitThreshold,

package/cli/benchmark-app.d.ts

@@ -16,4 +16,5 @@ export interface BenchmarkCliOptions {
     'per-file-time-limit'?: number;
     'sampling-strategy': string;
     cfg?: boolean;
+    cg?: boolean;
 }

package/cli/benchmark-app.js

@@ -75,6 +75,7 @@ async function benchmark() {
         '--sampling-strategy', options['sampling-strategy'],
         ...(options.seed ? ['--seed', options.seed] : []),
         ...(options.cfg ? ['--cfg'] : []),
+        ...(options.cg ? ['--cg'] : [])
     ]);
     const runs = options.runs ?? 1;
     for (let i = 1; i <= runs; i++) {

package/cli/benchmark-helper-app.d.ts

@@ -10,7 +10,8 @@ export interface SingleBenchmarkCliOptions {
     parser: KnownParserName;
     'dataframe-shape-inference': boolean;
     'max-slices': number;
-    'cfg': boolean;
+    cfg: boolean;
+    cg: boolean;
     threshold?: number;
     'sampling-strategy': string;
     seed?: string;