Data Flow Analysis: Theory and Practice

Front Cover
CRC Press, Dec 19, 2017 - Computers - 395 pages

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
 

Selected pages

Contents

An Introduction to Data Flow Analysis
1
Intraprocedural Data Flow Analysis
21
Classical Bit Vector Data Flow Analysis
23
Theoretical Abstractions in Data Flow Analysis
59
General Data Flow Frameworks
101
Complexity of Iterative Data Flow Analysis
159
Single Static Assignment Form as Intermediate Representation
185
Interprocedural Data Flow Analysis
231
Functional Approach to Interprocedural Data Flow Analysis
259
ValueBased Approach to Interprocedural Data Flow Analysis
293
Implementing Data Flow Analysis
331
Implementing Data Flow Analysis in GCC
333
An Introduction to GCC
365
References
371
Index
379
Copyright

Introduction to Interprocedural Data Flow Analysis
233

Other editions - View all

Data Flow Analysis: Theory and Practice
Uday Khedker,Amitabha Sanyal,Bageshri Sathe
Limited preview - 2017
Data Flow Analysis: Theory and Practice
Uday Khedker,Amitabha Sanyal,Bageshri Sathe
No preview available - 2009

Common terms and phrases

access graph access paths algorithm alias analysis aliases assignment assume available expressions analysis back edge basic block bit vector frameworks call strings caller child complete lattice computed constant propagation constructed contains context sensitive control flow data flow analysis data flow equations data flow frameworks data flow information data flow values def-use chains def(x defined definition denoted depends dominance frontier Endp entity entry Entry(n example program exit Exit(n flow insensitive formal parameters gdfa Genn global variables Hence hoisting interference graph interprocedural analysis interprocedural data flow iteration Kill Killn lattice LEMMA live variables analysis liveness analysis loop method monotonic optimization Outn pair partial redundancy elimination pefs pointer points-to analysis procedure program in Figure program point recursive represented result Section semilattice sequence shown in Figure side effects SSA form Startp succ sib summary flow functions traversal

About the author (2017)

Uday Khedker, Amitabha Sanyal, Bageshri Sathe

Bibliographic information

TitleData Flow Analysis: Theory and Practice
AuthorsUday Khedker, Amitabha Sanyal, Bageshri Sathe
Editionillustrated
PublisherCRC Press, 2017
ISBN0849332516, 9780849332517
Length395 pages
Subjects ›  › 

Computers / Computer Engineering
Computers / Computer Science
Computers / General
Computers / Languages / General
Computers / Software Development & Engineering / General
Technology & Engineering / Electrical
  
Export CitationBiBTeX EndNote RefMan