Static analysis is increasingly recognized as a fundamental tool for program veri?cation, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primaryvenueforpresentationoftheoretical, practical, andapplicationadvances in the area. This volume contains the proceedings of the 16th International Static An- ysis Symposium (SAS 2009), which was held August 9-11, 2009 at UCLA, U- versity of California, Los Angeles, USA. The previous SAS conferences were held in Valencia, Spain (2008); Kongens Lyngby, Denmark...