This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis, this book is the first to extend detailed coverage of analysis beyond bit vectors. Supplemented by numerous examples, it equips readers with a combination of mutually supportive theory and practice, presenting mathematical foundations and including study of data flow analysis implementation through use of the GNU Compiler Collection (GCC). Readers can experiment with the analyses described in the book by accessing the author's web page, where they will find the source code of gdfa (generic data flow analyzer).…mehr
This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis, this book is the first to extend detailed coverage of analysis beyond bit vectors. Supplemented by numerous examples, it equips readers with a combination of mutually supportive theory and practice, presenting mathematical foundations and including study of data flow analysis implementation through use of the GNU Compiler Collection (GCC). Readers can experiment with the analyses described in the book by accessing the author's web page, where they will find the source code of gdfa (generic data flow analyzer).
PREFACE: An Introduction to Data Flow Analysis SECTION I: Intraprocedural Data Flow Analysis Classical Bit Vector Data Flow Analysis. Theoretical Abstractions in Data Flow Analysis. General Data Flow Frameworks. Complexity of Iterative Data Flow Analysis. Single Static Assignment Form as Intermediate Representation. SECTION II: Interprocedural Data Flow Analysis Introduction to Interprocedural Data Flow Analysis. Functional Approach to Interprocedural Data Flow Analysis. Value Based Approach to Interprocedural Data Flow Analysis. SECTION III: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC. APPENDICES: An Introduction to GCC.
PREFACE: An Introduction to Data Flow Analysis SECTION I: Intraprocedural Data Flow Analysis Classical Bit Vector Data Flow Analysis. Theoretical Abstractions in Data Flow Analysis. General Data Flow Frameworks. Complexity of Iterative Data Flow Analysis. Single Static Assignment Form as Intermediate Representation. SECTION II: Interprocedural Data Flow Analysis Introduction to Interprocedural Data Flow Analysis. Functional Approach to Interprocedural Data Flow Analysis. Value Based Approach to Interprocedural Data Flow Analysis. SECTION III: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC. APPENDICES: An Introduction to GCC.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309