This course is not currently offered, please contact the school or faculty of your program.

Course description

Program analysis is used for: code optimisation in compilers, finding programs errors and potential security flaws. This course examines techniques for performing static analysis of computer code and the implementation of software tools for performing such analyses. Topics include: data flow analysis; constraint- based analysis; abstract interpretation; and type and effect systems.