Ngaleupaskeun cppcheck 2.7, analisa kode statik pikeun basa C ++ sareng C

Versi anyar tina analisa kode statik cppcheck 2.7 parantos dileupaskeun, anu ngamungkinkeun anjeun pikeun ngaidentipikasi sababaraha kelas kasalahan dina kode dina basa C sareng C ++, kalebet nalika nganggo sintaksis non-standar, khas pikeun sistem anu dipasang. Kumpulan plugins disayogikeun dimana cppcheck diintegrasikeun sareng sagala rupa pamekaran, integrasi kontinyu sareng sistem uji, sareng ogé nyayogikeun fitur sapertos mariksa patuh kode sareng gaya kode. Pikeun parse kode, Anjeun bisa make parser sorangan atawa parser éksternal ti Clang. Éta ogé kalebet skrip donate-cpu.py pikeun nyayogikeun sumber daya lokal pikeun ngalakukeun ulasan kode kolaborasi pikeun bungkusan Debian. Kodeu sumber proyék disebarkeun dina lisénsi GPLv3.

Ngembangkeun cppcheck fokus kana ngaidentipikasi masalah anu aya hubunganana sareng paripolah anu teu jelas sareng panggunaan desain anu bahaya tina sudut pandang kaamanan. Tujuanana ogé pikeun ngaminimalkeun positip palsu. Diantara masalah anu diidentipikasi: pointers ka objék non-existent, division ku enol, overflows integer, operasi shift bit lepat, conversions lepat, masalah nalika gawé bareng memori, pamakéan lepat tina STL, null pointer dereferences, pamakéan cék sanggeus aksés sabenerna. mun panyangga, panyangga overruns , pamakéan variabel uninitialized.

Dina paralel, pausahaan Swedia Cppcheck Solutions AB ngembang pérsi nambahan Cppcheck Premium, nu nyadiakeun analisis ayana loop taya wates, ningkat pilarian pikeun variabel uninitialized jeung analisis panyangga mudal canggih.

Dina versi anyar:

  • Ditambahkeun rojongan pikeun pintonan wadah - atribut view geus ditambahkeun kana tag perpustakaan, nunjukkeun yén kelas téh view a. Kodeu analisa umurna parantos diropéa pikeun ngagunakeun atribut ieu nalika milarian wadah anu ngagantung;
  • cék ningkat;
  • Kasalahan akumulasi parantos dilereskeun sareng kakurangan dina analisa parantos ngaleungitkeun.

sumber: opennet.ru

Tambahkeun komentar