quaranta_lecture03b_Static_Analysis_for_Data_Science.pdf