Proyék Cppcheck ngumpulkeun dana pikeun ngalaksanakeun perbaikan.

Pamekar Cppcheck (Daniel Marjamäki) badé nambihan kamampuan pikeun pariksa parangkat lunak dina C sareng C ++ kana analisa statik na.

Verifikasi software dina Cppcheck

Dina modeu "verifikasi", Cppcheck bakal ngaluarkeun peringatan upami éta henteu tiasa pariksa yén kode éta aman, tapi ieu tiasa nyababkeun sora (sababaraha peringatan).

Rencana palaksanaan

Modeu verifikasi bakal dilaksanakeun sacara berurutan. Dina tahap kahiji, karya bakal konsentrasi dina division ku enol cek. Ieu cek kawilang basajan. Unggal fungsi bakal diuji nyalira. Hal ieu dianggap yén sakabéh data input bisa boga nilai sawenang. Cék pikeun tipe séjén kabiasaan undefined bakal ditambahkeun engké. Aya ogé rencana pikeun ngaronjatkeun C jeung C ++ parsing.

Ngagancangkeun pangwangunan

Tujuan penggalangan dana dina Kickstarter nyaéta pikeun ngagancangkeun pamekaran mode verifikasi. Kami ngarencanakeun pikeun nambihan fitur ieu, tapi padamelan tiasa langkung lami upami dana henteu diangkat. Upami dana dibangkitkeun, Daniel bakal tiasa nyandak cuti tina padamelan utami pikeun nyéépkeun waktos kerjana pikeun proyék cppcheck.

Tujuan proyék

• Ngaleungitkeun négatip palsu tina ngabagi ku nol tés dina Juliet и ITC.

• Koreksi positip palsu (tingali. BUG#9402).

• Ngaronjatkeun C ++ parser.

sumber: linux.org.ru