Publisher: Springer; 2014 edition (August 20, 2014)
Format: PDF / Kindle / ePub
Size: 7.3 MB
Downloadable formats: PDF
This publication constitutes the completely refereed complaints of the twenty first foreign Symposium on Static research, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised complete papers have been chosen from fifty three submissions and are provided including three invited talks. The papers deal with all elements of static research, together with summary interpretation, summary trying out, malicious program detection, facts movement research, version checking, application transformation, application verification, safeguard research, and sort checking.