Book Relevant Lessons
Static Program Analysis Lesson 1 (Introduction to Software Analysis)Chapters 1 and 2
Lesson 5 (Dataflow Analysis)Chapters 4, 5, and 6
Lesson 6 (Pointer Analysis)Chapter 9
Lesson 7 (Constraint-Based Analysis)Chapters 7 and 8
Lesson 8 (Type Systems)Chapter 3
Types and Programming Languages Lesson 8 (Type Systems)
Foundations of Databases Lesson 10: Constraint-Based Analysis)Chapters 12-15