Праект Cppcheck збірае сродкі для рэалізацыі паляпшэнняў

Распрацоўнік Cppcheck (Daniel Marjamäki) збіраецца дадаць магчымасць верыфікацыі ПА на C і C++ у свой статычны аналізатар.

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

У рэжыме "верыфікацыі" Cppcheck будзе выдаваць папярэджанне, калі не атрымаецца пацвердзіць, што код бяспечны, аднак гэта можа прыводзіць да шуму (множным папярэджанням).

Планы рэалізацыі

Рэжым верыфікацыі будзе рэалізаваны паслядоўна. На першым этапе праца будзе сканцэнтраваная над праверкай "дзяленне на нуль". Гэта адносна простая праверка. Кожная функцыя будзе правярацца асобна. Пры гэтым мяркуецца, што ўсе ўваходныя дадзеныя могуць мець адвольнае значэнне. Праверкі іншых тыпаў нявызначаных паводзінаў будуць дададзеныя пазней. Таксама плануецца палепшыць сінтаксічны аналіз C і C++.

Паскарэнне распрацоўкі

Мэта збору сродкаў на Kickstarter - паскарэнне распрацоўкі рэжыму верыфікацыі. Плануецца дадаць дадзеную магчымасць у любым выпадку, але праца можа заняць больш часу, калі сродкі не будуць сабраны. Калі ж сродкі будуць сабраны то Даніэль зможа ўзяць водпуск на асноўнай працы, каб цалкам прысвяціць свой працоўны час праекту cppcheck.

мэты праекта

• Устараненне ілжываадмоўных спрацоўванняў тэстаў дзялення на нуль у Джульета и ITC.

• Выпраўленне прытворнададатнага спрацоўвання (гл. BUG#9402).

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

Крыніца: linux.org.ru