Program Analysis (程序分析技术)

Description

This course is taught in English.

This course will serve as an introduction to program analysis: statically determining properties of programs. We will survey data-flow analysis, constraint-based analysis, and abstract interpretation. We will also look at practical implementation strategies. Each student will engage in a large project, possibly in a group.

The textbook will be Principles of Program Analysis by Nielson, Nielson and Hankin (Springer).

The student should be familiar with meta-programming, for example, compilers. Please see the instructor if you are unsure whether you meet the prerequisites.

Announcements

• Project presentations for Tuesday, January 16th:
  1. Region Analysis
  2. Object-Oriented Type Inference
  3. Reference Parameters
  4. CFA for Functional Languages

Software

• Two example WHILE programs: one in the basic language (test.whl) and one in the extended language testx.whl that includes procedures.
• The sklnst.jar JAR file for implementing WHILE programs and WHILE analyses.

Handouts

• The syllabus in HTML or PDF.
• The AnalyzeThis.java file used in the first lecture.
• The slides for the Nielson, Nielson and Hankin Chapter 1.
• Homework #1 in HTML or PDF.
• Homework #2 in HTML or PDF.
• Homework #3 in HTML or PDF.
• Homework #4 in HTML or PDF.
• Homework #5 in HTML or PDF.
• Homework #6 in HTML or PDF.
• Homework #7 in HTML or PDF.
• Homework #8 in HTML or PDF.
• Homework #9 in HTML or PDF.
• Homework #10 in HTML or PDF.
• Homework #11 in HTML or PDF.
• Project requirements in HTML.

Presentations

Presentations from people in class:

• Shape Analysis
• Escape Analysis (HTML)
• Soft Typing

PDF is a trademark of Adobe Systems, Inc.

Last modified: January 15, 2007