"Детектор лжи" — в программном коде

В Москве новое программное обеспечение, разработанное специалистами Института системного программирования РАН, включено в единый реестр отечественного ПО.

imageSharpChecker – платформа статического анализа программ на языке C#. Она создана для поиска ошибок в программном коде и обладает высокой эффективностью по сравнению с существующими аналогами.

«Человеку свойственно ошибаться, — прокомментировал информационному агентству Rainbow директор ИСП РАН Арутюн Аветисян, — а программный код пишут живые люди. Чаще всего это высококлассные специалисты, но и они могут допускать ошибки. SharpChecker – то средство, которое может отчасти компенсировать это свойство человеческой природы. Наш инструмент содержит как анализатор кода, так и готовые компоненты для внедрения в производственный цикл разработки ПО. Это позволяет использовать технологию и программистам для исправления ошибок в разрабатываемом проекте, и их руководителям как ещё одну динамическую метрику, хорошо характеризующую качество продукта».

Как заявлено, фундаментальные исследования по технологиям статического анализа ведутся в ИСП РАН с 2002 г. За полтора десятилетия в этом направлении достигнуты успехи, в частности, разработан анализатор Svace. Этот инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ на языках Си/Си++. Среди его особенностей: простота использования, широкий набор поддерживаемых типов предупреждений, масштабируемость до программ в миллионы строк кода и приемлемое качество анализа — 30-80% истинных предупреждений. Этот продукт активно используется корпорацией Samsung как основное средство статистического анализа — для поиска ошибок в исходном коде операционных систем Android, собственных приложений Samsung и операционной системы Tizen.

Нет комментариев

Добавить комментарий