The Book Quiver
Authors/Xavier RivalKwangkeun Yi/Introduction to Static Analysis
Introduction to Static Analysis
Book profileEnglish (United States)
Book · 1 edition

Introduction to Static Analysis

2020
first published
English
language
1
edition in English
320
pages

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program analysis, or static analysis, aims to discover...

Editions

1 edition · sort: newest