Skip to content

[AbsInt] Join the abstract domain structure with the improved value handling #1992

@OliverGerstl

Description

@OliverGerstl

Join the new structure of the abstract domains with the improved value handling proposed in PR #1467 to use the implementation of the operators and functions of the new value handling in the abstract domains

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No fields configured for Task.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions