Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Müller-Olm, Markus; Seidl, Helmut (Springer International Publishing : Imprint: Springer, 2014)