Skip to content

[FEATURE REQUEST] Parametrize open call behavior #151

@lucaneg

Description

@lucaneg

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