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

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

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

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