Проект Cppcheck збирає кошти для реалізації покращень

Розробник Cppcheck (Daniel Marjamäki) збирається додати можливість верифікації на C і C++ у свій статичний аналізатор.

Верифікація ПЗ у Cppcheck

У режимі «верифікації» Cppcheck буде видавати попередження, якщо не вдасться підтвердити, що код є безпечним, однак це може призводити до шуму (множинним попередженням).

Плани реалізації

Режим верифікації буде реалізовано послідовно. На першому етапі роботу буде сконцентровано над перевіркою «розподіл на нуль». Це щодо проста перевірка. Кожна функція перевірятиметься окремо. У цьому передбачається, що це вхідні дані може мати довільне значення. Перевірки інших типів невизначеної поведінки будуть додані пізніше. Також планується покращити синтаксичний аналіз C та C++.

Прискорення розробки

Мета збору коштів на Kickstarter – прискорення розробки режиму верифікації. Планується додати цю можливість у будь-якому випадку, але робота може зайняти більше часу, якщо кошти не буде зібрано. Якщо ж кошти будуть зібрані, то Даніель зможе взяти відпустку на основній роботі, щоб повністю присвятити свій робочий час проекту cppcheck.

Цілі проекту

• Усунення хибнонегативних спрацьовувань тестів поділу на нуль Джульєтта и ITC.

• Виправлення хибнопозитивного спрацьовування (див. BUG#9402).

• Поліпшення аналізатора C++.

Джерело: linux.org.ru