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

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

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

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

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

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

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

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

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

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

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

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

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