Zhvilluesi Cppcheck (Daniel MarjamÀki) planifikon të shtojë mundësinë e verifikimit të softuerit në C dhe C++ në analizuesin e tij statik.
Verifikimi i softuerit në Cppcheck
Në modalitetin 'verifikimi', Cppcheck do të japë paralajmërime nëse nuk arrin të konfirmojë që kodi është i sigurt, megjithatë kjo mund të çojë në zhurmë (paralajmërime të shumta).
Planet e implementimit
Modaliteti i verifikimit do tĂ« realizohet gradualisht. NĂ« fazĂ«n e parĂ«, puna do tĂ« pĂ«rqendrohet nĂ« kontrollin e 'ndarje me zero'. Kjo Ă«shtĂ« njĂ« verifikim relativisht i thjeshtĂ«. Ădo funksion do tĂ« kontrollohet veçmas. NĂ« kĂ«tĂ« rast, supozohet se tĂ« dhĂ«nat hyrĂ«se mund tĂ« kenĂ« vlera tĂ« rastĂ«sishme. Kontrolli i llojeve tĂ« tjera tĂ« sjelljeve tĂ« paqartĂ« do tĂ« shtohet mĂ« vonĂ«. Gjithashtu, planifikohet tĂ« pĂ«rmirĂ«sohet analiza e sintaksĂ«s sĂ« C dhe C++.
PĂ«rshpejtimi i zhvillimit
Qëllimi i mbledhjes së fondeve në Kickstarter është përshpejtimi i zhvillimit të modalitetit të verifikimit. Kjo mundësi do të shtohet pavarësisht, por puna mund të zgjasë më shumë nëse fondet nuk mblidhen. Nëse fondet mblidhen, Daniel do të mund të marrë një pushim nga puna e tij kryesore, për t'i kushtuar kohën e plotë projektit cppcheck.
QĂ«llimet e projektit
Përmirësimi i analizuesit C++.
Burimi: linux.org.ru
