CS638 : Program Analysis 2004-2005
Welcome to the course
homepage.
Your instructor is
Uday Khedker.
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.
-
-
-
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
Back to top of the page
Back to the Main Page
Last updated on 5 May 2005.