Pwojè Cppcheck la ap ranmase lajan pou aplike amelyorasyon.

Pwomotè Cppcheck (Daniel Marjamäki) pral ajoute kapasite pou verifye lojisyèl nan C ak C++ nan analizè estatik li.

Verifikasyon lojisyèl nan Cppcheck

Nan mòd "verifikasyon", Cppcheck pral bay yon avètisman si li pa ka verifye ke kòd la an sekirite, men sa ka lakòz bri (avètisman miltip).

Plan aplikasyon

Mòd verifikasyon an pral aplike sekans. Nan premye etap la, travay la pral konsantre sou divizyon an pa chèk zewo. Sa a se yon chèk relativman senp. Chak fonksyon yo pral teste separeman. Li sipoze ke tout done antre ka gen yon valè abitrè. Chèk pou lòt kalite konpòtman ki pa defini yo pral ajoute pita. Genyen tou plan pou amelyore C ak C++ par.

Akselere devlopman

Objektif pou ranmase lajan sou Kickstarter se akselere devlopman mòd verifikasyon an. Nou planifye pou ajoute karakteristik sa a de tout fason, men travay la ka pran plis tan si yo pa ranmase lajan. Si yo te ranmase lajan yo, Daniel pral kapab pran yon konje nan travay prensipal li pou l kapab konplètman konsakre tan travay li nan pwojè cppcheck la.

Objektif pwojè yo

• Elimine fo negatif nan divizyon pa zewo tès nan Jilyèt и ITC.

• Koreksyon fo pozitif (gade. BUG#9402).

• Amelyorasyon analizeur C++.

Sous: linux.org.ru