1. An introduction to data flow analysis -- 2. Classical bit vector data flow analysis -- 3. Theoretical abstractions in data flow analysis -- 4. General data flow frameworks -- 5. Complexity of iterative data flow analysis -- 6. Single static assignment form as intermediate representation -- 7. Introduction to interprocedural data flow analysis -- 8. Functional approach to interprocedural data flow analysis -- 9. Value-based approach to interprocedural data flow analysis -- 10. Implementing data flow analysis in GCC -- A. An introduction to GCC
Notes
Formerly CIP. Uk
Bibliography
Includes bibliographical references (pages 371-278) and index