A Taxonomy of Program Analyses