Cppcheck-ի մշակողը (Daniel Marjamäki) ծրագրում է ավելացնել C և C++ ծրագրերի վավերացման հնարավորությունը իր ստատիկ վերլուծիչում:
Cppcheck-ում ծրագրային ապահովման վավերացում
«Վավերացման» ռեժիմում Cppcheck-ը կհայտնի նախազգուշացում, եթե չհաջողվի հաստատել, որ կոդը անվտանգ է, բայց դա կարող է հանգեցնել աղմուկի (բազմաթիվ նախազգուշացման):
Նախագծման պլաններ
Վավերացման ռեժիմը կիրականացվի հաջորդականաբար: Առաջին փուլում աշխատանքը կկենտրոնանա «զարգացումին բաժանվելու» ստուգման վրա: Սա հարաբերականորեն պարզ ստուգում է: Յուրաքանչյուր գործառույթ կհաշվի առանձին: Այս դեպքում ենթադրվում է, որ բոլոր մուտքային տվյալները կարող են ունենալ պատահական արժեք: Մյուս неопределённого поведения ստուգումները կհ добавятся ավելի ուշ: Պլանավորվում է նաև բարելավել C և C++ սինտեքսի վերլուծությունը:
Նորարարության արագացում
Kickstarter-ում միջոցների հավաքագրման նպատակը վավերացման ռեժիմի զարգացման արագացումն է: Այս հնարավորությունը նախատեսվում է ավելացնել առանցքային, սակայն աշխատանքը կարող է ավելի երկար տևել, եթե միջոցները չհավաքվեն: Եթե միջոցները հավաքվեն, ապա Դանիել կարող է հանգիստ վերցնել իր հիմնական աշխատանքից, որպեսզի ամբողջ ժամանակը նվիրի cppcheck նախագծին:
Նախագծի նպատակները
C++ վերլուծիչի բարելավում:
Ընտանիք: linux.org.ru
