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

[BUG] Annotations are not propagated to heap identifiers #286

Closed
VincenzoArceri opened this issue Sep 7, 2023 · 0 comments · Fixed by #289
Closed

[BUG] Annotations are not propagated to heap identifiers #286

VincenzoArceri opened this issue Sep 7, 2023 · 0 comments · Fixed by #289
Assignees
@VincenzoArceri
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 🐛 type:bug Something isn't working
Milestone
0.1b9

Comments

@VincenzoArceri
Copy link
Collaborator

Description
Annotation information is not propagated to the heap, that is it is not propagated to heap identifiers.
@VincenzoArceri VincenzoArceri added the 🐛 type:bug Something isn't working label Sep 7, 2023
@VincenzoArceri VincenzoArceri self-assigned this Sep 7, 2023
@lucaneg lucaneg added this to LiSA Sep 7, 2023
@lucaneg lucaneg moved this to Backlog in LiSA Sep 7, 2023
@lucaneg lucaneg added ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Sep 8, 2023
@lucaneg lucaneg added this to the 0.1 milestone Sep 8, 2023
@lucaneg lucaneg moved this from Backlog to Todo in LiSA Sep 8, 2023
@lucaneg lucaneg modified the milestones: 0.1, 0.1b9 Sep 8, 2023
@lucaneg lucaneg mentioned this issue Sep 11, 2023
Merged
@VincenzoArceri VincenzoArceri mentioned this issue Sep 21, 2023
Merged
@lucaneg lucaneg moved this from Todo to In Progress in LiSA Sep 28, 2023
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 2, 2023
@lucaneg lucaneg moved this from In Progress to Done in LiSA Oct 2, 2023
@github-project-automation github-project-automation bot moved this from Done to Merged in LiSA Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@VincenzoArceri VincenzoArceri

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 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1b9
Development

Successfully merging a pull request may close this issue.

Beta9 roundup lisa-analyzer/lisa
2 participants
@VincenzoArceri @lucaneg