# Introduction to Static Analysis

Canonical: https://www.bookquiver.com/xavier-rival/introduction-to-static-analysis/9780262043410

![Introduction to Static Analysis](https://quivercdn.com/covers/the-mit-press/xavier-rival/introduction-to-static-analysis_978-02-6204-341-0.jpg?v=2026-06-07%2005%3A53%3A31)

- Book: [Introduction to Static Analysis](https://www.bookquiver.com/xavier-rival/introduction-to-static-analysis) ([Introduction to Static Analysis.md](https://www.bookquiver.com/xavier-rival/introduction-to-static-analysis.md))
- Authors: [Xavier Rival](https://www.bookquiver.com/xavier-rival), [Kwangkeun Yi](https://www.bookquiver.com/kwangkeun-yi)
- Publisher: the_mit_press
- ISBN: 978-02-6204-341-0
- Pages: 320
- Published: 2020-02-11
- Language: en_US
- Binding: Hardcover

## Description

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...