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: 1099
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 Using SolidWorks Simulation
Language: en
Pages: 353
Authors: Radostina V. Petrova
Categories: Science
Type: BOOK - Published: 2014-09-09 - Publisher: CRC Press

DOWNLOAD EBOOK

Uses Finite Element Analysis (FEA) as Implemented in SolidWorks Simulation Outlining a path that readers can follow to ensure a static analysis that is both acc
Principles of Program Analysis
Language: en
Pages: 465
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2015-02-27 - Publisher: Springer

DOWNLOAD EBOOK

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code
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