CS638 :  Program Analysis  2004-2005

Here's the original course proposal .

• Objectives

  • Theory - To cover advanced analyses involving data flow properties which cannot be represented in terms of bit vectors.
  • Practice - To learn how to develop quick prototypes of program analysers.

• Cumulative performance and final grades

• Course Schedule

• Programming Assignments

  • We will use XSB prolog which uses table resolution to avoid infinite computation (whenever possible) by remembering previously satisfied goals.
    The binary contained in this distribution is an older version (2.2?) but should should work directly on recent versions of Linux. If not, try to compile the software preferably on Red Hat 8 or 9. If you want to use it on Fedora, just copy the directories made on Red Hat. We have had problems compiling the software on Fedora Core 1 and 2.
  • Smaller assignments may be individual assignments, larger ones may be group assignments. Exact policy will be decided (with the consent of the class) after getting an idea of the class strength.

• Announcements

  • (12 Jan 2005). The available expressions analysis implementation in xsbprolog.
  • (11 Jan 2005). The partial availability implementation in xsbprolog used in today's lecture. Please try to modify the program for (total) availability analysis.