@eagleoutice/flowr 2.2.9 → 2.2.10

package/README.md

@@ -48,7 +48,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.2.8, R v4.4.0 (r-shell engine)
+    flowR repl using flowR v2.2.9, R v4.4.0 (r-shell engine)
     R> :slicer test/testfiles/example.R --criterion "11@sum"
     ```
     
@@ -95,7 +95,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!">120.8 ms</span></i> (as of Feb 19, 2025), 
+  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">122.2 ms</span></i> (as of Feb 21, 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.
 
@@ -131,7 +131,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.2.8, R v4.4.0 (r-shell engine)
+    flowR repl using flowR v2.2.9, R v4.4.0 (r-shell engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -377,7 +377,7 @@ It offers a wide variety of features, for example:
     ```
     
     	
-    (The analysis required _22.72 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 _21.60 ms_ (including parse and normalize, using the [r-shell](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     

package/dataflow/environments/default-builtin-config.js

@@ -114,10 +114,21 @@ exports.DefaultBuiltinConfig = [
     { type: 'function', names: ['while'], processor: 'builtin:while-loop', config: {}, assumePrimitive: true },
     { type: 'function', names: ['do.call'], processor: 'builtin:apply', config: { indexOfFunction: 0, unquoteFunction: true }, assumePrimitive: true },
     { type: 'function', names: ['list'], processor: 'builtin:list', config: {}, assumePrimitive: true },
+    {
+        type: 'function',
+        names: ['setnames', 'setNames', 'setkey', 'setkeyv', 'setindex', 'setindexv', 'setattr'],
+        processor: 'builtin:assignment',
+        config: {
+            canBeReplacement: false,
+            targetVariable: false,
+            makeMaybe: true,
+            mayHaveMoreArgs: true
+        }
+    },
     {
         type: 'function',
         names: [
-            'on.exit', 'sys.on.exit', 'par', 'setnames', 'setNames', 'setkey', 'setkeyv', 'setindex', 'setindexv', 'setattr', 'sink',
+            'on.exit', 'sys.on.exit', 'par', 'sink',
             /* library and require is handled above */
             'requireNamespace', 'loadNamespace', 'attachNamespace', 'asNamespace',
             /* downloader and installer functions (R, devtools, BiocManager) */

package/dataflow/graph/resolve-graph.js

@@ -46,6 +46,14 @@ function resolveDataflowGraph(graph, idMap) {
             }
         }
     }
+    for (const unknown of graph.unknownSideEffects) {
+        if (typeof unknown === 'object') {
+            resultGraph.markIdForUnknownSideEffects(resolve(unknown.id), unknown.linkTo);
+        }
+        else {
+            resultGraph.markIdForUnknownSideEffects(resolve(unknown));
+        }
+    }
     return resultGraph;
 }
 //# sourceMappingURL=resolve-graph.js.map

package/dataflow/internal/process/functions/call/built-in/built-in-assignment.d.ts

@@ -20,6 +20,7 @@ export interface AssignmentConfiguration extends ForceArguments {
     /** is the target a variable pointing at the actual name? */
     readonly targetVariable?: boolean;
     readonly indicesCollection?: ContainerIndicesCollection;
+    readonly mayHaveMoreArgs?: boolean;
 }
 /**
  * Processes an assignment, i.e., `<target> <- <source>`.

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

@@ -53,7 +53,7 @@ function findRootAccess(node) {
 function processAssignment(name, 
 /* we expect them to be ordered in the sense that we have (source, target): `<source> <- <target>` */
 args, rootId, data, config) {
-    if (args.length != 2) {
+    if (!config.mayHaveMoreArgs && args.length !== 2) {
         logger_1.dataflowLogger.warn(`Assignment ${name.content} has something else than 2 arguments, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, forceArgs: config.forceArgs }).information;
     }
@@ -217,14 +217,12 @@ function markAsAssignment(information, nodeToDefine, sourceIds, rootIdOfAssignme
         }
     }
     information.graph.addEdge(nodeToDefine, rootIdOfAssignment, edge_1.EdgeType.DefinedBy);
-    if ((0, config_1.getConfig)().solver.pointerTracking) {
-        // kinda dirty, but we have to remove existing read edges for the symbol, added by the child
-        const out = information.graph.outgoingEdges(nodeToDefine.nodeId);
-        for (const [id, edge] of (out ?? [])) {
-            edge.types &= ~edge_1.EdgeType.Reads;
-            if (edge.types == 0) {
-                out?.delete(id);
-            }
+    // kinda dirty, but we have to remove existing read edges for the symbol, added by the child
+    const out = information.graph.outgoingEdges(nodeToDefine.nodeId);
+    for (const [id, edge] of (out ?? [])) {
+        edge.types &= ~edge_1.EdgeType.Reads;
+        if (edge.types === 0) {
+            out?.delete(id);
         }
     }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.2.9",
+  "version": "2.2.10",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {

package/util/version.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.flowrVersion = flowrVersion;
 const semver_1 = require("semver");
 // this is automatically replaced with the current version by release-it
-const version = '2.2.9';
+const version = '2.2.10';
 function flowrVersion() {
     return new semver_1.SemVer(version);
 }