Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation