𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Static Program Analysis

✍ Scribed by Engr. Michael David


Tongue
English
Leaves
158
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


TOC1
TOC2


πŸ“œ SIMILAR VOLUMES


Static Program Analysis
✍ Anders MΓΈller, Michael I. Schwartzbach πŸ“‚ Library πŸ“… 2018 πŸ› Aarhus University 🌐 English
Secure Programming with Static Analysis
✍ Brian Chess, Jacob West πŸ“‚ Library πŸ“… 2007 πŸ› Addison-Wesley Professional 🌐 English

To secure complex enterprise and commercial software systems, developers must evaluate enormous code bases and predict their behavior in a nearly infinite number of configurations. Static source code analysis tools automate much of this checking, acting like spell-checkers to systematically identify