seahorn / crab

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

Prototype mru #43

Closed LinerSu closed 1 year ago

LinerSu commented 2 years ago
  1. Prototype a simple update cache if the cache is empty.
  2. Prototype basic operations:
    • fold: add three examples;
    • expand: add two examples.
LinerSu commented 2 years ago

Details about my implementation, I made mru_region_domain class as a friend class of region_domain (also forward declare as well) because all the fields in the original implementation are private members. I think the friend class is the easier way to design so far.

LinerSu commented 1 year ago

new implementation on PR #60.