Skip to content

[FEATURE REQUEST] Parametrize open call behavior #151

New issue
New issue
Closed
#156
Closed
[FEATURE REQUEST] Parametrize open call behavior#151
#156
Assignees
lucaneg
Labels
‼ priority:p1Priority planning - level 1🎆 type:featureNew feature or request🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms
Milestone
0.1b4
@lucaneg

Description

@lucaneg
lucaneg
opened on Jan 6, 2022

Description
The semantics of open calls always return the top state. This should be customizable: there might be scenarios where only the returned value is top, or everything reachable by the parameters becomes top.

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🎆 type:featureNew feature or request🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions