@eagleoutice/flowr 2.9.9 → 2.9.11

package/abstract-interpretation/domains/state-abstract-domain.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.StateAbstractDomain = void 0;
+exports.MutableStateAbstractDomain = exports.StateAbstractDomain = void 0;
+const lattice_1 = require("./lattice");
 const mapped_abstract_domain_1 = require("./mapped-abstract-domain");
 /**
  * A state abstract domain as mapping of AST node IDs of a program to abstract values of an abstract domain.
@@ -9,12 +10,137 @@ const mapped_abstract_domain_1 = require("./mapped-abstract-domain");
  * @see {@link NodeId} for the node IDs of the AST nodes
  */
 class StateAbstractDomain extends mapped_abstract_domain_1.MappedAbstractDomain {
-    create(value) {
-        return new StateAbstractDomain(value);
+    _isBottom;
+    constructor(value, bottom) {
+        super(value);
+        if (bottom || value.values().some(entry => entry.isBottom())) {
+            this._isBottom = true;
+        }
+    }
+    create(value, bottom) {
+        return new StateAbstractDomain(value, bottom ?? this._isBottom);
     }
-    static bottom() {
+    static top() {
         return new StateAbstractDomain(new Map());
     }
+    get(key, ignoreBottom) {
+        return this._isBottom && !ignoreBottom ? super.get(key)?.bottom() : super.get(key);
+    }
+    set(key, value) {
+        if (value.isBottom()) {
+            this._isBottom = true;
+        }
+        super.set(key, value);
+    }
+    bottom() {
+        return this.create(this.value, true);
+    }
+    top() {
+        return this.create(new Map());
+    }
+    equals(other) {
+        if (this._isBottom !== other._isBottom) {
+            return false;
+        }
+        return super.equals(other);
+    }
+    leq(other) {
+        if (this._isBottom) {
+            return true;
+        }
+        else if (other._isBottom) {
+            return false;
+        }
+        return super.leq(other);
+    }
+    join(other) {
+        if (this._isBottom) {
+            return other.create(other.value);
+        }
+        else if (other._isBottom) {
+            return this.create(this.value);
+        }
+        return super.join(other);
+    }
+    meet(other) {
+        const result = super.meet(other);
+        result._isBottom = this._isBottom || other._isBottom;
+        return result;
+    }
+    widen(other) {
+        if (this._isBottom) {
+            return other.create(other.value);
+        }
+        else if (other._isBottom) {
+            return this.create(this.value);
+        }
+        return super.widen(other);
+    }
+    narrow(other) {
+        const result = super.narrow(other);
+        result._isBottom = this._isBottom || other._isBottom;
+        return result;
+    }
+    concretize(limit) {
+        if (this._isBottom) {
+            return new Set();
+        }
+        else if (this.value.size === 0) {
+            return lattice_1.Top;
+        }
+        return super.concretize(limit);
+    }
+    abstract(concrete) {
+        if (concrete === lattice_1.Top) {
+            return this.top();
+        }
+        else if (concrete.size === 0) {
+            return this.create(new Map(), true);
+        }
+        return super.abstract(concrete);
+    }
+    toJson() {
+        if (this._isBottom) {
+            return lattice_1.BottomSymbol;
+        }
+        else if (this.value.size === 0) {
+            return lattice_1.TopSymbol;
+        }
+        return super.toJson();
+    }
+    toString() {
+        if (this._isBottom) {
+            return lattice_1.BottomSymbol;
+        }
+        else if (this.value.size === 0) {
+            return lattice_1.TopSymbol;
+        }
+        return super.toString();
+    }
+    isTop() {
+        return this.value.size === 0;
+    }
+    isBottom() {
+        return this._isBottom ?? false;
+    }
+    isValue() {
+        return !this._isBottom;
+    }
 }
 exports.StateAbstractDomain = StateAbstractDomain;
+/**
+ * A mutable version of the {@link StateAbstractDomain} with {@link MutableStateAbstractDomain#set|`set`} and {@link MutableStateAbstractDomain#remove|`remove`}.
+ */
+class MutableStateAbstractDomain extends StateAbstractDomain {
+    create(value) {
+        return new MutableStateAbstractDomain(value);
+    }
+    set(key, value) {
+        super.set(key, value);
+    }
+    remove(key) {
+        super.remove(key);
+    }
+}
+exports.MutableStateAbstractDomain = MutableStateAbstractDomain;
 //# sourceMappingURL=state-abstract-domain.js.map

package/abstract-interpretation/normalized-ast-fold.d.ts

@@ -12,7 +12,7 @@ import type { RPipe } from '../r-bridge/lang-4.x/ast/model/nodes/r-pipe';
 import type { RUnaryOp } from '../r-bridge/lang-4.x/ast/model/nodes/r-unary-op';
 import type { RParameter } from '../r-bridge/lang-4.x/ast/model/nodes/r-parameter';
 import type { RArgument } from '../r-bridge/lang-4.x/ast/model/nodes/r-argument';
-import type { RAccess } from '../r-bridge/lang-4.x/ast/model/nodes/r-access';
+import { RAccess } from '../r-bridge/lang-4.x/ast/model/nodes/r-access';
 import type { RLogical } from '../r-bridge/lang-4.x/ast/model/nodes/r-logical';
 import type { RBreak } from '../r-bridge/lang-4.x/ast/model/nodes/r-break';
 import type { RComment } from '../r-bridge/lang-4.x/ast/model/nodes/r-comment';
@@ -21,7 +21,7 @@ import type { RNumber } from '../r-bridge/lang-4.x/ast/model/nodes/r-number';
 import type { RLineDirective } from '../r-bridge/lang-4.x/ast/model/nodes/r-line-directive';
 import type { RString } from '../r-bridge/lang-4.x/ast/model/nodes/r-string';
 import type { RSymbol } from '../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
-import type { RProject } from '../r-bridge/lang-4.x/ast/model/nodes/r-project';
+import { RProject } from '../r-bridge/lang-4.x/ast/model/nodes/r-project';
 type FoldOfType<T extends RType, Returns = void, Info = NoInfo> = (node: Extract<RNode<Info>, {
     type: T;
 }>) => Returns;

package/abstract-interpretation/normalized-ast-fold.js

@@ -3,6 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.DefaultNormalizedAstFold = void 0;
 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 r_access_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-access");
 const r_project_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-project");
 /**
  * Default implementation of a fold over the normalized AST (using the classic fold traversal).
@@ -65,12 +66,12 @@ class DefaultNormalizedAstFold {
         if (Array.isArray(nodes)) {
             const n = nodes;
             return this.concatAll(n.filter(n => n && n !== r_function_call_1.EmptyArgument)
-                .map(node => (0, r_project_1.isRProject)(node) ?
+                .map(node => r_project_1.RProject.is(node) ?
                 this.concatAll(node.files.map(f => this.foldSingle(f.root))) :
                 this.foldSingle(node)));
         }
         else if (nodes) {
-            if ((0, r_project_1.isRProject)(nodes)) {
+            if (r_project_1.RProject.is(nodes)) {
                 return this.concatAll(nodes.files.map(f => this.foldSingle(f.root)));
             }
             return this.foldSingle(nodes);
@@ -87,7 +88,7 @@ class DefaultNormalizedAstFold {
     }
     foldRAccess(access) {
         let accessed = this.foldSingle(access.accessed);
-        if (access.operator === '[' || access.operator === '[[') {
+        if (r_access_1.RAccess.isIndex(access)) {
             accessed = this.concat(accessed, this.fold(access.access));
         }
         return accessed;

package/benchmark/slicer.js

@@ -16,8 +16,6 @@ const strings_1 = require("../util/text/strings");
 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");
-const type_1 = require("../r-bridge/lang-4.x/ast/model/type");
-const visitor_1 = require("../r-bridge/lang-4.x/ast/model/processing/visitor");
 const size_of_1 = require("./stats/size-of");
 const shell_1 = require("../r-bridge/shell");
 const tree_sitter_types_1 = require("../r-bridge/lang-4.x/tree-sitter/tree-sitter-types");
@@ -31,6 +29,8 @@ const lattice_1 = require("../abstract-interpretation/domains/lattice");
 const set_range_domain_1 = require("../abstract-interpretation/domains/set-range-domain");
 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");
 /**
  * The logger to be used for benchmarking as a global object.
  */
@@ -127,9 +127,9 @@ class BenchmarkSlicer {
         let nodesNoComments = 0;
         let commentChars = 0;
         let commentCharsNoWhitespace = 0;
-        (0, visitor_1.visitAst)(this.normalizedAst.ast.files.map(f => f.root), t => {
+        r_project_1.RProject.visitAst(this.normalizedAst.ast, t => {
             nodes++;
-            const comments = t.info.adToks?.filter(t => t.type === type_1.RType.Comment);
+            const comments = t.info.adToks?.filter(r_comment_1.RComment.is);
             if (comments && comments.length > 0) {
                 const content = comments.map(c => c.lexeme ?? '').join('');
                 commentChars += content.length;
@@ -271,7 +271,7 @@ class BenchmarkSlicer {
                 stats.numberOfResultingValues++;
             }
         }
-        (0, visitor_1.visitAst)(this.normalizedAst.ast.files.map(file => file.root), node => {
+        r_project_1.RProject.visitAst(this.normalizedAst.ast, node => {
             const operations = inference.getAbstractOperations(node.info.id);
             const value = inference.getAbstractValue(node.info.id);
             // Only store per-node information for nodes representing expressions or nodes with abstract values

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

@@ -50,10 +50,10 @@ const summarizer_1 = require("../../../util/summarizer");
 const assert_1 = require("../../../util/assert");
 const shell_1 = require("../../../r-bridge/shell");
 const retriever_1 = require("../../../r-bridge/retriever");
-const visitor_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/visitor");
-const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
 const arrays_1 = require("../../../util/collections/arrays");
 const semantics_1 = require("../../../abstract-interpretation/data-frame/semantics");
+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 tempfile = (() => {
     let _tempfile = undefined;
     return () => {
@@ -159,9 +159,9 @@ async function summarizeSlicerStats(stats, report = () => {
             let numberOfNormalizedTokensNoComments = 0;
             let commentChars = 0;
             let commentCharsNoWhitespace = 0;
-            (0, visitor_1.visitAst)(reParsed.ast.files.map(f => f.root), t => {
+            r_project_1.RProject.visitAst(reParsed.ast, t => {
                 numberOfNormalizedTokens++;
-                const comments = t.info.adToks?.filter(t => t.type === type_1.RType.Comment);
+                const comments = t.info.adToks?.filter(r_comment_1.RComment.is);
                 if (comments && comments.length > 0) {
                     const content = comments.map(c => c.lexeme ?? '').join('');
                     commentChars += content.length;

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

@@ -39,7 +39,7 @@ const ast_1 = require("../../../util/mermaid/ast");
 const ansi_1 = require("../../../util/text/ansi");
 const core_1 = require("../core");
 const defaultmap_1 = require("../../../util/collections/defaultmap");
-const visitor_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/visitor");
+const r_project_1 = require("../../../r-bridge/lang-4.x/ast/model/nodes/r-project");
 function formatInfo(out, type, meta) {
     return out.formatter.format(`Copied ${type} to clipboard (normalize: ${meta['.meta'].timing + 'ms'}).`, { color: 7 /* Colors.White */, effect: ansi_1.ColorEffect.Foreground, style: 3 /* FontStyles.Italic */ });
 }
@@ -93,7 +93,7 @@ exports.normalizeHashCommand = {
         const counts = new defaultmap_1.DefaultMap(() => 0);
         let total = 0;
         const files = result.ast.files.length;
-        (0, visitor_1.visitAst)(result.ast.files.map(f => f.root), n => {
+        r_project_1.RProject.visitAst(result.ast, n => {
             counts.set(n.type, counts.get(n.type) + 1);
             total++;
         });

package/cli/repl/core.js

@@ -110,7 +110,7 @@ function replCompleter(line, config) {
 function replQueryCompleter(splitLine, startingNewArg, 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']);
-    if (nonEmpty.length == 0 || (nonEmpty.length == 1 && queryShorts.some(q => q.startsWith(nonEmpty[0]) && nonEmpty[0] !== q && !startingNewArg))) {
+    if (nonEmpty.length === 0 || (nonEmpty.length === 1 && queryShorts.some(q => q.startsWith(nonEmpty[0]) && nonEmpty[0] !== q && !startingNewArg))) {
         return { completions: queryShorts.map(q => `${q} `) };
     }
     else {
@@ -141,7 +141,7 @@ function makeDefaultReplReadline(config) {
  */
 function handleString(code) {
     return {
-        rCode: code.length == 0 ? undefined : (0, strings_1.startAndEndsWith)(code, '"') ? JSON.parse(code) : code,
+        rCode: code.length === 0 ? undefined : (0, strings_1.startAndEndsWith)(code, '"') ? JSON.parse(code) : code,
         remaining: []
     };
 }

package/config.js

@@ -213,7 +213,7 @@ function getEngineConfig(config, engine) {
         return defaultEngineConfigs[engine];
     }
     else {
-        return engines.find(e => e.type == engine);
+        return engines.find(e => e.type === engine);
     }
 }
 function loadConfigFromFile(configFile, workingDirectory) {

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

@@ -34,6 +34,7 @@ declare function uniqueControlFlowSets(cfg: ControlFlowInformation, _info?: CfgP
 declare function toBasicBlocks(cfg: ControlFlowInformation, _info?: CfgPassInfo): ControlFlowInformation;
 /**
  * Uses {@link visitCfgInOrder} to find all nodes that are reachable from the control flow graph's {@link ControlFlowInformation.entryPoints} and returns them as a set.
+ * Please note that this will not visit the grouping delimiters of expression list!
  * @param cfg - The control flow graph whose reachable nodes to find.
  */
 export declare function cfgFindAllReachable(cfg: ControlFlowInformation): Set<NodeId>;

package/control-flow/cfg-simplification.js

@@ -59,6 +59,7 @@ function toBasicBlocks(cfg, _info) {
 }
 /**
  * Uses {@link visitCfgInOrder} to find all nodes that are reachable from the control flow graph's {@link ControlFlowInformation.entryPoints} and returns them as a set.
+ * Please note that this will not visit the grouping delimiters of expression list!
  * @param cfg - The control flow graph whose reachable nodes to find.
  */
 function cfgFindAllReachable(cfg) {

package/control-flow/control-flow-graph.d.ts

@@ -1,4 +1,4 @@
-import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
+import { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { MergeableRecord } from '../util/objects';
 import { RFalse, RTrue } from '../r-bridge/lang-4.x/convert-values';
 /**

package/control-flow/control-flow-graph.js

@@ -343,7 +343,7 @@ exports.CfgVertex = {
      */
     fromExitId(exitId) {
         if (typeof exitId === 'string' && exitId.endsWith('-e')) {
-            return (0, node_id_1.normalizeIdToNumberIfPossible)(exitId.slice(0, -2));
+            return node_id_1.NodeId.normalize(exitId.slice(0, -2));
         }
         else {
             return exitId;
@@ -564,7 +564,6 @@ class ControlFlowGraph {
      */
     addVertex(vertex, rootVertex = true) {
         const vid = exports.CfgVertex.getId(vertex);
-        (0, assert_1.guard)(!this.vtxInfos.has(vid), `Node with id ${vid} already exists`);
         if (exports.CfgVertex.isBlock(vertex)) {
             this._mayBB = true;
             const elems = exports.CfgVertex.getBasicBlockElements(vertex);

package/control-flow/extract-cfg.js

@@ -6,7 +6,7 @@ exports.extractCfgQuick = extractCfgQuick;
 exports.getCallsInCfg = getCallsInCfg;
 exports.cfg2quads = cfg2quads;
 const quads_1 = require("../util/quads");
-const fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/fold");
+const r_function_definition_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-function-definition");
 const r_function_call_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const linker_1 = require("../dataflow/internal/linker");
 const vertex_1 = require("../dataflow/graph/vertex");
@@ -14,7 +14,18 @@ const control_flow_graph_1 = require("./control-flow-graph");
 const cfg_simplification_1 = require("./cfg-simplification");
 const assert_1 = require("../util/assert");
 const built_in_1 = require("../dataflow/environments/built-in");
+const stateful_fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/stateful-fold");
+const model_1 = require("../r-bridge/lang-4.x/ast/model/model");
 const cfgFolds = {
+    down: (n, down) => {
+        if (r_function_definition_1.RFunctionDefinition.is(n)) {
+            return [down[0], true];
+        }
+        else if (model_1.RLoopConstructs.is(n)) {
+            return [true, down[1]];
+        }
+        return down;
+    },
     foldNumber: cfgLeaf(control_flow_graph_1.CfgVertexType.Expression),
     foldString: cfgLeaf(control_flow_graph_1.CfgVertexType.Expression),
     foldLogical: cfgLeaf(control_flow_graph_1.CfgVertexType.Expression),
@@ -99,7 +110,7 @@ function cfgFoldProject(proj, folds) {
         return (0, control_flow_graph_1.emptyControlFlowInformation)();
     }
     else if (proj.files.length === 1) {
-        return (0, fold_1.foldAst)(proj.files[0].root, folds);
+        return (0, stateful_fold_1.foldAstStateful)(proj.files[0].root, [false, false], folds);
     }
     /* for many files, it is too expensive to keep all asts at once, hence we create and merge them incrementally */
     let exitPoints;
@@ -109,7 +120,7 @@ function cfgFoldProject(proj, folds) {
     let nexts;
     let returns;
     {
-        const firstInfo = (0, fold_1.foldAst)(proj.files[0].root, folds);
+        const firstInfo = (0, stateful_fold_1.foldAstStateful)(proj.files[0].root, [false, false], folds);
         exitPoints = firstInfo.exitPoints;
         finalGraph = firstInfo.graph;
         firstEntryPoints = firstInfo.entryPoints;
@@ -118,7 +129,7 @@ function cfgFoldProject(proj, folds) {
         returns = firstInfo.returns;
     }
     for (let i = 1; i < proj.files.length; i++) {
-        const nextInfo = (0, fold_1.foldAst)(proj.files[i].root, folds);
+        const nextInfo = (0, stateful_fold_1.foldAstStateful)(proj.files[i].root, [false, false], folds);
         finalGraph.mergeWith(nextInfo.graph);
         for (const exitPoint of exitPoints) {
             for (const entryPoint of nextInfo.entryPoints) {
@@ -147,17 +158,23 @@ function cfgLeaf(type) {
     };
 }
 const cfgLeafStatement = cfgLeaf(control_flow_graph_1.CfgVertexType.Statement);
-function cfgBreak(leaf) {
+function cfgBreak(leaf, down) {
+    if (!down[0]) {
+        return cfgLeafStatement(leaf);
+    }
     return { ...cfgLeafStatement(leaf), breaks: [leaf.info.id], exitPoints: [] };
 }
-function cfgNext(leaf) {
+function cfgNext(leaf, down) {
+    if (!down[0]) {
+        return cfgLeafStatement(leaf);
+    }
     return { ...cfgLeafStatement(leaf), nexts: [leaf.info.id], exitPoints: [] };
 }
 function cfgIgnore(_leaf) {
     return { graph: new control_flow_graph_1.ControlFlowGraph(), breaks: [], nexts: [], returns: [], exitPoints: [], entryPoints: [] };
 }
 function identifyMayStatementType(node) {
-    return node.info.role === "expr-list-child" /* RoleInParent.ExpressionListChild */ ? control_flow_graph_1.CfgVertexType.Statement : control_flow_graph_1.CfgVertexType.Expression;
+    return node.info.role === "el-c" /* RoleInParent.ExpressionListChild */ ? control_flow_graph_1.CfgVertexType.Statement : control_flow_graph_1.CfgVertexType.Expression;
 }
 function cfgIfThenElse(ifNode, condition, then, otherwise) {
     const ifId = ifNode.info.id;
@@ -318,7 +335,7 @@ function cfgFunctionDefinition(fn, params, body) {
     }
     return { graph: graph, breaks: [], nexts: [], returns: [], exitPoints: [fnId], entryPoints: [fnId] };
 }
-function cfgFunctionCall(call, name, args) {
+function cfgFunctionCall(call, name, args, down) {
     if (call.named && call.functionName.content === 'ifelse') {
         // special built-in handling for ifelse as it is an expression that does not short-circuit
         return cfgIfThenElse(call, args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2]);
@@ -358,30 +375,32 @@ function cfgFunctionCall(call, name, args) {
         graph.addEdge(control_flow_graph_1.CfgVertex.toExitId(callId), exit, control_flow_graph_1.CfgEdge.makeFd());
     }
     if (call.named && call.functionName.content === 'return') {
-        info.returns.push(control_flow_graph_1.CfgVertex.toExitId(callId));
-        info.exitPoints.length = 0;
+        if (down[1]) {
+            info.returns.push(control_flow_graph_1.CfgVertex.toExitId(callId));
+            info.exitPoints.length = 0;
+        }
     }
     // should not contain any breaks, nexts, or returns, (except for the body if something like 'break()')
     return info;
 }
 exports.ResolvedCallSuffix = control_flow_graph_1.CfgVertex.toExitId('-resolved-call');
 const OriginToFoldTypeMap = {
-    [built_in_1.BuiltInProcName.IfThenElse]: (folds, call, args) => {
+    [built_in_1.BuiltInProcName.IfThenElse]: (folds, call, args, down) => {
         // arguments are in order!
         return folds.foldIfThenElse(call, // we will have to this more sophisticated if we rewrite the dfg based generation
-        args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2], undefined);
+        args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2], down);
     }
 };
 function cfgFunctionCallWithDataflow(graph, folds) {
-    return (call, name, args) => {
+    return (call, name, args, down) => {
         const vtx = graph.getVertex(call.info.id);
         if (vtx?.tag === vertex_1.VertexType.FunctionCall && vtx.onlyBuiltin && vtx.origin.length === 1) {
             const mayMap = OriginToFoldTypeMap[vtx.origin[0]];
             if (mayMap) {
-                return mayMap(folds, call, args, vtx);
+                return mayMap(folds, call, args, down, vtx);
             }
         }
-        const baseCfg = cfgFunctionCall(call, name, args);
+        const baseCfg = cfgFunctionCall(call, name, args, down);
         /* try to resolve the call and link the target definitions */
         const targets = (0, linker_1.getAllFunctionCallTargets)(call.info.id, graph);
         const exits = [];

package/control-flow/semantic-cfg-guided-visitor.js

@@ -279,6 +279,7 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
             case built_in_1.BuiltInProcName.Recall:
                 return this.onRecallCall({ call });
             case built_in_1.BuiltInProcName.Default:
+            case built_in_1.BuiltInProcName.DefaultReadAllArgs:
             case built_in_1.BuiltInProcName.Function:
             case built_in_1.BuiltInProcName.FunctionDefinition:
                 return this.onDefaultFunctionCall({ call });

package/dataflow/cluster.js

@@ -37,7 +37,7 @@ function makeCluster(graph, from, notReached) {
     // cluster adjacent edges
     for (const [dest, e] of [...graph.outgoingEdges(from) ?? [], ...graph.ingoingEdges(from) ?? []]) {
         // don't cluster for function content if it isn't returned
-        if (edge_1.DfEdge.doesNotIncludeType(e, edge_1.EdgeType.Returns) && info.onlyBuiltin && info.name == '{') {
+        if (edge_1.DfEdge.doesNotIncludeType(e, edge_1.EdgeType.Returns) && info.onlyBuiltin && info.name === '{') {
             continue;
         }
         if (notReached.delete(dest)) {

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

@@ -16,8 +16,8 @@ import { processExpressionList } from '../internal/process/functions/call/built-
 import { processGet } from '../internal/process/functions/call/built-in/built-in-get';
 import type { AstIdMap, ParentInformation, RNodeWithParent } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 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 { RSymbol } from '../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
+import { type BuiltIn, NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { processLibrary } from '../internal/process/functions/call/built-in/built-in-library';
 import { processSourceCall } from '../internal/process/functions/call/built-in/built-in-source';
 import type { ForceArguments } from '../internal/process/functions/call/common';
@@ -42,19 +42,6 @@ import { processS3Dispatch } from '../internal/process/functions/call/built-in/b
 import { processRecall } from '../internal/process/functions/call/built-in/built-in-recall';
 import { processS7NewGeneric } from '../internal/process/functions/call/built-in/built-in-s-seven-new-generic';
 import { processS7Dispatch } from '../internal/process/functions/call/built-in/built-in-s-seven-dispatch';
-export type BuiltIn = `built-in:${string}`;
-/**
- * Generate a built-in id for the given name
- */
-export declare function builtInId<T extends string>(name: T): `built-in:${T}`;
-/**
- * Checks whether the given name is a built-in identifier
- */
-export declare function isBuiltIn(name: NodeId | string): name is BuiltIn;
-/**
- * Drops the `built-in:` prefix from the given built-in name
- */
-export declare function dropBuiltInPrefix<T extends string>(name: `built-in:${T}`): T;
 export type BuiltInIdentifierProcessor = <OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>) => DataflowInformation;
 export type BuiltInIdentifierProcessorWithConfig<Config> = <OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, config: Config) => DataflowInformation;
 export interface BuiltInIdentifierDefinition extends IdentifierReference {
@@ -94,6 +81,7 @@ export interface BuiltInEvalHandlerArgs {
 }
 export type BuiltInEvalHandler = (args: BuiltInEvalHandlerArgs) => Value;
 declare function defaultBuiltInProcessor<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, { returnsNthArgument, useAsProcessor, forceArgs, readAllArguments, cfg, hasUnknownSideEffects, treatAsFnCall }: DefaultBuiltInProcessorConfiguration): DataflowInformation;
+declare function defaultBuiltInProcessorReadallArgs<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, { useAsProcessor, forceArgs }: Pick<DefaultBuiltInProcessorConfiguration, 'useAsProcessor' | 'forceArgs'>): DataflowInformation;
 /**
  * This contains all names of built-in function handlers and origins
  */
@@ -110,6 +98,8 @@ export declare enum BuiltInProcName {
     Break = "builtin:break",
     /** the default built-in processor, see {@link defaultBuiltInProcessor} */
     Default = "builtin:default",
+    /** Just a more performant variant of the default processor for built-ins that need to read all their arguments, see {@link defaultBuiltInProcessor}, this will still produce the origin `BuiltIn.Default` */
+    DefaultReadAllArgs = "builtin:default-read-all-args",
     /** for `eval` calls, see {@link processEvalCall} */
     Eval = "builtin:eval",
     /** for expression lists, see {@link processExpressionList} */
@@ -181,6 +171,7 @@ export declare const BuiltInProcessorMapper: {
     readonly "builtin:assignment": typeof processAssignment;
     readonly "builtin:assignment-like": typeof processAssignmentLike;
     readonly "builtin:default": typeof defaultBuiltInProcessor;
+    readonly "builtin:default-read-all-args": typeof defaultBuiltInProcessorReadallArgs;
     readonly "builtin:eval": typeof processEvalCall;
     readonly "builtin:expression-list": typeof processExpressionList;
     readonly "builtin:for-loop": typeof processForLoop;