{"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\/fr\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel a ouvert le code du syst\u00e8me d'apprentissage machine ControlFlag pour d\u00e9tecter les erreurs dans le code","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
La soci\u00e9t\u00e9 Intel a r\u00e9v\u00e9l\u00e9 ses travaux li\u00e9s au projet de recherche ControlFlag, visant \u00e0 cr\u00e9er un syst\u00e8me d'apprentissage automatique pour am\u00e9liorer la qualit\u00e9 du code. Les outils fournis par le projet permettent, sur la base d'un mod\u00e8le form\u00e9 sur un grand volume de code existant, d'identifier divers erreurs et anomalies dans les fichiers sources \u00e9crits dans des langages de haut niveau comme C\/C++. Le syst\u00e8me est apte \u00e0 d\u00e9tecter diff\u00e9rents types de probl\u00e8mes dans le code, allant de la d\u00e9tection de fautes de frappe et d'inad\u00e9quation des types \u00e0 l'identification de v\u00e9rifications manqu\u00e9es des valeurs NULL dans les pointeurs et des probl\u00e8mes de gestion de la m\u00e9moire. Le code de ControlFlag est \u00e9crit en C++ et est disponible sous licence MIT. <\/p>\n
Le syst\u00e8me s'auto-forme en construisant un mod\u00e8le statistique de l'ensemble du code des projets ouverts publi\u00e9s sur GitHub et d'autres d\u00e9p\u00f4ts publics semblables. Au stade d'apprentissage, le syst\u00e8me d\u00e9termine des mod\u00e8les typiques de construction de constructions de code et construit un arbre syntaxique des liens entre ces mod\u00e8les, refl\u00e9tant le flux d'ex\u00e9cution du code dans le programme. En d\u00e9finitive, un arbre de d\u00e9cision de r\u00e9f\u00e9rence est form\u00e9, combinant l'exp\u00e9rience de d\u00e9veloppement de tous les fichiers sources analys\u00e9s. <\/p>\n
Pour le code examin\u00e9, un processus similaire est utilis\u00e9 pour identifier les motifs qui sont ensuite compar\u00e9s \u00e0 un arbre de d\u00e9cision de r\u00e9f\u00e9rence. De grandes divergences avec des branches adjacentes indiquent la pr\u00e9sence d'une anomalie dans le motif examin\u00e9. Le syst\u00e8me permet \u00e9galement non seulement de d\u00e9tecter une erreur dans le motif, mais aussi de proposer une correction. Par exemple, dans le code OpenSSL, une construction \u00ab (s1 == NULL) \u2227 (s2 == NULL) \u00bb a \u00e9t\u00e9 d\u00e9tect\u00e9e dans l'arbre syntaxique seulement 8 fois, tandis que la branche la plus proche avec la valeur \u00ab (s1 == NULL) || (s2 == NULL) \u00bb a \u00e9t\u00e9 rencontr\u00e9e environ 7000 fois. Le syst\u00e8me a \u00e9galement identifi\u00e9 l'anomalie \u00ab (s1 == NULL) | (s2 == NULL) \u00bb qui \u00e9tait pr\u00e9sente dans l'arbre 32 fois.
<\/center> <\/p>\n
Lors de l'analyse du fragment de code \u00ab if (x = 7) y = x; \u00bb, le syst\u00e8me a d\u00e9termin\u00e9 que, g\u00e9n\u00e9ralement, dans l'instruction \u00ab if \u00bb, on utilise la construction \u00ab variable == nombre \u00bb pour comparer des valeurs num\u00e9riques. Par cons\u00e9quent, il est fort probable que l'utilisation de \u00ab variable = nombre \u00bb dans l'expression \u00ab if \u00bb soit due \u00e0 une faute de frappe. Une telle erreur aurait \u00e9galement \u00e9t\u00e9 d\u00e9tect\u00e9e par des analyseurs statiques traditionnels, mais contrairement \u00e0 eux, ControlFlag n'applique pas de r\u00e8gles pr\u00e9d\u00e9finies qui peinent \u00e0 envisager toutes les variations possibles, mais se base sur des statistiques d'utilisation de diverses constructions dans de nombreux projets. <\/p>\n
Dans le cadre d'une exp\u00e9rience, \u00e0 l'aide de ControlFlag dans le code source de l'outil cURL, souvent cit\u00e9 comme exemple de code de qualit\u00e9 et \u00e9prouv\u00e9, une erreur non d\u00e9tect\u00e9e par les analyseurs statiques a \u00e9t\u00e9 r\u00e9v\u00e9l\u00e9e lors de l'utilisation de l'\u00e9l\u00e9ment de structure \u00ab s->keepon \u00bb, qui avait un type num\u00e9rique mais \u00e9tait compar\u00e9 \u00e0 une valeur bool\u00e9enne TRUE. Dans le code OpenSSL, en plus du probl\u00e8me mentionn\u00e9 ci-dessus avec \u00ab (s1 == NULL) \u2227 (s2 == NULL) \u00bb, des anomalies ont \u00e9galement \u00e9t\u00e9 d\u00e9tect\u00e9es dans les expressions \u00ab (-2 == rv) \u00bb (le signe moins \u00e9tait une faute de frappe) et \u00ab BIO_puts(bp, ':') \u00bb. \n Source : 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