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 Using SolidWorks Simulation
Language: en
Pages: 348
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 SimulationOutlining a path that readers can follow to ensure a static analysis that is both accu
Principles of Abstract Interpretation
Language: en
Pages: 833
Authors: Patrick Cousot
Categories: Computers
Type: BOOK - Published: 2021-09-21 - Publisher: MIT Press

DOWNLOAD EBOOK

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.
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