Related Books

Introduction to Static Analysis
Language: en
Pages: 315
Authors: Xavier Rival
Categories: Computers
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press

DOWNLOAD EBOOK

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Secure Programming with Static Analysis
Language: en
Pages: 1101
Authors: Brian Chess
Categories: Computers
Type: BOOK - Published: 2007-06-29 - Publisher: Pearson Education

DOWNLOAD EBOOK

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
Introduction to Static Analysis
Language: en
Pages: 315
Authors: Xavier Rival
Categories: Computers
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press

DOWNLOAD EBOOK

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Static Analysis
Language: en
Pages: 474
Authors: Baudouin LeCharlier
Categories: Computers
Type: BOOK - Published: 1994-09-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings c
Static Analysis
Language: en
Pages: 456
Authors: Andreas Podelski
Categories: Computers
Type: BOOK - Published: 2018-08-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18