Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Cousot, Radhia; Martel, Matthieu (Programming and Software Engineering, 2010)