TY JOUR TI КОНТЕКСТНО ЗАВИСИМАЯ ЛИНЕАРИЗАЦИЯ ГРАФА ПОТОКА УПРАВЛЕНИЯ В СТАТИЧЕСКОМ АНАЛИЗЕ СОСТОЯНИЙ ГОНОК В МНОГОПОТОЧНЫХ АЛГОРИТМАХ KW состояние гонки KW статический анализ KW многопоточные алгоритмы KW SSA KW оптимизирующий компилятор KW LLVM IR KW condition of race KW static analysis KW multiline algorithms KW SSA KW the optimizing compiler KW LLVM IR JO ВЕСТНИК ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА AU Битнер, В.А. AU Тимербаев, Н.Ф. PY 2025 IS 17 PB Казанский национальный исследовательский технологический университет