Статическое обнаружение гонок в коде, содержащем ветвления и циклы

Обложка: