You are about to access our book library "Shape Analysis full version" .