COMP544 - Program Analysis

Spring 2017

Overview

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


Slides

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