Skip to content

[BUG] FieldSensitivePointBasedHeap creation methods #293

New issue
New issue
Closed
#294
Closed
[BUG] FieldSensitivePointBasedHeap creation methods#293
#294
Assignees
lucaneg
Labels
‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't working🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms
Milestone
0.1
@lucaneg

Description

@lucaneg
lucaneg
opened on Oct 16, 2023

Description
FieldSensitivePointBasedHeap instances created through one of the mk overloads do not retain the field informaiton.

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't working🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms

Type

No type

Projects

LiSA

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions