C++ və C dilləri üçün statik kod analizatoru cppcheck 2.7-nın buraxılışı

Statik kod analizatorunun cppcheck 2.7 yeni versiyası buraxıldı ki, bu da C və C++ dillərində kodda müxtəlif sinif xətaları, o cümlədən quraşdırılmış sistemlər üçün xarakterik olan qeyri-standart sintaksisdən istifadə zamanı aşkar etməyə imkan verir. Cppcheck-in müxtəlif inkişaf, davamlı inteqrasiya və sınaq sistemləri ilə inteqrasiya olunduğu plaginlər toplusu təqdim olunur, həmçinin kod üslubuna kodun uyğunluğunu yoxlamaq kimi xüsusiyyətləri təmin edir. Kodu təhlil etmək üçün ya öz analizatorunuzdan, ya da Clang-dan xarici təhlilçidən istifadə edə bilərsiniz. O, həmçinin Debian paketləri üçün birgə kodu nəzərdən keçirmək üçün yerli resursları təmin etmək üçün donate-cpu.py skripti daxildir. Layihənin mənbə kodu GPLv3 lisenziyası altında paylanır.

cppcheck-in inkişafı qeyri-müəyyən davranış və təhlükəsizlik baxımından təhlükəli dizaynların istifadəsi ilə bağlı problemlərin müəyyənləşdirilməsinə yönəldilmişdir. Məqsəd həm də yanlış pozitivləri minimuma endirməkdir. Müəyyən edilmiş problemlər arasında: mövcud olmayan obyektlərə göstəricilər, sıfıra bölmələr, tam daşqınlar, səhv bit dəyişdirmə əməliyyatları, səhv çevrilmələr, yaddaşla işləyərkən problemlər, STL-dən düzgün istifadə edilməməsi, boş göstəricilərə istinadlar, faktiki girişdən sonra yoxlamaların istifadəsi buferə, buferin aşılması, işə salınmamış dəyişənlərin istifadəsi.

Paralel olaraq, İsveçin Cppcheck Solutions AB şirkəti sonsuz döngələrin mövcudluğunun təhlilini, işə salınmamış dəyişənlər üçün təkmilləşdirilmiş axtarışı və qabaqcıl bufer daşması təhlilini təmin edən Cppcheck Premium-un genişləndirilmiş versiyasını hazırlayır.

Yeni versiyada:

  • Konteynerlərin görünüşü üçün əlavə dəstək - sinifin görünüş olduğunu göstərən görünüş atributu kitabxana etiketinə əlavə edildi. Ömürlük analiz kodu sallanan konteynerləri axtararkən bu atributdan istifadə etmək üçün yeniləndi;
  • Təkmilləşdirilmiş yoxlamalar;
  • Yığılmış səhvlər düzəldilmiş və analizatorda olan çatışmazlıqlar aradan qaldırılmışdır.

Mənbə: opennet.ru

Добавить комментарий