{"id":101737,"date":"2021-10-24T22:22:41","date_gmt":"2021-10-24T20:22:41","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode"},"modified":"2021-10-24T22:22:41","modified_gmt":"2021-10-24T20:22:41","slug":"intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","status":"publish","type":"post","link":"https:\/\/prohoster.info\/cs\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel otev\u0159el k\u00f3d syst\u00e9mu strojov\u00e9ho u\u010den\u00ed ControlFlag pro odhalov\u00e1n\u00ed chyb v k\u00f3du","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Spole\u010dnost Intel zve\u0159ejnila pr\u00e1ce spojen\u00e9 s v\u00fdzkumn\u00fdm projektem ControlFlag, jeho\u017e c\u00edlem je vytvo\u0159it syst\u00e9m strojov\u00e9ho u\u010den\u00ed pro zlep\u0161en\u00ed kvality k\u00f3du. N\u00e1stroje p\u0159ipraven\u00e9 projektem umo\u017e\u0148uj\u00ed na z\u00e1klad\u011b modelu vy\u0161kolen\u00e9ho na velk\u00e9m objemu existuj\u00edc\u00edho k\u00f3du identifikovat r\u016fzn\u00e9 chyby a anom\u00e1lie v zdrojov\u00fdch textech napsan\u00fdch ve vysoce \u00farov\u0148ov\u00fdch jazyc\u00edch, jako jsou C\/C++. Syst\u00e9m je vhodn\u00fd pro ur\u010den\u00ed r\u016fzn\u00fdch typ\u016f probl\u00e9m\u016f v k\u00f3du, od odhalov\u00e1n\u00ed p\u0159eklep\u016f a nespr\u00e1vn\u00fdch kombinac\u00ed typ\u016f po identifikaci vynechan\u00fdch kontrol hodnoty NULL v ukazatel\u00edch a probl\u00e9m\u016f s pam\u011bt\u00ed. K\u00f3d ControlFlag je naps\u00e1n v jazyce C++ a je otev\u0159en\u00fd pod licenc\u00ed MIT. <\/p>\n

Syst\u00e9m se s\u00e1m u\u010d\u00ed t\u00edm, \u017ee vytv\u00e1\u0159\u00ed statistick\u00fd model st\u00e1vaj\u00edc\u00edho souboru k\u00f3du otev\u0159en\u00fdch projekt\u016f publikovan\u00fdch na GitHubu a podobn\u00fdch ve\u0159ejn\u00fdch repozit\u00e1\u0159\u00edch. V pr\u016fb\u011bhu u\u010den\u00ed syst\u00e9m ur\u010duje typick\u00e9 vzory strukturov\u00e1n\u00ed konstrukc\u00ed v k\u00f3du a vytv\u00e1\u0159\u00ed syntaktick\u00fd strom vazeb mezi t\u011bmito vzory, kter\u00fd odr\u00e1\u017e\u00ed tok vykon\u00e1v\u00e1n\u00ed k\u00f3du v programu. V d\u016fsledku toho se vyv\u00edj\u00ed referen\u010dn\u00ed rozhodovac\u00ed strom, kter\u00fd integruje zku\u0161enosti z v\u00fdvoje v\u0161ech analyzovan\u00fdch zdrojov\u00fdch text\u016f. <\/p>\n

Pro zkouman\u00fd k\u00f3d prob\u00edh\u00e1 podobn\u00fd proces ur\u010dov\u00e1n\u00ed vzor\u016f, kter\u00e9 se porovn\u00e1vaj\u00ed s referen\u010dn\u00edm rozhodovac\u00edm stromem. Velk\u00e9 odchylky od sousedn\u00edch v\u011btv\u00ed nazna\u010duj\u00ed p\u0159\u00edtomnost anom\u00e1lie ve zkouman\u00e9m vzoru. Syst\u00e9m tak\u00e9 umo\u017e\u0148uje nejen identifikovat chybu ve vzoru, ale tak\u00e9 navrhnout opravn\u00e9 \u0159e\u0161en\u00ed. Nap\u0159\u00edklad v k\u00f3du OpenSSL byla zji\u0161t\u011bna konstrukce \u2227 , kter\u00e1 se objevila v syntaktick\u00e9m strom\u011b pouze 8kr\u00e1t, zat\u00edmco nejbli\u017e\u0161\u00ed v\u011btev s hodnotou || se objevila p\u0159ibli\u017en\u011b 7000kr\u00e1t. Syst\u00e9m tak\u00e9 identifikoval anom\u00e1lii | , kter\u00e1 se vyskytovala ve strom\u011b 32kr\u00e1t.

\"Intel<\/center> <\/p>\n

