Инфраструктура чувствительного к контексту вызова, потоку и путям исполнения анализа инструмента "SharpChecker"
Семенов Виталий Адольфович
14 сентября 2018
312
| Предметная область | — |
| Отрасли по ОКВЭД | — |
| Страна, регион, город | Российская Федерация, Москва |
| Отличия от конкурентов | — |
| Вид документа об охране ИС | программа для ЭВМ |
| Номер документа ИС | 201761052 |
| Дата регистрации документа ИС | 2017-01-12 |
| Необходимые инвестиции для внедрения | договорная |
| Сроки внедрения | — |
| Стоимость предоставления технологии | договорная |
| Наличие экспертного заключения | Нет |
Польза для потенциального потребителя
Указанная программа является одной из компонентов статического анализатора SharpChecker, разрабатываемого для поиска ошибок в программах без их запуска. Данный анализатор применяется при разработке ПО для повышения его качества и снижения стоимости разработки за счёт раннего исправления ошибок. Приведённая подсистема отвечает за выполнение чувствительного к контексту вызова, потоку и путям исполнения анализа и организацию работы независимых детекторов ошибок. На её основе производится поиск разыменования null, утечек ресурсов, недостижимого кода, ошибок приведения типов и других дефектов, для которых необходим соответствующий анализ.