A symbolic analysis framework for static analysis of imperative programming languages - Burgstaller, Bernd; Scholz, Bernhard; Blieberger, Johann (Journal of Systems & Software, 2012)