Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings - Yahav, Eran (Springer Berlin Heidelberg : Imprint: Springer, 2011)