Cppcheck'in geliştiricisi (Daniel Marjamäki), statik analiz cihazına C ve C++ dilindeki yazılımı doğrulama özelliğini ekleyecek.
Cppcheck'te yazılım doğrulama
"Doğrulama" modunda Cppcheck, kodun güvenli olduğunu doğrulayamazsa bir uyarı verecektir ancak bu durum gürültüye (birden fazla uyarı) neden olabilir.
Uygulama planları
Doğrulama modu sırayla uygulanacaktır. İlk etapta çalışmalar sıfır çekle bölünmeye yoğunlaşacak. Bu nispeten basit bir kontroldür. Her fonksiyon ayrı ayrı test edilecektir. Tüm giriş verilerinin isteğe bağlı bir değere sahip olabileceği varsayılmaktadır. Diğer tanımlanmamış davranış türlerine yönelik kontroller daha sonra eklenecektir. Ayrıca C ve C++ ayrıştırmayı iyileştirme planları da vardır.
Gelişimi hızlandırın
Kickstarter'da bağış toplamanın amacı doğrulama modunun gelişimini hızlandırmaktır. Yine de bu özelliği eklemeyi planlıyoruz ancak fon sağlanmazsa çalışma uzayabilir. Fon toplanırsa Daniel, çalışma zamanını tamamen cppcheck projesine adamak için asıl işinden izin alabilecek.
Proje Hedefleri
-
Sıfır testlerde hatalı negatiflerin ortadan kaldırılması Juliet и ITC.
-
Yanlış pozitiflerin düzeltilmesi (bkz. HATA#9402).
-
C++ ayrıştırıcısının iyileştirilmesi.
Kaynak: linux.org.ru