chapter 1 An Introduction to Data Flow Analysis -- part I Intraprocedural Data Flow Analysis -- chapter 2 Classical Bit Vector Data Flow Analysis -- chapter 3 Theoretical Abstractions in Data Flow Analysis -- chapter 4 General Data Flow Frameworks -- chapter 5 Complexity of Iterative Data Flow Analysis -- chapter 6 Single Static Assignment Form as Intermediate Representation -- part II Interprocedural Data Flow Analysis -- chapter 7 Introduction to Interprocedural Data Flow Analysis -- chapter 8 Functional Approach to Interprocedural Data Flow Analysis -- chapter 9 Value-Based Approach to Interprocedural Data Flow Analysis -- part III Implementing Data Flow Analysis -- chapter 10 Implementing Data Flow Analysis in GCC.