Text this: Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Markus Müller-Olm, Helmut Seidl (eds.).