Compiler's Project 3 -- program analysis