dfaBook.html

Front Cover

Publisher: CRC Press (Taylor and Francis Group)Cat. #: 2880
ISBN: 9780849328800
ISBN 10: 0849328802
Publication Date: March 27, 2009
Number of Pages: 395
Hardcover
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 1 Dec 2017). 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). (Not updated since 2009).
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.