Rilis cppcheck 2.7, penganalisis kode statis untuk bahasa C++ dan C

Versi baru penganalisis kode statis cppcheck 2.7 telah dirilis, yang memungkinkan Anda mengidentifikasi berbagai kelas kesalahan dalam kode dalam bahasa C dan C++, termasuk saat menggunakan sintaks non-standar, yang khas untuk sistem tertanam. Kumpulan plugin disediakan melalui cppcheck yang terintegrasi dengan berbagai pengembangan, integrasi berkelanjutan, dan sistem pengujian, dan juga menyediakan fitur seperti pemeriksaan kepatuhan kode dengan gaya kode. Untuk mengurai kode, Anda dapat menggunakan parser Anda sendiri atau parser eksternal dari Clang. Ini juga mencakup skrip donate-cpu.py untuk menyediakan sumber daya lokal guna melakukan pekerjaan peninjauan kode kolaboratif untuk paket Debian. Kode sumber proyek didistribusikan di bawah lisensi GPLv3.

Pengembangan cppcheck difokuskan pada identifikasi masalah yang terkait dengan perilaku tidak terdefinisi dan penggunaan desain yang berbahaya dari sudut pandang keselamatan. Tujuannya juga untuk meminimalkan kesalahan positif. Di antara masalah yang teridentifikasi: penunjuk ke objek yang tidak ada, pembagian dengan nol, luapan bilangan bulat, operasi pergeseran bit yang salah, konversi yang salah, masalah saat bekerja dengan memori, penggunaan STL yang salah, dereferensi penunjuk nol, penggunaan pemeriksaan setelah akses sebenarnya ke buffer, buffer overruns, penggunaan variabel yang tidak diinisialisasi.

Secara paralel, perusahaan Swedia Cppcheck Solutions AB sedang mengembangkan versi lanjutan dari Cppcheck Premium, yang menyediakan analisis keberadaan loop tak terbatas, peningkatan pencarian variabel yang tidak diinisialisasi, dan analisis buffer overflow tingkat lanjut.

ΠΎΠ²ΠΎΠΉ Срсии:

  • Menambahkan dukungan untuk tampilan kontainer - atribut tampilan telah ditambahkan ke tag perpustakaan, yang menunjukkan bahwa kelas tersebut adalah tampilan. Kode analisis seumur hidup telah diperbarui untuk menggunakan atribut ini saat mencari kontainer yang menjuntai;
  • Pemeriksaan yang ditingkatkan;
  • Akumulasi kesalahan telah diperbaiki dan kekurangan dalam penganalisis telah dihilangkan.

Sumber: opennet.ru

Tambah komentar