Lecture 7: Type Systems and Symbol Tables CS 540 George Mason University CS 540 Spring 2009 GMU Static Analysis Compilers examine code to find semantic problems. Easy: undeclared…