eleventh lecture on the topic of static race detection 1399658