Skip to content

[Bug]: Pointer-Analysis is Wrong for Multiple Dimensions #1486

Open
@EagleoutIce

Description

@EagleoutIce

What happened?

Given:

a <- 3
b <- 4
f[,,1,14] <- a
f[,,1,15] <- b
print(f)

Slicing for 5@print produces:

b <- 4
f[,,1,15] <- b
print(f)

(in reality, f is probably something like a multi-dimensional array)

the correct output would be to include everything:

a <- 3
b <- 4
f[,,1,14] <- a
f[,,1,15] <- b
print(f)

What version of R do you have installed?

4.4.2

What version of flowR did you use?

v2.2.12 (Mar 17, 2025)

Related input code

Relevant log output

Meta Information

  • The Issue is Urgent
  • I Used the Dockerized Version of flowr

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingdataflowRelated to dataflow extractionpointer analysisRefers to the pointer analysis, alias tracking, and context-sensitive capabilities of flow'R.

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions