CS 260 - Advanced Topics in Translation
This course will focus on static analysis techniques.
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.
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.
Office: Eng. I 2123
Office Hours: Monday-Wednesday 2:00-3:00PM, Eng. I 2123
Class Times and Location:
Monday/Wednesday 11:00-12:50 PHELP 1401
There will be an extra lecture on Tuesday June 1st at 1:00pm
in Engineering I, room 2114 (CS conference room)
I will give the final at the end of the final lecture on
Wednesday June 2nd. You need to turn it in by 5:00pm the
- Homework 1 (due Monday, April 12).
- Homework 2 (Extended: due Monday, May 3)
You are only asked to do intraprocedural analysis for this homework.
WHILE language parser:
BUG FIX: There was a bug in the visit procedure of the IfStmt class,
here is the fixed version IfStmt.java
Tests for programming assignment in Homework 2:
- Homework 3 (due Friday, May 28)
- Homework 4 (due Wednesday, June 2, BEFORE CLASS)
There will be written homeworks, (possibly) programming assignments,
and (possibly) a take home final.
Principles of Program Analysis
F. Nielson, H. R. Nielson and C. Hankin
ISBN 3-540-65410-0, Springer-Verlag