[Sysreading] Reading group for 01/30/2020: Program analysis 101