Data flow analysis : theory and practice - Khedker, Uday.; Sanyal, Amitabha; Karkare, Bageshri (Boca Raton : CRC Press/Taylor & Francis, 2009)
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.
Includes bibliographical references (pages 371-278) and index.
Keywords: Compilers (Computer programs); Software engineering; Data flow computing; Computer software -- Verification