View on GitHub

Principles of Static Program Analysis

Educational and Research Materials

Lecture 2

Lexical Analysis

Lecture

Slides: PDF, PPTX

Notes: PDF

Outline

Workshop

Outline

While Language

While is simple programming language described in the book “Principles of Program Analysis”. It will be used in the course to demonstrate implementations of various analysis techniques. The language specification is here.

Examples

Tasks

References

Theory

Tools