Proyek Cppcheck ngumpulake dana kanggo ngleksanakake perbaikan.

Pangembang Cppcheck (Daniel Marjamäki) bakal nambah kemampuan kanggo verifikasi piranti lunak ing C lan C ++ menyang analisa statis.

Verifikasi piranti lunak ing Cppcheck

Ing mode "verifikasi", Cppcheck bakal ngetokake bebaya yen ora bisa verifikasi manawa kode kasebut aman, nanging bisa nyebabake gangguan (beberapa bebaya).

Rencana implementasine

Mode verifikasi bakal ditindakake kanthi urutan. Ing tataran kapisan, karya bakal musataken ing divisi dening nul mriksa. Iki mriksa relatif prasaja. Saben fungsi bakal dites kanthi kapisah. Dianggep kabeh data input bisa duwe nilai sing sewenang-wenang. Priksa kanggo jinis liyane saka prilaku undefined bakal ditambahake mengko. Ana uga rencana kanggo nambah parsing C lan C ++.

Percepatan pembangunan

Tujuan penggalangan dana ing Kickstarter yaiku kanggo nyepetake pangembangan mode verifikasi. We planning kanggo nambah fitur iki tho, nanging karya bisa njupuk maneh yen dana ora ngumpulake. Yen dana dikumpulake, Daniel bakal bisa njupuk cuti saka pakaryan utama supaya bisa nggunakake wektu kerja kanggo proyek cppcheck.

Sasaran Proyek

• Ngilangi negatif palsu saka divisi kanthi nol tes ing Juliet и ITC.

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

• Dandan saka C++ parser.

Source: linux.org.ru