International Static Analysis Symposium (17th 2010 Perpignan, France)