Explainable Static Analysis. - Bodden, Eric; Do, Lisa Nguyen Quang (2018)