Инфраструктура анализа потоков данных инструмента статического анализа "SharpChecker"

14 сентября 2018
205
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Москва
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201761051
Дата регистрации документа ИС 2017-01-12
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

Программа является одной из компонентов статического анализатора SharpChecker, разрабатываемого для поиска ошибок в программах без их запуска. Данный анализатор применяется при разработке ПО для повышения его качества и снижения стоимости разработки за счёт раннего исправления ошибок. Программа отвечает за выполнение анализа потоков данных и организацию работы независимых детекторов ошибок. На её основе производится поиск недостижимого кода, выражений, имеющих одно и то же значение вне зависимости от окружения, неиспользованных переменных и других дефектов, для которых необходим анализ потоков данных.