Program Analysis Lab 1