Publisher: CRC Press (Taylor and Francis Group) Cat.
#: 2880ISBN: 9780849328800ISBN 10: 0849328802Publication Date: March
27, 2009 Number of Pages: 395Hardcover Dimensions: 9.3 x 6 x 1 inches |
Data Flow Analysis: Theory and
Practice Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare CRC Press (Taylor and Francis Group) An Indian reprint of the book has been published by Ane Books and is available with many book sellers. See this for example. |

Coverage |
Slides |
Errata |
Practice Questions |
Software |
A
Review |

Welcome to the web page of the book
Data
Flow
Analysis:
Theory
and Practice.
This web page hosts additional resources for the book and will
be
updated
periodically.

- Coverage. Here is the table of contents, and the index to give you an idea of the coverage of the book.

- Slides.Slides
on
the
following
topics
from
the course CS
618 Program Analysis based on
this book are available (last updated on 21 Jan 2016). Note
that with the passage of time, the
slides and the book get out of sync until the next version
of the book comes!

- Introduction to Data Flow Analysis and its hand out version (4 pages in 1 page).
- Bit Vector Data Flow Frameworks and its hand out version (4 pages in 1 page).
- Generic Data Flow Analyzer for GCC
(gdfa)
and its handout version (4 pages
in 1 page).

- Theoretical Abstractions in Data Flow Analysis and its hand out version (4 pages in 1 page).
- General Data Flow Frameworks and its hand out version (4 pages in 1 page).
- Interprocedural Data Flow Analysis and its handout version (4 pages in 1 page).
- A summary of
the course
and its handout
version
(4 pages
in 1 page).

- Errata.Here is a pdf version of errata and a ps version of errata updated as on 18 Oct 2012. If you come across additional errors, we would appreciate hearing from you. Please contact Uday P. Khedker to provide your feedback.
- Practice
Questions. Here is a set
of practice
questions (updated as on 15 Nov 2009) that I have
collated from
past quizzes and examinations
of CS 618. I welcome suggestions for improvements as also
new questions
or ideas of new questions.

- Software.The book also describes a generic data flow analyzer for GCC 4.3.0. (called gdfa) which can be downloaded from here.

- The book contains plenty of examples to illustrate the concepts. We also intend to host examples contributed by readers on this page. If you have a good example to bring out an interesting aspect of any concept discussed in the book, please contact Uday P. Khedker to provide your feedback.