Адрес:

109004, г. Москва,
ул. А. Солженицына,
дом 25.

Схема проезда

Факс:

+7(495) 912-15-24

E-mail:

info-isp@ispras.ru

Отдел «Системного программирования»

Проекты

1. Поиск дефектов в программных системах при помощи статического анализа исходного кода.

С 2001 года группа «Анализа программ» отдела «Системного программирования» сотрудничает с компанией Klocwork. Участвуя в создании и развитии программного обеспечения для статического анализа кода, автоматизированного рефакторинга и визуализации архитектуры унаследованного программного обеспечения.

2. Поиск дефектов в программных системах при помощи динамического анализа исполняемых программ.

C 2009 года в группе «Анализа программ» отдела «Системного программирования» проводятся исследования автоматического итеративного динамического анализа исполняемых программ на наличие дефектов и уязвимостей и разрабатывается инструмент с открытым исходным кодом Avalanche, основанный на среде (framework) Valgrind и STP (Simple Theorem Prover), который позволяет проводить итеративный динамический анализ исполняемых программ в системах семейства Linux.

3. Гранты Российского фонда фундаментальных исследований.

  • 08-07-00279-а Исследование и разработка системы автоматического обнаружения дефектов в исходом коде программ.
  • 11-07-00466-а Исследование и разработка инструмента динамического анализа программ для автоматического обнаружения дефектов.