Publisher's Synopsis
Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis.