Pamekar Cppcheck, Daniel Marjamäki, ngarencanakeun pikeun nambahkeun kamampuan pikeun verifikasi parangkat lunak C sareng C++ kana penganalisis statisna.
Verifikasi parangkat lunak dina Cppcheck
Dina modeu "verifikasi", Cppcheck bakal ngaluarkeun peringatan upami teu tiasa mastikeun yén kode éta aman, tapi ieu tiasa nyababkeun gangguan (sababaraha peringatan).
Rencana palaksanaan
Modeu verifikasi bakal dilaksanakeun laun-laun. Mimitina, padamelan bakal fokus kana mariksa "bagi ku nol." Ieu mangrupikeun pamariksaan anu kawilang saderhana. Unggal fungsi bakal dipariksa sacara misah, kalayan nganggap yén sadaya data input tiasa gaduh nilai anu teu ditangtukeun. Pamariksaan pikeun jinis paripolah anu teu ditetepkeun anu sanés bakal ditambahkeun engké. Peningkatan kana analisis sintaksis C sareng C++ ogé direncanakeun.
Ngagancangkeun pangwangunan
Tujuan tina kampanye crowdfunding Kickstarter nyaéta pikeun ngagancangkeun pamekaran modeu verifikasi. Fitur ieu direncanakeun bakal ditambahkeun, tapi padamelanna tiasa langkung lami upami dana henteu dikumpulkeun. Upami dana dikumpulkeun, Daniel bakal tiasa cuti tina padamelan sadidintenna pikeun ngahaturanan waktosna pinuh pikeun proyék cppcheck.
Tujuan proyék
Ngaronjatkeun panganalisis C++.
sumber: linux.org.ru
