Data Flow Analysis

Theory and Practice

Nonfiction, Computers, Advanced Computing, Engineering, Computer Engineering, Programming, Software Development, Programming Languages
Cover of the book Data Flow Analysis by Uday Khedker, Amitabha Sanyal, Bageshri Sathe, CRC Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Uday Khedker, Amitabha Sanyal, Bageshri Sathe ISBN: 9781351838238
Publisher: CRC Press Publication: December 19, 2017
Imprint: CRC Press Language: English
Author: Uday Khedker, Amitabha Sanyal, Bageshri Sathe
ISBN: 9781351838238
Publisher: CRC Press
Publication: December 19, 2017
Imprint: CRC Press
Language: English

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
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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:

More books from CRC Press

Cover of the book Risk, Surprises and Black Swans by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Muon Science by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Bryology for the Twenty-first Century by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Analysis for Design of Fiber Reinforced Plastic Vessels by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Glutamine and Glutamate Mammals by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Planning, Housing and Infrastructure for Smart Villages by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Complexity Science in Air Traffic Management by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Radar Systems Analysis and Design Using MATLAB by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Understanding the NEC4 ECC Contract by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Crowd Assisted Networking and Computing by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Handbook of Optoelectronics by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Screening in Disease Prevention by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book X-Ray Diffraction of Ions in Aqueous Solutions: Hydration and Complex Formation by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Electric and Hybrid Vehicles by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Cover of the book Suppressor Cells and Their Factors by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy