《Data Flow Analysis》电子书下载

Data Flow Analysistxt，chm，pdf，epub，mobi下载
作者: Uday Khedker / Amitabha Sanyal / Bageshri Sathe
出版社: CRC Press
副标题: Theory and Practice
出版年: 2009-3-27
页数: 395
定价: USD 125.95
装帧: Hardcover
ISBN: 9780849328800

内容简介 · · · · · ·

This is an in-depth text that goes beyond bit vectors. 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 combina...

目录 · · · · · ·

Table of Contents
PREFACE:
An Introduction to Data Flow Analysis
A Motivating Example
Program Analysis: The Larger Perspective
Characteristics of Data Flow Analysis
· · · · · · ()
Table of Contents
PREFACE:
An Introduction to Data Flow Analysis
A Motivating Example
Program Analysis: The Larger Perspective
Characteristics of Data Flow Analysis
Summary and Concluding Remarks
SECTION I: Intraprocedural Data Flow Analysis
Classical Bit Vector Data Flow Analysis
Basic Concepts and Notations
Discovering Local Data Flow Information
Discovering Global Properties of Variables
Discovering Global Properties of Expressions
Combined May-Must Analyses
Summary and Concluding Remarks

Theoretical Abstractions in Data Flow Analysis
Graph Properties Relevant to Data Flow Analysis
Data Flow Framework
Data Flow Assignments
Computing Data Flow Assignments
Complexity of Data Flow Analysis for Rapid Frameworks
Summary and Concluding Remarks

General Data Flow Frameworks
Non-Separable Flow Functions
Discovering Properties of Variables
Discovering Properties of Pointers
Liveness Analysis of Heap Data
Modeling Entity Dependence
Summary and Concluding Remarks

Complexity of Iterative Data Flow Analysis
Generic Flow Functions and Data Flow Equations
Generic Round Robin Iterative Algorithm
Complexity of Round Robin Iterative Algorithm
Summary and Concluding Remarks

Single Static Assignment Form as Intermediate Representation
Introduction
Construction of SSA Form Programs
Destruction of SSA
Summary and Concluding Remarks

SECTION II: Interprocedural Data Flow Analysis
Introduction to Interprocedural Data Flow Analysis
A Motivating Example
Program Representations for Interprocedural Analysis
Modeling Interprocedural Data Flow Analysis
Compromising Precision for Scalability
Language Features Influencing Interprocedural Analysis
Common Variants of Interprocedural Data Flow Analysis
An Aside on Interprocedural Optimizations
Summary and Concluding Remarks

Functional Approach to Interprocedural Data Flow Analysis
Side Effects Analysis of Procedure Calls
Handling the Effects of Parameters
Whole Program Analysis
Summary and Concluding Remarks

Value Based Approach to Interprocedural Data Flow Analysis
Program Model for Value Based Approaches to Interprocedural Data Flow Analysis
Interprocedural Analysis Using Restricted Contexts
Interprocedural Analysis Using Unrestricted Contexts
Bounding Unrestricted Contexts Using Data Flow Values
The Motivating Example Revisited
Summary and Concluding Remarks

SECTION III: Implementing Data Flow Analysis
Implementing Data Flow Analysis in GCC
Specifying a Data Flow Analysis
An Example of Data Flow Analysis
Implementing the Generic Data Flow Analyzer gdfa
Extending the Generic Data Flow Analyzer gdfa

APPENDICES:
An Introduction to GCC
About GCC
Building GCC
Further Readings in GCC
· · · · · · ()

下载地址

发布者：高帅宾

文件说明：zip / 解压密码:yiquhai.com

迅雷下载：您需要先登录后，才能查看

网盘下载：您需要先登录后，才能查看

关于内容：内容自于互联网，如果发现有违规内容请联系管理员删除！