Das Buch "Static Analysis" dokumentiert die referierten Beiträge des 24. Internationalen Symposiums zur statischen Analyse, das im Jahr 2017 in New York stattfand. In diesem Band sind 22 sorgfältig ausgewählte und begutachtete Arbeiten enthalten, die aus insgesamt 50 eingereichten Manuskripten hervorgegangen sind. Die behandelten Themen decken ein breites Spektrum ab, das sowohl theoretische als auch praktische Fortschritte in der statischen Analyse umfasst. Diese Disziplin ist ein entscheidendes Werkzeug für die Programmverifikation, die Fehlererkennung, die Organisation von Compilern, das Verständnis von Programmen und die Wartung von Software. Die Beiträge bieten wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen in diesem wichtigen Forschungsbereich.