Unbounded Static Analysis

Christian Gram Kalhauge

Table of Contents

  1. Dependent Values
  2. Implementing an Abstract Interpreter
  3. Unbounded Static Analysis

Questions

  1. What is the primary problem when doing unbounded static analysis?

  2. Why do we need a widening operator?

Dependent Values (§1)

Dependencies between different values. (§1.1)

Implementing an Abstract Interpreter (§2)

Grouping Per Instruction (§2.1)

Grouping Per Variable (§2.2)

Doing the Operation (§2.3)

Constraining the Space (§2.4)

Unbounded Static Analysis (§3)

Fixed Points (§3.1)

The Interval Abstraction (§3.2)

The Widening Operator (§3.3)

The Worklist Algorithm (§3.4)

The Reverse Post-Order (§3.4.1)

Questions

  1. What is the primary problem when doing unbounded static analysis?

  2. Why do we need a widening operator?