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.