Static Analysis

Static Analysis PDF Author: Sandrine Blazy
Publisher: Springer
ISBN: 3662482886
Category : Computers
Languages : en
Pages : 345

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area