COMP544 - Program Analysis

Spring 2017


The course will focus on the techniues of source code analysis and their applications.


1: Introductions
2: Lexical and Syntactic Analysis
3: Control Flow and Data Flow Analysis
4: Dependence Analysis and Slicing
5: Clone Detection

Course Assessment

The goal of this assignment is to develop an optimizer that performs dataflow analysis. This assignment has the following components:

  1. Construct the Control Flow Graph (CFG)
  2. Perform d-u path computation
Example C Code

Reference Papers