Practical Shape Analysis