Learning by Doing: An Introduction to Static Program Analysis