Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7–9 September 2005 at Imperial College London.