Links for static-program-analysis-reading-list-ucla-cs232