Title Details

DATA FLOW ANALYSIS : THEORY AND PRACTICE, INDIAN REPRINT 2013 - UDAY P. KHEDKER

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.

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. Divided into three parts, this unique text combines discussions of both inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer for bit vector frameworks in GCC.

This useful text:
Addresses specification of data flow frameworks and the solution process
Presents generalizations of constant and dependent parts of flow functions apart from the lattice theoretic modeling of data flow frameworks
Includes an intermediate SSA representation of programs, which directly relates definition and use points of data for increased performance efficiency
Avoids methods specific to particular applications and frameworks, focuses on generic functional and value based approaches, instead of presenting interprocedural methods specific to parituclar applications or frameworks
use numerous case studies and examples to reinforce material

In addition to the text, readers will be able to use an accompanying updated Web page that features slides used in the course, as well as the source of the generic data flow analyzer gdfa, an errata that features errors as they are discovered, and any additional relevant material discovered in the course of research.

Contents
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
About GCC
Building GCC
Further Readings in GCC

 

Author

UDAY P. KHEDKER
AMITABHA SANYAL
BAGESHRI KARKARE

Imprint

CRC Press

ISBN

9780849328800

Published On

2013

Cover Price

Rs 895.00

Cover

Paperback

No. of pages

400

   
Post Reviews View Reviews
   
Add to Cart Close Window