Інститут системного програмування Російської академії наук (ІСП РАН) повідомив про включення платформи статичного аналізу коду SharpChecker до реєстру вітчизняного програмного забезпечення.

Розроблений ІСП РАН інструментарій дозволяє в автоматичному режимі аналізувати вихідний код програм на мові C# і знаходити допущені в ньому помилки, неточності та потенційні уразливості.

«Людині властиво помилятися, — зазначає директор ІСП РАН Арутюн Аветисян, — а програмний код пишуть живі люди. Найчастіше це висококласні спеціалісти, але й вони можуть допускати помилки. SharpChecker — той засіб, який може частково компенсувати це властивість людської природи. Наш інструмент містить як аналізатор коду, так і готові компоненти для впровадження у виробничий цикл розробки ПЗ. Це дозволяє використовувати технологію і програмістам для виправлення помилок в розроблювальному проекті, та їх керівників як ще одну динамічну метрику, добре характеризує якість продукту».

«Сьогодні застосування інструментів аналізу коду обов'язково при розробці безпечного програмного забезпечення, — каже Валерій Ігнатьєв, старший науковий співробітник ІСП РАН. — Софт, що складається з мільйонів рядків коду, практично неможливо перевірити на наявність помилок — витоків ресурсів і пам'яті, разыменований null, неправильного використання атрибутів, помилок, пов'язаних з паралелізмом виконання та ін Тому інструмент, здатний аналізувати подібні обсяги інформації, не просто корисний, але необхідний. Підвищення якості та безпеки коду з кожним роком стає все більш важливим завданням. Зрозуміло, SharpChecker — не панацея проти помилок в коді, він не замінює, а доповнює інші методи тестування і пошуку помилок, але він дозволяє виправляти помилки на самих ранніх стадіях, істотно знижуючи загальну вартість розробки, і робить це ефективно».

В ІСП РАН сподіваються, що включення SharpChecker в єдиний реєстр російських програм дозволить звернути на продукт увагу вітчизняних державних структур і держкомпаній, які закуповують чи займаються розробкою софтверних рішень.