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