crab icon indicating copy to clipboard operation
crab copied to clipboard

Published 20 hours ago • verified publisher icon seahorn

Object domain

Open LinerSu opened this issue 1 year ago • 0 comments

A new abstract domain for the refinement of DSA. It keeps relational properties between the fields of memory objects shared in the same DSA node.

LinerSu avatar Sep 21 '23 01:09 LinerSu