{"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\/hr\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Projekt Cppcheck prikuplja sredstva za implementaciju pobolj\u0161anja","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Projekt<\/p>\n

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

Razvija\u010d Cppcheck (Daniel Marjam\u00e4ki) planira dodati mogu\u0107nost verifikacije softvera za C i C++ u svoj stati\u010dki analizator.<\/p>\n

Verifikacija softvera u Cppcheck<\/h2>\n

U re\u017eimu 'verifikacije', Cppcheck \u0107e davati upozorenje ako ne uspije potvrditi da je kod siguran, me\u0111utim to mo\u017ee dovesti do buke (vi\u0161e upozorenja).<\/p>\n

Planovi implementacije<\/h2>\n

Re\u017eim verifikacije bi\u0107e implementiran postepeno. U prvom koraku, fokus \u0107e biti na provere 'deljenje sa nulom'. To je relativno jednostavna provera. Svaka funkcija \u0107e se proveravati odvojeno. Pri tome se pretpostavlja da svi ulazni podaci mogu imati proizvoljnu vrednost. Provere drugih tipova neodre\u0111enog pona\u0161anja bi\u0107e dodate kasnije. Tako\u0111e, planira se pobolj\u0161anje sintakti\u010dke analize C i C++.<\/p>\n

Ubrzanje razvoja<\/h2>\n

Cilj prikupljanja sredstava na Kickstarteru je ubrzanje razvoja re\u017eima verifikacije. Ova mogu\u0107nost \u0107e biti dodata u svakom slu\u010daju, ali bi rad mogao potrajati vi\u0161e vremena ako sredstva ne budu prikupljena. Ako se sredstva prikupe, Daniel \u0107e mo\u0107i uzeti odmor na svom glavnom poslu kako bi potpuno posvetio svoje radno vreme projektu cppcheck.<\/p>\n

Ciljevi projekta<\/h2>\n