Static Program Analysis Reading List (UCLA CS232)