Data Flow Analysis: Theory And Practice - Couverture rigide

Khedker, Uday P.; Sanyal, Amitabha; Karkare, Bageshri

Couverture rigide

ISBN 10 : 0849328802 ISBN 13 : 9780849328800

Editeur : CRC Press Inc, 2009

Synopsis

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

A propos du livre

À propos de l'auteur

Uday Khedker, Amitabha Sanyal, Bageshri Sathe

À propos de la quatrième de couverture

This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis, this book is the first to extend detailed coverage of analysis beyond bit vectors. Supplemented by numerous examples, it equips readers with a combination of mutually supportive theory and practice, presenting mathematical foundations and including study of data flow analysis implementation through use of the GNU Compiler Collection (GCC). Readers can experiment with the analyses described in the book by accessing the author's web page, where they will find the source code of gdfa (generic data flow analyzer).

Détails de l'édition

• Éditeur: CRC Press Inc
• Date d'édition: 2009
• Langue: anglais
• ISBN 10: 0849328802
• ISBN 13: 9780849328800
• Reliure: Relié
• Nombre de pages: 386
• Coordonnées du fabricant: non disponible
• Personne responsable: gpsr@libri.de; gpsr@libri.de; ; Europaallee 1; Bad Hersfeld; 36244; Allemagne