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: 577
Pages: 577
Type: BOOK - Published: 2023-10-23 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The
Language: en
Pages: 518
Pages: 518
Type: BOOK - Published: 2016-09-01 - Publisher: Springer
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 p
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2013-02-07 - Publisher: John Wiley & Sons
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book prese
