Related Books
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Language: en
Pages: 1101
Pages: 1101
Type: BOOK - Published: 2007-06-29 - Publisher: Pearson Education
The First Expert Guide to Static Analysis for Software Security! Creating secure code requires more than just good intentions. Programmers need to know that the
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Language: en
Pages: 474
Pages: 474
Type: BOOK - Published: 1994-09-14 - Publisher: Springer Science & Business Media
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings c
Language: en
Pages: 456
Pages: 456
Type: BOOK - Published: 2018-08-28 - Publisher: Springer
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18