Zhvilluesi i Cppcheck (Daniel MarjamÀki) planifikon të shtojë mundësinë e verifikimit të software-it në C dhe C++ në analizuesin e tij statik.
Verifikimi i software-it në Cppcheck
Në modin "verifikimi", Cppcheck do të japë një paralajmërim nëse nuk konfirmohet se kodi është i sigurt, megjithatë kjo mund të sjellë zhurmë (paralajmërime të shumta).
Planet e realizimit
Mjeti i verifikimit do tĂ« realizohet nĂ« mĂ«nyrĂ« tĂ« rregullt. NĂ« etapĂ«n e parĂ«, puna do tĂ« pĂ«rqendrohet nĂ« kontrollin e "ndarja nĂ« zero". Kjo Ă«shtĂ« njĂ« kontroll relativisht e thjeshtĂ«. Ădo funksion do tĂ« kontrollohet veçmas. Ajo qĂ« supozohet Ă«shtĂ« se tĂ« gjitha tĂ« dhĂ«nat hyrĂ«se mund tĂ« kenĂ« vlera tĂ« rastĂ«sishme. Kontrolli i tipeve tĂ« tjera tĂ« sjelljes sĂ« paqartĂ« do tĂ« shtohet mĂ« vonĂ«. Gjithashtu, planifikohet tĂ« pĂ«rmirĂ«sohet analiza sintaksore e C dhe C++.
Accelerimi i zhvillimit
Qëllimi i mbledhjes së fondeve në Kickstarter është të akcelerojë zhvillimin e modit të verifikimit. Kjo mundësi do të shtohet në çdo rast, por puna mund të kërkojë më shumë kohë, nëse fondet nuk mblidhen. Nëse fonde do të mblidhen, atëherë Daniel mund të marrë një pushim nga puna e tij kryesore për t'i kushtuar të gjithë kohën e tij projektit cppcheck.
QĂ«llimet e projektit
Përmirësimi i analizuesit C++.
Burimi: linux.org.ru
