{"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\/sl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Projekt Cppcheck zbiera fundusze na wdro\u017cenie ulepsze\u0144","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p><a rel=\"nofollow\" href=\"https:\/\/www.linux.org.ru\/images\/18803\/original.png\" itemprop=\"contentURL\"><br \/>\n      <img decoding=\"async\" alt=\"Projekt Cppcheck zbiera fundusze na wdro\u017cenie ulepsze\u0144\" src=\"\/wp-content\/uploads\/2019\/11\/317a489607220806903d28a8c5a6ab81.jpeg\" style=\"display:block;margin: 0 auto;\" \/><\/p>\n<p>    <\/a><\/p>\n<p>Tw\u00f3rca Cppcheck (Daniel Marjam\u00e4ki) planuje doda\u0107 mo\u017cliwo\u015b\u0107 weryfikacji oprogramowania w C i C++ do swojego statycznego analizatora.<\/p>\n<h2>Weryfikacja oprogramowania w Cppcheck<\/h2>\n<p>W trybie 'weryfikacji' Cppcheck b\u0119dzie wydawa\u0107 ostrze\u017cenie, je\u015bli nie uda si\u0119 potwierdzi\u0107, \u017ce kod jest bezpieczny, co mo\u017ce prowadzi\u0107 do fa\u0142szywych alarm\u00f3w (wielu ostrze\u017ce\u0144).<\/p>\n<h2>Plany realizacji<\/h2>\n<p>Tryb weryfikacji b\u0119dzie realizowany etapami. Na pierwszym etapie prace skoncentruj\u0105 si\u0119 na sprawdzeniu 'dzielenia przez zero'. To stosunkowo prosta kontrola. Ka\u017cda funkcja b\u0119dzie badana osobno. Przy tym zak\u0142ada si\u0119, \u017ce wszystkie dane wej\u015bciowe mog\u0105 mie\u0107 dowoln\u0105 warto\u015b\u0107. Kontrol\u0119 innych typ\u00f3w nieokre\u015blonego zachowania dodane zostan\u0105 p\u00f3\u017aniej. Planuje si\u0119 r\u00f3wnie\u017c popraw\u0119 analizy C i C++;<\/p>\n<h2>Przyspieszenie rozwoju<\/h2>\n<p>Celem zbi\u00f3rki funduszy na Kickstarterze jest przyspieszenie rozwoju trybu weryfikacji. Ta funkcjonalno\u015b\u0107 zostanie dodana w ka\u017cdym przypadku, ale prace mog\u0105 zaj\u0105\u0107 wi\u0119cej czasu, je\u015bli fundusze nie zostan\u0105 zebrane. Je\u015bli fundusze zostan\u0105 zebrane, Daniel b\u0119dzie m\u00f3g\u0142 wzi\u0105\u0107 urlop z pracy g\u0142\u00f3wnej, aby ca\u0142kowicie po\u015bwi\u0119ci\u0107 sw\u00f3j czas na projekt cppcheck.<\/p>\n<h2>Cele projektu<\/h2>\n<ul>\n<li>\n<noindex><noindex><\/p>\n<p>Eliminacja fa\u0142szywie negatywnych rezultat\u00f3w test\u00f3w dzielenia przez zero w <a rel=\"nofollow\" href=\"https:\/\/samate.nist.gov\/SRD\/testsuite.php\">Juliet<\/a> in <a rel=\"nofollow\" href=\"https:\/\/github.com\/regehr\/itc-benchmarks\">ITC<\/a>.<\/p>\n<p><\/noindex><\/noindex>\n<\/li>\n<li>\n<noindex><\/p>\n<p>Naprawa fa\u0142szywie pozytywnych wynik\u00f3w (patrz <a rel=\"nofollow\" href=\"https:\/\/trac.cppcheck.net\/ticket\/9402\">BUG#9402<\/a>).<\/p>\n<p><\/noindex>\n<\/li>\n<li>\n<p>Udoskonalenie analizatora C++.<\/p>\n<\/li>\n<\/ul>\n<p>Izvor: <a \ncontent=\"nofollow\" rel=\"nofollow\" href=\"http:\/\/www.linux.org.ru\/news\/development\/15351443\">linux.org.ru<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u0420\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a Cppcheck (Daniel Marjam\u00e4ki) \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u041f\u041e \u043d\u0430 C \u0438 C++ \u0432 \u0441\u0432\u043e\u0439 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440. \u0412\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u041f\u041e \u0432 Cppcheck \u0412 \u0440\u0435\u0436\u0438\u043c\u0435 \u00ab\u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438\u00bb Cppcheck \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435, \u0435\u0441\u043b\u0438 \u043d\u0435 \u0443\u0434\u0430\u0441\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0434\u0438\u0442\u044c, \u0447\u0442\u043e \u043a\u043e\u0434 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0439, \u043e\u0434\u043d\u0430\u043a\u043e \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u044c \u043a \u0448\u0443\u043c\u0443 (\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u044f\u043c). \u041f\u043b\u0430\u043d\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0420\u0435\u0436\u0438\u043c \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e. \u041d\u0430 \u043f\u0435\u0440\u0432\u043e\u043c \u044d\u0442\u0430\u043f\u0435 \u0440\u0430\u0431\u043e\u0442\u0430 \u0431\u0443\u0434\u0435\u0442 [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":52734,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-52733","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.4 - aioseo.com -->\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/sl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.4\" \/>\n\t\t<meta property=\"og:locale\" content=\"sl_SI\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041f\u0440\u043e\u0435\u043a\u0442 Cppcheck \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442 \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0443\u043b\u0443\u0447\u0448\u0435\u043d\u0438\u0439 | ProHoster\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/sl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2019-11-14T21:00:00+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-02-18T11:00:32+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Projekt Cppcheck zbiera fundusze na wdro\u017cenie ulepsze\u0144 | ProHoster","description":"","canonical_url":"https:\/\/prohoster.info\/sl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sl_SI","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041f\u0440\u043e\u0435\u043a\u0442 Cppcheck \u0441\u043e\u0431\u0438\u0440\u0430\u0435\u0442 \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0443\u043b\u0443\u0447\u0448\u0435\u043d\u0438\u0439 | ProHoster","og:url":"https:\/\/prohoster.info\/sl\/blog\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2019-11-14T21:00:00+00:00","article:modified_time":"2020-02-18T11:00:32+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"52733","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":"2026-01-24 04:39:19","breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-02-28 20:38:24","updated":"2026-01-24 04:39:19","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/posts\/52733","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/comments?post=52733"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/posts\/52733\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/media\/52734"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/media?parent=52733"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/categories?post=52733"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sl\/wp-json\/wp\/v2\/tags?post=52733"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}