Команда исследователей Саратовского университета занимается созданием программной платформы, наделяющей современные информационные технологии особой надёжностью. Безопасный компилятор стал темой их научной разработки.

Руководителями и координаторами проекта выступают декан факультета КНиИТ С.В. Миронов, заведующая кафедрой технологий программирования И.А. Батраева, доцент кафедры системного анализа и автоматического управления Д.Ю. Петров. В тандеме с ними работают магистрант Павел Дунаев и студенты Артемий Гранат и Артём Синкевич.

С 2022 года эта команда факультета КНиИТ сотрудничает с Институтом системного программирования РАН в области исследований по созданию безопасного программного обеспечения, а также с непосредственным заказчиком – ООО «СВД Встраиваемые системы» из Санкт-Петербурга. Все они заинтересованы в надёжности разрабатываемых операционных систем реального времени, всех волнует тема безопасного компилятора, который не пропускает код программы, содержащий ошибки, и предотвращает оптимизации, которые могут привести к непредсказуемому поведению программы или способствовать утечке данных, обрабатываемых этой программой.

Если объяснять популярно, то компилятор – это программа, переводящая написанный на языке программирования текст в набор машинных кодов. С помощью компиляторов компьютеры могут понимать разные языки программирования. По сути, это комплексный «переводчик», который собирает или компилирует программу в исполняемый файл. Исполняемый файл – это набор инструкций для компьютера, которые тот понимает и может выполнить. Для разных языков программирования разработано множество компиляторов.

Подробнее об этом можно прочитать в материале «Безопасный компилятор», опубликованном в разделе «Наукоград».