Skip to content

[AbsInt] Fix several issues with absint framework and data frame shape inference#2416

Merged
OliverGerstl merged 10 commits intomainfrom
2415-absint-fis-several-issues-with-absint-framework-and-data-frame-shape-inference
Apr 2, 2026
Merged

[AbsInt] Fix several issues with absint framework and data frame shape inference#2416
OliverGerstl merged 10 commits intomainfrom
2415-absint-fis-several-issues-with-absint-framework-and-data-frame-shape-inference

Conversation

@OliverGerstl
Copy link
Copy Markdown
Collaborator

  • Correct over-approximation for data frames resulting from too large CSV files
  • Improve visitation order of absint visitor in case of break and next
  • Handle unsupported environment-modifying functions
  • Better support unknown cases of functions returning data frames
  • Fix representation of bottom of the state abstract domain

Comment thread src/abstract-interpretation/data-frame/mappers/access-mapper.ts Outdated
Comment thread src/abstract-interpretation/data-frame/mappers/arguments.ts
Comment thread src/abstract-interpretation/data-frame/mappers/function-mapper.ts
Comment thread src/abstract-interpretation/data-frame/mappers/function-mapper.ts Outdated
Comment thread src/abstract-interpretation/data-frame/mappers/function-mapper.ts
Comment thread src/abstract-interpretation/unsupported-functions.ts Outdated
Comment thread src/abstract-interpretation/domains/product-domain.ts Outdated
Comment thread src/abstract-interpretation/domains/product-domain.ts
Comment thread src/abstract-interpretation/absint-visitor.ts
Comment thread package.json
@OliverGerstl OliverGerstl merged commit 71fc28f into main Apr 2, 2026
11 checks passed
@OliverGerstl OliverGerstl deleted the 2415-absint-fis-several-issues-with-absint-framework-and-data-frame-shape-inference branch April 2, 2026 07:47
@EagleoutIce
Copy link
Copy Markdown
Member

This pull request is included in v2.10.2 (see Release v2.10.2 (Pipes, Purrr, Dplyr, NSE, and more :))).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[AbsInt] Fix several issues with absint framework and data frame shape inference

2 participants