Relation about Shape Analysis - Static Analysis Course TAS (unipi)