В работе рассматривается концепция линеаризации графа потока управления на сокращенном контексте программы, который был получен вследствие анализа промежуточного представления программы и удаления из него аналитических структур, не влияющих на статический анализ многопоточных алгоритмов. В работе принимается во внимание статический анализ для поиска состояний гонок («race condition») на основе графа совместного исполнения потоков. В качестве технического средства для анализа промежуточного представления используется оптимизирующий компилятор CLANG&LLVM.
In work the concept of linearization of the count of a stream of steering on the reduced context of the program which was received owing to the analysis of intermediate submission of the program and removal from it the analytical structures which aren't influencing the static analysis of multiline algorithms is considered. In work the static analysis for search of conditions of races ("race condition") on the basis of the count of joint execution of streams is taken into account. As a technical tool for the analysis of intermediate representation the optimizing compiler CLANG&LLVM is used.