Relation about Shape Analysis - Static Analysis Course TAS (unipi) - View it on GitHub