Notes on "Introduction to Static Analysis"

This is a random note I took while reading "Introduction to Static Analyis – An Abstract Interpretation Perspective", by Xavier Rival and Kwangkeun Yi.

2021-05-15 Chapter 5 — Advanced Static Analysis Techniques
2021-05-10 Chapter 4 — A General Static Analysis Framework Based on a Transitional Semantics
2021-05-09 Chapter 3 — A General Static Analysis Framework Based on a Compositional Semantics
2021-04-21 Chapter 2 — A Gentle Introduction to Static Analysis
2021-04-17 Chapter 1 — Program Analysis

© Shuhei Kadowaki.
Last modified: 0001-01-01.
Website built with Franklin.jl and the Julia programming language.