{"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\/pt\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"A Intel abriu o c\u00f3digo do sistema de aprendizado de m\u00e1quina ControlFlag para identificar erros no c\u00f3digo","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
A Intel lan\u00e7ou pesquisas relacionadas ao projeto de pesquisa ControlFlag, que visa criar um sistema de aprendizado de m\u00e1quina para melhorar a qualidade do c\u00f3digo. A ferramenta preparada pelo projeto permite, com base em um modelo treinado em um grande volume de c\u00f3digo existente, identificar diferentes erros e anomalias em textos fonte escritos em linguagens de alto n\u00edvel, como C\/C++. O sistema \u00e9 adequado para detectar v\u00e1rios tipos de problemas no c\u00f3digo, desde a identifica\u00e7\u00e3o de erros de digita\u00e7\u00e3o e combina\u00e7\u00f5es de tipos incorretos at\u00e9 a detec\u00e7\u00e3o de verifica\u00e7\u00f5es de valor NULL ausentes em ponteiros e problemas de gerenciamento de mem\u00f3ria. O c\u00f3digo do ControlFlag \u00e9 escrito em C++ e \u00e9 de c\u00f3digo aberto sob a licen\u00e7a MIT. <\/p>\n
O sistema se auto-treina construindo um modelo estat\u00edstico do conjunto de c\u00f3digo de projetos abertos publicados no GitHub e reposit\u00f3rios p\u00fablicos semelhantes. Na fase de treinamento, o sistema define padr\u00f5es t\u00edpicos na constru\u00e7\u00e3o de estruturas no c\u00f3digo e constr\u00f3i uma \u00e1rvore sint\u00e1tica de rela\u00e7\u00f5es entre esses padr\u00f5es, refletindo o fluxo de execu\u00e7\u00e3o do c\u00f3digo no programa. No final, uma \u00e1rvore de decis\u00e3o padr\u00e3o \u00e9 formada, combinando a experi\u00eancia de desenvolvimento de todos os textos fonte analisados. <\/p>\n
Para o c\u00f3digo verificado, \u00e9 realizado um processo semelhante de identifica\u00e7\u00e3o de padr\u00f5es, que s\u00e3o comparados com a \u00e1rvore de decis\u00e3o padr\u00e3o. Grandes discrep\u00e2ncias com ramos vizinhos indicam a presen\u00e7a de anomalias no padr\u00e3o verificado. O sistema tamb\u00e9m permite n\u00e3o apenas identificar um erro no padr\u00e3o, mas tamb\u00e9m sugerir uma corre\u00e7\u00e3o. Por exemplo, no c\u00f3digo do OpenSSL, foi identificada a constru\u00e7\u00e3o «(s1 == NULL) ∧ (s2 == NULL)», que aparecia na \u00e1rvore sint\u00e1tica apenas 8 vezes, enquanto o ramo mais pr\u00f3ximo com o valor «(s1 == NULL) || (s2 == NULL)» aparecia cerca de 7 mil vezes. O sistema tamb\u00e9m destacou a anomalia «(s1 == NULL) | (s2 == NULL)», que apareceu na \u00e1rvore 32 vezes.
<\/center> <\/p>\n
Ao analisar o fragmento de c\u00f3digo «if (x = 7) y = x;», o sistema determinou que, normalmente, no operador «if», para comparar valores num\u00e9ricos, utiliza-se a constru\u00e7\u00e3o «vari\u00e1vel == n\u00famero», portanto, \u00e9 muito prov\u00e1vel que a indica\u00e7\u00e3o «vari\u00e1vel = n\u00famero» na express\u00e3o «if» tenha sido causada por um erro de digita\u00e7\u00e3o. Esse tipo de erro poderia ser detectado por analisadores est\u00e1ticos tradicionais, mas, ao contr\u00e1rio deles, o ControlFlag n\u00e3o aplica regras prontas, que dificilmente podem prever todas as poss\u00edveis varia\u00e7\u00f5es, mas se baseia na estat\u00edstica de utiliza\u00e7\u00e3o de v\u00e1rias constru\u00e7\u00f5es em um grande n\u00famero de projetos. <\/p>\n
Como experimento, utilizando o ControlFlag nos c\u00f3digos-fonte da ferramenta cURL, que frequentemente \u00e9 citada como um exemplo de c\u00f3digo de qualidade e confi\u00e1vel, foi identificada uma falha n\u00e3o detectada pelos analisadores est\u00e1ticos no uso do elemento da estrutura «s->keepon», que tinha um tipo num\u00e9rico, mas estava sendo comparado com o valor booleano TRUE. No c\u00f3digo do OpenSSL, al\u00e9m do problema mencionado com «(s1 == NULL) ∧ (s2 == NULL)», tamb\u00e9m foram detectadas anomalias nas express\u00f5es «(-2 == rv)» (o sinal negativo era um erro de digita\u00e7\u00e3o) e «BIO_puts(bp, «:») \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"A](\"\/wp-content\/uploads\/2021\/10\/f59e59e606a113aac675d44fd97845bd.jpg\")
<\/center> <\/p>\n