Cppcheck loyihasi takomillashtirishni amalga oshirish uchun mablag' yig'moqda.


Cppcheck loyihasi takomillashtirishni amalga oshirish uchun mablag' yig'moqda.

Cppcheck (Daniel Marjamäki) ishlab chiqaruvchisi o'zining statik analizatoriga C va C++ tillarida dasturiy ta'minotni tekshirish qobiliyatini qo'shmoqchi.

Cppcheck-da dasturiy ta'minotni tekshirish

"Tasdiqlash" rejimida Cppcheck, agar kod xavfsiz ekanligini tekshira olmasa, ogohlantirish beradi, ammo bu shovqinga olib kelishi mumkin (bir nechta ogohlantirishlar).

Amalga oshirish rejalari

Tekshirish rejimi ketma-ket amalga oshiriladi. Birinchi bosqichda ish nol chek bilan bo'linishga qaratiladi. Bu nisbatan oddiy tekshirish. Har bir funktsiya alohida sinovdan o'tkaziladi. Barcha kiritilgan ma'lumotlar ixtiyoriy qiymatga ega bo'lishi mumkin deb taxmin qilinadi. Belgilanmagan xatti-harakatlarning boshqa turlari uchun tekshiruvlar keyinroq qo'shiladi. Bundan tashqari, C va C++ tahlilini yaxshilash rejalari mavjud.

Rivojlanishni tezlashtirish

Kickstarter-da mablag 'to'plashdan maqsad tekshirish rejimini rivojlantirishni tezlashtirishdir. Biz baribir bu xususiyatni qo‘shishni rejalashtirmoqdamiz, ammo mablag‘ yig‘ilmasa, ish uzoqroq davom etishi mumkin. Agar mablag' yig'ilsa, Daniel o'zining ish vaqtini cppcheck loyihasiga to'liq bag'ishlash uchun asosiy ishidan ta'tilga chiqishi mumkin bo'ladi.

Loyiha maqsadlari

  • Nolga bo'lingan testlarda noto'g'ri salbiylarni yo'q qilish Juliet и ITC.

  • Noto'g'ri pozitivlarni tuzatish (qarang. BUG # 9402).

  • C++ tahlilchisini takomillashtirish.

Manba: linux.org.ru

a Izoh qo'shish