Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[FEATURE REQUEST] Transform SymbolAliasing to a generic map #287

Closed
lucaneg opened this issue Sep 8, 2023 · 0 comments · Fixed by #289
Closed

[FEATURE REQUEST] Transform SymbolAliasing to a generic map #287

lucaneg opened this issue Sep 8, 2023 · 0 comments · Fixed by #289
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
Milestone
0.1b9

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 8, 2023

Description
Some analyses/languages might need to add other information to the state of the analysis that should also be part of the fixpoint computation, similarly to what happens with SymbolAliasing. The AnalysisState should contain a generic mapping from string keys to lattice instances, enabling custom information storage for each frontend.
@lucaneg lucaneg added 🎆 type:feature New feature or request ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Sep 8, 2023
@lucaneg lucaneg added this to the 0.1 milestone Sep 8, 2023
@lucaneg lucaneg self-assigned this Sep 8, 2023
@lucaneg lucaneg modified the milestones: 0.1, 0.1b9 Sep 8, 2023
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Sep 11, 2023
lucaneg added a commit that referenced this issue Sep 11, 2023
@lucaneg
Adding FixpointInfo #287
b44d850
@lucaneg lucaneg mentioned this issue Sep 11, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
Projects
LiSA
Archived in project
Milestone
0.1b9
Development

Successfully merging a pull request may close this issue.

Beta9 roundup lisa-analyzer/lisa
1 participant
@lucaneg