search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
234 stars 32 forks source link

Object domain #60

Open LinerSu opened 1 year ago

LinerSu commented 1 year ago

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.