Proyek Cppcheck mengumpulkan dana untuk melaksanakan perbaikan.

Pengembang Cppcheck (Daniel Marjamäki) akan menambahkan kemampuan untuk memverifikasi perangkat lunak dalam C dan C++ ke penganalisis statisnya.

Verifikasi perangkat lunak di Cppcheck

Dalam mode "verifikasi", Cppcheck akan mengeluarkan peringatan jika tidak dapat memverifikasi bahwa kode tersebut aman, tetapi hal ini dapat mengakibatkan gangguan (beberapa peringatan).

Rencana implementasi

Mode verifikasi akan diterapkan secara berurutan. Pada tahap pertama, pekerjaan akan dikonsentrasikan pada pembagian dengan nol cek. Ini adalah pemeriksaan yang relatif sederhana. Setiap fungsi akan diuji secara terpisah. Diasumsikan bahwa semua data masukan dapat memiliki nilai yang berubah-ubah. Pemeriksaan jenis perilaku tidak terdefinisi lainnya akan ditambahkan nanti. Ada juga rencana untuk meningkatkan parsing C dan C++.

Akselerasi pembangunan

Tujuan penggalangan dana di Kickstarter adalah untuk mempercepat pengembangan mode verifikasi. Kami berencana untuk menambahkan fitur ini, namun pengerjaannya mungkin memakan waktu lebih lama jika dana tidak dikumpulkan. Jika dana terkumpul, Daniel akan dapat mengambil cuti dari pekerjaan utamanya agar dapat mencurahkan seluruh waktu kerjanya untuk proyek cppcheck.

Tujuan Proyek

• Menghilangkan negatif palsu dari pembagian dengan pengujian nol Juliet и ITC.

• Koreksi positif palsu (lihat. BUG#9402).

• Peningkatan parser C++.

Sumber: linux.org.ru