{"id":52733,"date":"2019-11-15T00:00:00","date_gmt":"2019-11-14T21:00:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij"},"modified":"2020-02-18T14:00:32","modified_gmt":"2020-02-18T11:00:32","slug":"proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Cppchecki projekt kogub raha t\u00e4iustuste elluviimiseks","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Cppchecki<\/p>\n

<\/a><\/p>\n

Cppcheck'i arendaja (Daniel Marjam\u00e4ki) kavatseb lisada v\u00f5imaluse C- ja C++-programmi verifitseerimiseks oma staatilisse anal\u00fcsaatorisse.<\/p>\n

Programmi verifitseerimine Cppcheck'is<\/h2>\n

Verifitseerimise re\u017eiimis annab Cppcheck hoiatuse, kui ei \u00f5nnestu kinnitada, et kood on ohutu, kuid see v\u00f5ib p\u00f5hjustada m\u00fcra (mitmeid hoiatusteateid).<\/p>\n

Rakendamisplaanid<\/h2>\n

Verifitseerimise re\u017eiim rakendatakse j\u00e4rk-j\u00e4rgult. Esimeses etapis keskendutakse teatavale \u00abnulliga jagamise\u00bb kontrollimisele. See on suhteliselt lihtne kontroll. Iga funktsiooni kontrollitakse eraldi. Eeldatakse, et k\u00f5ik sisendid v\u00f5ivad olla suvalise v\u00e4\u00e4rtusega. Muude m\u00e4\u00e4ramatute k\u00e4itumiste kontrollid lisatakse hiljem. Samuti plaanitakse parandada C- ja C++-s\u00fcntaksit.<\/p>\n

Arenduse kiirendamine<\/h2>\n

Kickstarteri rahastamise eesm\u00e4rk on arenduse kiirendamine verifitseerimise re\u017eiimis. See v\u00f5imalus plaanitakse kindlasti lisada, kuid t\u00f6\u00f6 v\u00f5ib v\u00f5tta rohkem aega, kui rahastust ei koguta. Kui aga rahastust kogutakse, saavad Daniel ja v\u00f5tta puhkuse oma p\u00f5hit\u00f6\u00f6s, et p\u00fchendada kogu oma t\u00f6\u00f6aeg cppcheck'ile.<\/p>\n

Projekti eesm\u00e4rgid<\/h2>\n