P\u0159i anal\u00fdze fragmentu k\u00f3du syst\u00e9m ur\u010dil, \u017ee obvykle se v p\u0159\u00edkazu pro porovn\u00e1n\u00ed \u010d\u00edseln\u00fdch hodnot pou\u017e\u00edv\u00e1 konstrukce , tak\u017ee je velmi pravd\u011bpodobn\u00e9, \u017ee pou\u017eit\u00ed ve v\u00fdrazu bylo zp\u016fsobeno p\u0159eklepem. Takovou chybu by zachytily i tradi\u010dn\u00ed statick\u00e9 analyz\u00e1tory, ale na rozd\u00edl od nich ControlFlag nepou\u017e\u00edv\u00e1 p\u0159ipraven\u00e1 pravidla, u kter\u00fdch je obt\u00ed\u017en\u00e9 p\u0159edv\u00eddat v\u0161echny mo\u017en\u00e9 varianty, ale vych\u00e1z\u00ed ze statistik pou\u017eit\u00ed r\u016fzn\u00fdch konstrukc\u00ed v mnoha projektech. <\/p>\n

Jako experiment bylo pomoc\u00ed ControlFlag v zdrojov\u00fdch textech utility cURL, kter\u00e1 je \u010dasto uv\u00e1d\u011bna jako p\u0159\u00edklad kvalitn\u00edho a ov\u011b\u0159en\u00e9ho k\u00f3du, odhaleno nepozorovan\u00e9 chybov\u00e9 pou\u017eit\u00ed prvku struktury keepon>, kter\u00fd m\u011bl \u010d\u00edseln\u00fd typ, ale byl porovn\u00e1v\u00e1n s logickou hodnotou TRUE. V k\u00f3du OpenSSL, krom\u011b v\u00fd\u0161e zm\u00edn\u011bn\u00e9ho probl\u00e9mu s \u2227 , byly tak\u00e9 odhaleny anom\u00e1lie ve v\u00fdrazech (m\u00ednus byl p\u0159eklep) a <BIO_puts(bp, );
\n
Zdroj: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Intel \u043e\u0442\u043a\u0440\u044b\u043b\u0430 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043a\u0438, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c ControlFlag, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0434\u043b\u044f \u043f\u043e\u0432\u044b\u0448\u0435\u043d\u0438\u044f \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043a\u043e\u0434\u0430. \u041f\u043e\u0434\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0439 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u043c\u043e\u0434\u0435\u043b\u0438, \u043e\u0431\u0443\u0447\u0435\u043d\u043d\u043e\u0439 \u043d\u0430 \u0431\u043e\u043b\u044c\u0448\u043e\u043c \u043e\u0431\u044a\u0451\u043c\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0433\u043e \u043a\u043e\u0434\u0430, \u0432\u044b\u044f\u0432\u043b\u044f\u0442\u044c \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0438 \u0430\u043d\u043e\u043c\u0430\u043b\u0438\u0438 \u0432 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u043a\u0441\u0442\u0430\u0445, \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u043d\u0430 \u0432\u044b\u0441\u043e\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445, \u0442\u0430\u043a\u0438\u0445 \u043a\u0430\u043a C\/C++. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u043e\u0434\u0445\u043e\u0434\u0438\u0442 \u0434\u043b\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0432 \u043a\u043e\u0434\u0435 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0432\u0438\u0434\u043e\u0432 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":101738,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-101737","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Intel otev\u0159el k\u00f3d syst\u00e9mu strojov\u00e9ho u\u010den\u00ed ControlFlag pro odhalov\u00e1n\u00ed chyb v k\u00f3du | ProHoster","description":"Spole\u010dnost Intel zve\u0159ejnila v\u00fdzkum spojen\u00fd s projektem ControlFlag, kter\u00fd se zam\u011b\u0159uje na vytvo\u0159en\u00ed syst\u00e9mu strojov\u00e9ho u\u010den\u00ed pro zlep\u0161en\u00ed kvality k\u00f3du.","canonical_url":"https:\/\/prohoster.info\/cs\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"cs_CZ","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\udd47Intel \u043e\u0442\u043a\u0440\u044b\u043b \u043a\u043e\u0434 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f ControlFlag \u0434\u043b\u044f \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a \u0432 \u043a\u043e\u0434\u0435 | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Intel \u043e\u0442\u043a\u0440\u044b\u043b\u0430 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043a\u0438, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c ControlFlag, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043c\u0430\u0448\u0438\u043d\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0434\u043b\u044f \u043f\u043e\u0432\u044b\u0448\u0435\u043d\u0438\u044f \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043a\u043e\u0434\u0430.","og:url":"https:\/\/prohoster.info\/cs\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","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":"2021-10-24T20:22:41+00:00","article:modified_time":"2021-10-24T20:22:41+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"101737","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":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-10-24 20:24:32","updated":"2022-10-04 22:00:53","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/101737","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/comments?post=101737"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/101737\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media\/101738"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media?parent=101737"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/categories?post=101737"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/tags?post=101737"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}