Introduction to Static Analysis