Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings - Cousot, Radhia; Martel, Matthieu (Springer Berlin Heidelberg, 2010)