РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016611555

Дата регистрации: 04.02.2016

Номер и дата поступления заявки: 2015662101 10.12.2015

Дата публикации: 20.02.2016

Контактные реквизиты:
fireman@ispras.ru; +7(926)358-6655
	
Авторы:
Игнатьев Валерий Николаевич,
Чукляев Илья Игоревич,
Белеванцев Андрей Андреевич

Правообладатель:
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ РОССИЙСКОЙ АКАДЕМИИ НАУК

Название программы для ЭВМ:
Инструмент статического анализа «RuleChecker» для языков С и С++

Реферат:
Статический анализ позволяет обнаруживать ошибки в ПО на основе только исходного текста без необходимости запуска программы. Программа представляет собой инфраструктуру статического анализатора «RuleChecker» на основе на компиляторе Clang открытой компиляторной инфраструктуры LLVM. Инфраструктура позволяет собирать информацию о свойствах программы - побочных эффектах операторов программы, взаимных побочных эффектах, областях видимости переменных, указателях, разрабатывать проверочные модули для отдельных ошибок, выводить найденные ошибки. Анализатор также поддерживает возможность сбора информации для межмодульного анализа программы.

Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С++

Вид и версия операционной системы: Linux, Windows

Объем программы для ЭВМ: 79 Кб