{"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\/novosti-interneta\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Cppchecki projekt kogub vahendeid t\u00e4iustuste tegemiseks","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


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

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

Cppchecki arendaja (Daniel Marjam\u00e4ki) plaanib lisada v\u00f5imaluse C- ja C++-programmi koodi verifitseerimiseks oma staatilisse anal\u00fcsaatorisse.<\/p>\n

Tarkvara verifitseerimine Cppcheckis<\/h2>\n

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

Rakendamise plaanid<\/h2>\n

Verifitseerimisre\u017eiimi rakendamine toimub j\u00e4rk-j\u00e4rgult. Esimeses etapis keskendutakse 'jagamisse nulliga' kontrollimisele. See on suhteliselt lihtne kontroll. Iga funktsioon kontrollitakse eraldi. Eeldatakse, et k\u00f5ik sisendid v\u00f5ivad olla suvalise v\u00e4\u00e4rtusega. Muude m\u00e4\u00e4ramatute k\u00e4itumise kontrollide lisamine toimub hiljem. Samuti on plaanis t\u00e4iustada C- ja C++-keele s\u00fcntaksianal\u00fc\u00fcsi.<\/p>\n

Arenduse kiirendamine<\/h2>\n

Kickstarteri rahastamise eesm\u00e4rk on kiirendada valideerimisre\u017eiimi arendamist. Seda funktsiooni plaanitakse igal juhul lisada, kuid t\u00f6\u00f6 v\u00f5ib v\u00f5tta kauem aega, kui vahendeid ei koguta. Kui aga vahendid kogutakse, saab Daniel oma p\u00f5hit\u00f6\u00f6st puhkuse, et p\u00fchenduda t\u00e4ielikult projektile cppcheck.<\/p>\n

Projekti eesm\u00e4rgid<\/h2>\n