Статический анализатор языка C# SharpChecker
Краткое описание
Инструмент статического анализа для C#, разработанный в ИСП РАН.

Категория
Управление ресурсами предприятия » Управление взаимоотношениями с клиентами (CRM)
Информационная безопасность » Управление уязвимостями
Управление информационными технологиями » Библиотеки подпрограмм (SDK)

Описание

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
Владелец - российская некоммерческая организация ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ ИМ. В.П. ИВАННИКОВА РОССИЙСКОЙ АКАДЕМИИ НАУК, Собственная разработка


ИСП РАН

Вендор
ИСП РАН
ИНН: 7709006125

Статический анализатор языка C# SharpChecker

В избранное Написать отзыв В реестре ПО #2910

Параметры Статический анализатор языка C# SharpChecker

Заказчики
  • Малый бизнес
  • Средний бизнес
  • Крупный бизнес
  • Госкомпании
  • ФОИВы
  • РОИВы
  • Муниципальные учреждения
Знаки
  • В реестре отечественного ПО
  • Цифровая платформа против COVID-19
Отрасли применения
  • Безопасность
Платформы
  • Десктопная ОС - Windows
Служба поддержки
  • Email
  • Рабочее время
Дополнительно
  • Есть триальная версия

Функциональные возможности Статический анализатор языка C# SharpChecker (Управление ресурсами предприятия, Управление взаимоотношениями с клиентами (CRM))

Информация о возможностях ПО еще не добавлена.

Совменстимость Статический анализатор языка C# SharpChecker


Информация о совместимости «Статический анализатор языка C# SharpChecker»
еще не добавлена


Отзывы Статический анализатор языка C# SharpChecker

Статический анализатор языка C# SharpChecker https://www.platforms.su/assets/user/img/product-logo/1586350403.jpg
0 0 3361 ООО "ИСС" Инструмент статического анализа для C#, разработанный в ИСП РАН.
руб. 0 Инструмент статического анализа для C#, разработанный в ИСП РАН.
Производитель: ООО "ИСС"

Добавить отзыв

Отзывы еще не добавлены


Информация о сравнении «Статический анализатор языка C# SharpChecker»
еще не добавлена