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

GET 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

GET 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
Static Analysis of Software
Language: en
Pages: 244
Authors: Jean-Louis Boulanger
Categories: Computers
Type: BOOK - Published: 2013-02-07 - Publisher: John Wiley & Sons

GET EBOOK

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book prese
Principles of Program Analysis
Language: en
Pages: 465
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2015-02-27 - Publisher: Springer

GET EBOOK

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code
Software Verification and Analysis
Language: en
Pages: 229
Authors: Janusz Laski
Categories: Computers
Type: BOOK - Published: 2009-04-29 - Publisher: Springer Science & Business Media

GET EBOOK

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools f