Проекты:

К.ф.-м.н. Алексей Бородин, к.ф.-м.н. Ирина Дудина, Дмитрий Журихин, Сергей Сыромятников– Анализ программ на различных языках программирования (Kotlin и Go);
– Автоматическое исправление исходного кода на основе предупреждений, выданных статическим анализатором;
– Девиртуализация вызовов Java/C++ методов;
– Разработка AST-детекторов ошибок в компиляторах Clang, JavaC и Kotlin;
– Разработка детекторов ошибок использования неинициализированной памяти;
– Поиск ошибок утечки приватных данных;
– Разработка обобщённого AST-анализатора для разных языков программирования (C/C++/Java/Kotlin/Go);
– Поиск ошибок на уровне классов для C++/Java;
– Анализ помеченных данных и детекторы на его основе;
– Статическое символьное выполнение и детекторы на его основе;
– Поиск ошибок целочисленного переполнения для программ на языках С и С++;
– Сравнительный анализ результатов работы статических анализаторов на открытом исходном коде.
К.ф.-м.н. Валерий Игнатьев– Поиск ошибок в программах на языке C#: разработка и улучшение детекторов ошибок на основе символьного выполнения;
– Генерация шаблонов проектно-специфичных ошибок по исходному коду с помощью машинного обучения;
– Автоматический поиск ошибок по шаблонам и генерация кода исправления с помощью машинного обучения;
– Поиск ошибок безопасности в исходном коде на языках С и C++ методами статического анализа помеченных данных.