Cppcheck (Daniel Marjamäki) иштеп чыгуучусу өзүнүн статикалык анализаторуна C жана C++ тилдеринде программалык камсыздоону текшерүү мүмкүнчүлүгүн кошмокчу.
Cppcheckте программалык камсыздоону текшерүү
"Текшерүү" режиминде, Cppcheck коддун коопсуз экенин текшере албаса, эскертүү берет, бирок бул ызы-чуу (бир нече эскертүү) алып келиши мүмкүн.
Ишке ашыруу пландары
Текшерүү режими ырааттуу түрдө ишке ашырылат. Биринчи этапта иш нөл чек менен бөлүштүрүүгө топтолот. Бул салыштырмалуу жөнөкөй текшерүү. Ар бир функция өзүнчө текшерилет. Бардык киргизилген маалыматтар ыктыярдуу мааниге ээ болушу мүмкүн деп болжолдонууда. Аныкталбаган жүрүм-турумдун башка түрлөрү үчүн текшерүүлөр кийинчерээк кошулат. Ошондой эле C жана C++ талдоолорун жакшыртуу пландары бар.
Өнүгүү тездетүү
Kickstarterде каражат чогултуунун максаты - текшерүү режимин өнүктүрүүнү тездетүү. Биз баары бир бул функцияны кошууну пландап жатабыз, бирок каражат чогултулбаса, иш узакка созулушу мүмкүн. Эгерде каражат топтолсо, Даниел жумуш убактысын толугу менен cppcheck долбооруна арнаш үчүн негизги жумушунан өргүүгө чыга алат.
Долбоордун максаттары
-
C++ анализдөөчүсүн өркүндөтүү.
Source: linux.org.ru