Foreword to the special issue on the 2017 Static Analysis Symposium

Abstract

This volume of Formal Methods in System Design (FMSD) features extended and revised versions of a selection of papers presented at the Static Analysis Symposium (SAS) held on 2017 in New York, NY. The series of Static Analysis Symposia serves as a primary venue for the presentation of theoretical, practical, and applicational advances in the area of static analysis of programs and systems. After the conference, the Program Committee selected the best papers of SAS 2017 and invited their authors to submit an extended version. This special issue of FMSD contains the four high-quality articles that were accepted after a careful reviewing process.