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

Область применения

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

В первую очередь, такой инструмент полезен для разработчиков. Существует несколько типовых сценариев использования статического анализатора. Регулярный анализ – наиболее эффективный подход. За счёт интеграции в CI разработчиков и технологиям сравнения и сортировки результатов анализа SharpChecker позволяет реализовать стратегию полного отсутствия новых предупреждений для каждого коммита в репозиторий проекта. Интеграция в Microsoft Visual Studio предоставляет возможность выполнять локальный анализ на машине разработчика, а интеграция в CI – анализ перед добавлением в систему контроля версий.

Стабилизация перед релизом. С помощью «интеллектуального» сравнения результатов анализа последнего релиза с текущим состоянием проекта SharpChecker быстро выявляет только новые ошибки, а сортировка предупреждений позволяет в первую очередь исправлять наиболее важные дефекты.

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

SharpChecker также может использоваться менеджерами и руководителями проекта для непрерывного мониторинга его состояния, оценки стабильности и времени, необходимого для стабилизации. Дополнительная утилита scra-csharp позволяет вычислять различные метрики и отношения в исходном коде, которые могут использоваться, например, для рефакторинга.

Таким образом, комбинация различных подсистем платформы SharpChecker позволяет комфортно использовать анализатор во всех сценариях применения статического анализатора и соответствует всем требованиям для инструмента промышленного качества.

Основные возможности SharpChecker

Исследования по технологиям статического анализа ведутся в ИСП РАН с 2002 года, поэтому инструмент SharpChecker использует самые современные научные подходы в области анализа программ. Это позволяет достигать высокой производительности и высокого качества результатов в сравнении с коммерческими аналогами, используемыми в промышленной разработке. В 2015 году SharpChecker как часть инструмента Svace внедрён в компании Samsung в качестве основного инструмента статического анализа, заменив общепризнанного мирового лидера в отрасли. Среди основных возможностей инструмента можно выделить:

• хорошее качество результатов (60-100% истинных срабатываний);
• высокая производительность (Roslyn 1.7 MLoС ~35min на Core i7 6700 4 ядра);
• более 100 различных типов ошибок, поиск которых основан на трёх видах анализа: синтаксическом, анализе потоков данных, символьном выполнении, в т.ч. межпроцедурном;
• понятные и подробные сообщения об ошибках, содержащие трассы, указывающие не только на место возникновения проблемы, но также причины и условия возникновения (путь в программе);
• отображение ошибок с помощью централизованного сервера истории в браузере и непосредственно в среде разработки Microsoft Visual Studio;
• поддержка ОС Windows XP, 7, 8, 10 32- и 64-битная (рекомендуется), Linux;
• минимальная первичная настройка и учёт различных конфигураций анализируемого проекта за счёт перехвата сборки (msbuild, xbuild);
• моделирование функций без исходного кода (более 40 тыс. моделей библиотечных функций реализовано).

Н.
Класс программного обеспечения: Средства обеспечения информационной безопасности, Среды разработки, тестирования и отладки, Системы анализа исходного кода на закладки и уязвимости
Добавлен в единого реестра российских программ 14 Марта 2017 Приказ Минкомсвязи России от 09.03.2017 №103
Владелец - российская некоммерческая организация ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК, Собственная разработка