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] FieldSensitivePointBasedHeap creation methods #293

Closed
lucaneg opened this issue Oct 16, 2023 · 0 comments · Fixed by #294
Closed

[BUG] FieldSensitivePointBasedHeap creation methods #293

lucaneg opened this issue Oct 16, 2023 · 0 comments · Fixed by #294
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 🐛 type:bug Something isn't working
Milestone
0.1

Comments

@lucaneg
Copy link
Member

lucaneg commented Oct 16, 2023

Description
FieldSensitivePointBasedHeap instances created through one of the mk overloads do not retain the field informaiton.
@lucaneg lucaneg added 🐛 type:bug Something isn't working ‼ priority:p1 Priority planning - level 1 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Oct 16, 2023
@lucaneg lucaneg added this to the 0.1 milestone Oct 16, 2023
@lucaneg lucaneg self-assigned this Oct 16, 2023
lucaneg added a commit that referenced this issue Oct 16, 2023
@lucaneg
Propagating field information #293
bb7e271
@lucaneg lucaneg mentioned this issue Oct 16, 2023
Merged
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 16, 2023
@lucaneg lucaneg changed the title [BUG] [BUG] FieldSensitivePointBasedHeap creation methods Dec 5, 2023
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 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1
Development

Successfully merging a pull request may close this issue.

Propagating field information lisa-analyzer/lisa
1 participant
@lucaneg