Институт системного программирования им. В.П. Иванникова РАН


Компиляторные технологии и верификация программ

к.ф.-м.н., доцент, Гайсарян Сергей Суренович.

Дисциплина «Компиляторные технологии и верификация программ» изучает методы и алгоритмы оптимизации процедур и программ в целом (все процедуры и библиотеки, участвующие в сборке программы), а также применение указанных технологий для обнаружения уязвимостей и других дефектов программ как в исходном коде (на языке высокого уровня), так и в машинном коде современных компьютеров.

В результате изучения дисциплины студенты будут знать:

  • современные свободные компиляторные среды (GCC, LLVM и др.) и их использование для реализации программных инструментов, базирующихся на компиляторных технологиях
  • алгоритмы машинно-независимой оптимизации (статической и динамической)
  • решения задач обратной инженерии, защиты программного кода, обнаружения дефектов в программах и др.
  • Научатся:

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

    Компиляторные технологии

    Перейти к учебным курсам ИСП РАН