DATA FLOW ANALYSIS - THEORY AND PRACTICE

This work provides an in-depth treatment of data flow analysis technique. Reviewing inter-procedural analysis and incremental flow analysis, this book is the first to extend detailed coverage of data flow analysis beyond bit vectors. Supplemented by numerous case studies and examples, this text equips readers with a combination of mutually supportive theory and practice. It examines mathematical functions and includes studies of data flow analysis implantations through use of the GNU Compiler Collection. Readers can experiment with the analyses described in the book by accessing the author's web page where they will find OPTEX (Optimization Explorer) software and source code.