Skip to content

[Bug]: Fix issues identified during evaluation of data frame access validation #2005

@OliverGerstl

Description

@OliverGerstl

What happened?

  • State domain is not over-approximated to Top when processing functions with unknown side effects (e.g. ecal or load)
  • Columns created by summarize and accessed in other arguments of summarize are wrongly mapped as accessed columns (e.g. in summarize(df, n = n(), mean = score / n))
  • Data frames appended to an empty data frame via rbind should append the columns of the second data frame (e.g. rbind(data.frame(), df))

What version of R do you have installed?

No response

What version of flowR did you use?

v2.6.1 (Oct 21, 2025)

Relevant log output

Meta Information

  • The issue is urgent
  • I used flowR as a docker image

Metadata

Metadata

Assignees

Labels

bugSomething isn't workingdata frame shape inferenceRelated to inferring the shape of data frames using abstract interpretation

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions