Cppcheck-in developeri (Daniel Marjamäki) öz statik analizatoruna C və C++ proqram təminatı üçün doğrulama imkanını əlavə etmək niyyətindədir.
Cppcheck-də proqram təminatının doğrulanması
«Doğrulama» rejimində Cppcheck kodun təhlükəsiz olduğunu təsdiqləyə bilmədikdə xəbərdarlıq verəcək, lakin bu, səs-küyə (müxtəlif xəbərdarlıqlara) səbəb ola bilər.
Həyata kechirmə planları
Doğrulama rejimi mərhələli şəkildə həyata keçiriləcək. İlk mərhələdə "sıfıra bölmə" yoxlanışına yönələcəkdir. Bu nisbətən sadə bir yoxlanışdır. Hər bir funksiyanı ayrı-ayrılıqda yoxlanacaq. Bu müddətdə bütün girişlərin istənilən dəyərə sahib olmasının mümkün olduğu qəbul edilmişdir. Digər qeyri-müəyyən davranış tiplərinin yoxlanışları daha sonra əlavə olunacaq. Eyni zamanda C və C++ sintaksisinin də təkmilləşdirilməsi planlaşdırılır.
İnkişafın sürətləndirilməsi
Kickstarter-da vəsait toplamağın məqsədi doğrulama rejiminin inkişafını sürətləndirməkdir. Bu imkan mütləq əlavə olunacaq, lakin vəsait toplanmasa, iş daha çox vaxt ala bilər. Əgər vəsait toplanarsa, Daniel əsas işində tətil götürə biləcək ki, bütün əmək vaxtını cppcheck layihəsinə həsr etsin.
Layihənin məqsədləri
C++ analizatorunun təkmilləşdirilməsi.
Mənbə: linux.org.ru
