| 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 7: (Constraint-Based Analysis) | Chapters 12-15 |
| The Fuzzing Book | Lesson 2 (Introduction to Software Testing) | Section I |
| Lesson 3 (Random Testing) | Section II | |
| Lesson 4 (Automated Test Generation) | Section V, Fuzzing APIs | |
| The Debugging Book | Lesson 9 (Statistical Debugging) | Section V |
| Lesson 10 (Delta Debugging) | Section IV | |
| Symbolic Execution and Quantitative Reasoning | Lesson 11 (Dynamic Symbolic Execution) | Chapter 2 |