# Introduction to Static Analysis

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

![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)

- Authors: [Xavier Rival](https://www.bookquiver.com/xavier-rival), [Kwangkeun Yi](https://www.bookquiver.com/kwangkeun-yi)
- Language: en_US
- Published: 2020-02-11

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

## Editions

### Introduction to Static Analysis

- Publisher: the_mit_press
- ISBN: 978-02-6204-341-0
- Pages: 320
- Published: 2020-02-11
- Language: en_US