Cppcheck նախագիծը միջոցներ է հավաքում բարելավումներ իրականացնելու համար:

Cppcheck-ի մշակողը (Daniel Marjamäki) պատրաստվում է իր ստատիկ անալիզատորին ավելացնել C և C++ ծրագրակազմը ստուգելու հնարավորությունը։

Ծրագրաշարի ստուգում Cppcheck-ում

«Ստուգման» ռեժիմում Cppcheck-ը նախազգուշացում կհրապարակի, եթե չկարողանա ստուգել, ​​որ կոդը անվտանգ է, բայց դա կարող է հանգեցնել աղմուկի (բազմաթիվ նախազգուշացումներ):

Իրականացման պլաններ

Ստուգման ռեժիմը կիրականացվի հաջորդաբար: Առաջին փուլում աշխատանքը կկենտրոնանա զրոյական ստուգմամբ բաժանման վրա։ Սա համեմատաբար պարզ ստուգում է: Յուրաքանչյուր գործառույթ կփորձարկվի առանձին: Ենթադրվում է, որ բոլոր մուտքային տվյալները կարող են կամայական արժեք ունենալ: Չսահմանված վարքագծի այլ տեսակների ստուգումները կավելացվեն ավելի ուշ: Ծրագրեր կան նաև բարելավելու C և C++ վերլուծությունը:

Արագացնել զարգացումը

Kickstarter-ում դրամահավաքի նպատակն է արագացնել ստուգման ռեժիմի զարգացումը: Մենք նախատեսում ենք ամեն դեպքում ավելացնել այս հնարավորությունը, բայց աշխատանքը կարող է ավելի երկար տևել, եթե միջոցներ չհավաքվեն: Եթե ​​միջոցները հավաքվեն, Դանիելը կկարողանա արձակուրդ վերցնել իր հիմնական աշխատանքից, որպեսզի իր աշխատանքային ժամանակը ամբողջությամբ տրամադրի cppcheck նախագծին:

Ծրագրի նպատակները

• Կեղծ բացասականների վերացում զրոյական թեստերի բաժանումից Juliet и ITC.

• Կեղծ դրական արդյունքների ուղղում (տես. BUG#9402).

• C++ վերլուծիչի կատարելագործում:

Source: linux.org.ru