This volume constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, California, USA, in June/July 2000. The 20 revised full papers presented were reviewed and selected from 52 submissions. Also included are 2 invited full papers. Various aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code...