CS290I - STATIC ANALYSIS
Spring 2002
Instructor:
Tevfik Bultan
bultan@cs.ucsb.edu
Office: Eng. I 2123
Phone: x3735
Office Hours: Monday-Wednesday 4:00-5:00PM, Eng. I 2123
Class Times and Location:
Monday/Wednesday 1:00-2:50 PHELP 1401
Enrollment Code:
17327
Course Description
Static analysis techniques are used at compile-time for predicting safe
and computable approximations to the set of values or behaviors arising
dynamically at run-time when executing a program on a computer.
In this course we will discuss following four main approaches to program
analysis:
- Data Flow Analysis
- Constraint Based Analysis
- Abstract Interpretation
- Type and Effect Systems
Final on Monday June 10th
Final will be a take-home exam. You can pick up the questions from my office
at 12:00, Monday June 10th. You have to turn in your answers by
12:00, Tuesday June 11th.
Course Requirements
There will be written homeworks, (possibly) programming assignments,
and one final.
Textbook
Principles of Program Analysis
F. Nielson, H. R. Nielson and C. Hankin
ISBN 3-540-65410-0,
Springer-Verlag