Data flow analysis : theory and practice
著者
書誌事項
Data flow analysis : theory and practice
CRC Press, c2009
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 371-378) and index
内容説明・目次
内容説明
Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.
Supplementary Online Materials to Strengthen Understanding
Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coverage of both classical and contemporary data flow analysis. It prepares foundations useful for both researchers and students in the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of data flow analysis and includes study of data flow analysis implantation through use of the GNU Compiler Collection (GCC). Divided into three parts, this unique text combines discussions of inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer (gdfa) for bit vector frameworks in GCC.
Through the inclusion of case studies and examples to reinforce material, this text equips readers with a combination of mutually supportive theory and practice, and they will be able to access the author's accompanying Web page. Here they can experiment with the analyses described in the book, and can make use of updated features, including:
Slides used in the authors' courses
The source of the generic data flow analyzer (gdfa)
An errata that features errors as they are discovered
Additional updated relevant material discovered in the course of research
目次
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.
「Nielsen BookData」 より