Пројекат Цппцхецк прикупља средства за имплементацију побољшања.

Програмер Цппцхецк-а (Даниел Марјамаки) ће свом статичком анализатору додати могућност верификације софтвера у Ц и Ц++.

Верификација софтвера у Цппцхецк-у

У режиму „верификације“, Цппцхецк ће издати упозорење ако не може да потврди да је код безбедан, али то може довести до буке (више упозорења).

Планови имплементације

Режим верификације ће се имплементирати секвенцијално. У првој фази, рад ће се концентрисати на дељење нултом провером. Ово је релативно једноставна провера. Свака функција ће бити тестирана посебно. Претпоставља се да сви улазни подаци могу имати произвољну вредност. Провере за друге врсте недефинисаног понашања ће бити додате касније. Постоје и планови за побољшање рашчлањивања Ц и Ц++.

Убрзање развоја

Циљ прикупљања средстава на Кицкстартеру је да се убрза развој режима верификације. Свеједно планирамо да додамо ову функцију, али посао може потрајати дуже ако се средства не прикупе. Ако се средства прикупе, Данијел ће моћи да узме одсуство са свог главног посла како би у потпуности посветио своје радно време пројекту цппцхецк.

Циљеви пројекта

• Елиминисање лажних негативних резултата дељења нултим тестовима у Јулија и ИТЦ.

• Исправљање лажних позитивних резултата (види. БУГ#9402).

• Побољшање Ц++ парсера.

Извор: линук.орг.ру