Parametric Shape Analysis via 3-Valued Logic Mooly Sagiv Thomas Reps Reinhard Wilhelm pointer analysis? points-to analysis? shape analysis? alias analysis? The Shape-Analysis…