{"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\/pl\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel udost\u0119pni\u0142 kod systemu uczenia maszynowego ControlFlag do wykrywania b\u0142\u0119d\u00f3w w kodzie","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Firma Intel ujawnila prace zwi\u0105zane z projektem badawczym ControlFlag, kt\u00f3ry ma na celu stworzenie systemu uczenia maszynowego w celu poprawy jako\u015bci kodu. Opracowane przez projekt narz\u0119dzia pozwala na wykrywanie r\u00f3\u017cnych b\u0142\u0119d\u00f3w i anomalii w kodzie \u017ar\u00f3d\u0142owym napisanym w wysokopoziomowych j\u0119zykach, takich jak C\/C++, na podstawie modelu wytrenowanego na du\u017cej ilo\u015bci istniej\u0105cego kodu. System nadaje si\u0119 do identyfikacji r\u00f3\u017cnych problem\u00f3w w kodzie, od wykrywania liter\u00f3wek i nieprawid\u0142owych kombinacji typ\u00f3w, po identyfikacj\u0119 pomini\u0119tych sprawdze\u0144 warto\u015bci NULL w wska\u017anikach oraz problem\u00f3w zwi\u0105zanych z pami\u0119ci\u0105. Kod ControlFlag zosta\u0142 napisany w j\u0119zyku C++ i jest udost\u0119pniony na licencji MIT. <\/p>\n
System uczy si\u0119 samodzielnie, buduj\u0105c model statystyczny istniej\u0105cego zbioru kodu projekt\u00f3w open source opublikowanych na GitHubie i podobnych publicznych repozytoriach. W fazie uczenia system identyfikuje typowe wzorce konstrukcji w kodzie i tworzy drzewo syntaktyczne relacji mi\u0119dzy tymi wzorcami, odzwierciedlaj\u0105ce przep\u0142yw wykonania kodu w programie. W rezultacie tworzy si\u0119 wzorcowe drzewo podejmowania decyzji, kt\u00f3re \u0142\u0105czy do\u015bwiadczenie wszystkich analizowanych kod\u00f3w \u017ar\u00f3d\u0142owych. <\/p>\n
Dla sprawdzanego kodu wykonywany jest podobny proces okre\u015blania wzorc\u00f3w, kt\u00f3re s\u0105 por\u00f3wnywane z referencyjnym drzewem podejmowania decyzji. Du\u017ce r\u00f3\u017cnice w s\u0105siednich ga\u0142\u0119ziach wskazuj\u0105 na obecno\u015b\u0107 anomalii w sprawdzanym wzorcu. System pozwala r\u00f3wnie\u017c nie tylko zidentyfikowa\u0107 b\u0142\u0105d w wzorcu, ale tak\u017ce zaproponowa\u0107 poprawk\u0119. Na przyk\u0142ad w kodzie OpenSSL wykryto konstrukcj\u0119 \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201d, kt\u00f3ra wyst\u0105pi\u0142a w drzewie syntaktycznym jedynie 8 razy, podczas gdy najbli\u017csza ga\u0142\u0105\u017a z warto\u015bci\u0105 \u201e(s1 == NULL) || (s2 == NULL)\u201d pojawi\u0142a si\u0119 oko\u0142o 7 tysi\u0119cy razy. System zidentyfikowa\u0142 r\u00f3wnie\u017c anomali\u0119 \u201e(s1 == NULL) | (s2 == NULL)\u201d, kt\u00f3ra wyst\u0105pi\u0142a w drzewie 32 razy.
<\/center> <\/p>\n
Analizuj\u0105c fragment kodu \u201eif (x = 7) y = x;\u201d, system okre\u015bli\u0142, \u017ce zazwyczaj w operatorze \u201eif\u201d do por\u00f3wnania warto\u015bci liczbowych u\u017cywa si\u0119 konstrukcji \u201ezmienna == liczba\u201d, dlatego z du\u017cym prawdopodobie\u0144stwem u\u017cycie \u201ezmienna = liczba\u201d w wyra\u017ceniu \u201eif\u201d jest spowodowane liter\u00f3wk\u0105. Taki b\u0142\u0105d wykry\u0142yby r\u00f3wnie\u017c tradycyjne analizatory statyczne, ale w przeciwie\u0144stwie do nich ControlFlag nie stosuje gotowych regu\u0142, w kt\u00f3rych trudno przewidzie\u0107 wszystkie mo\u017cliwe warianty, a opiera si\u0119 na statystyce wykorzystania wszelkich konstrukcji w du\u017cej liczbie projekt\u00f3w. <\/p>\n
W ramach eksperymentu przy u\u017cyciu ControlFlag w \u017ar\u00f3d\u0142owych tekstach narz\u0119dzia cURL, kt\u00f3re cz\u0119sto jest podawane jako przyk\u0142ad jako\u015bciowego i sprawdzonego kodu, wykryto niezauwa\u017cony przez analizatory statyczne b\u0142\u0105d przy u\u017cyciu elementu struktury \u201es->keepon\u201d, kt\u00f3ry mia\u0142 typ liczbowy, ale by\u0142 por\u00f3wnywany z warto\u015bci\u0105 logiczn\u0105 TRUE. W kodzie OpenSSL, opr\u00f3cz wcze\u015bniej wspomnianego problemu z \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201d, wykryto r\u00f3wnie\u017c anomalie w wyra\u017ceniach \u201e(-2 == rv)\u201d (minus by\u0142 liter\u00f3wk\u0105) oraz \u201eBIO_puts(bp, ':')\u201d. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Intel](\"\/wp-content\/uploads\/2021\/10\/f59e59e606a113aac675d44fd97845bd.jpg\")
<\/center> <\/p>\n