SharedTutor | Tutorials For Everyone

Find your interesting tutorials in Get your tutorial about Computer, Blogging, Makemoneyonline, Games, Design, and more!

Data Flow Analysis: Theory and Practice

Uday Khedker, Amitabha Sanyal and Bageshri Sathe, “Data Flow Analysis: Theory and Practice”
English | ISBN: 0849328802 | 2009 | PDF | 395 pages | 3 MB

Data flow analysis is employed to discover information for any wide variety of useful applications, starting from compiler optimizations to software engineering and verification. Modern compilers use it to produce performance-maximizing code, and software engineers put it to use to re-engineer or reverse engineer programs and verify the integrity of these programs.

Supplementary Online Materials to Strengthen Understanding

Unlike most comparable books, many of which are tied 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 ideal for both researchers and students inside the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of knowledge flow analysis and includes study of information 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 your 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 having a combination of mutually supportive theory and exercise, and they're going to be able to access the author’s accompanying Web page. Here they can experiment with the analyses described inside the book, and can make use of updated features, including:

Slides used inside the authors’ courses
The method to obtain the generic data flow analyzer (gdfa)
An errata that features errors as they are discovered
Additional updated relevant material discovered within the course of research

If get link die or downside to unrar file , send request to




No comments

Post a Comment