Выпускная квалификационная работа Меньщикова М. А. посвящена важной и актуальной задаче современного программирования – анализу исходного кода на наличие ошибок, зависящих от порядка выполнения отдельных фрагментов недетерминированной многопоточной программы (условие гонки, race condition). Разработка собственного решения объясняется закрытостью либо неполной функциональностью имеющихся аналогов. Созданная разработка базируется, в основном, на технологиях Microsoft. В процессе разработки системы анализа кода автором решено множество задач: трансляция кода на C в его аналог на C#, построение синтаксического дерева кода (применяются средства проекта Microsoft “Roslyn”), разбор семантики кода, собственно выявление состояний гонки. Для удобства работы создан графический интерфейс пользователя. Проверена работа системы в облачном сервисе Microsoft Azure. Тестирование разработки показало ее работоспособность и применимость в реальных проектах. Хочется отметить комплексный характер и высокое качество проведенной работы и порекомендовать автору продолжить исследования в данной области. Считаю работу Меньщикова М. А. заслуживающей оценки "отлично";.