Techniques

In this section of the course we look at control- and data-flow analysis techniques. These are analyses that take the abstract syntax tree produced by a parser and perform (context-sensitive) analyses of properties of a program.

Topics