Системное программирование


О группе

Научная группа специализируется на решении широкого спектра задач в области анализа программ. Основные направления исследований группы направлены на исследование методов и разработку инструментов автоматического анализа программ.

Основные направления исследований

Статический анализ исходного кода программ:

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

Динамический анализ программ:

  • Исследование методов динамического анализа программ.
  • Разработка инструментов динамического анализа программ с целью обнаружения критических дефектов и уязвимостей.
  • Разработка инструментов профилирования использования памяти и производительности программ.

Контакты

Герасимов Александр Юрьевич
E-mail: agerasimov@ispras.ru
Телефон: +7(495) 912-56-59 (доб. 406).