{"id":102331,"date":"2021-11-19T21:36:39","date_gmt":"2021-11-19T19:36:40","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si"},"modified":"2021-11-19T21:36:39","modified_gmt":"2021-11-19T19:36:40","slug":"vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pt\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Lan\u00e7amento do ControlFlag 1.0, uma ferramenta para a detec\u00e7\u00e3o de erros no c\u00f3digo em C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
A empresa Intel lan\u00e7ou a primeira vers\u00e3o significativa da ferramenta ControlFlag 1.0, que permite detectar erros e anomalias em c\u00f3digos-fonte, utilizando um sistema de aprendizado de m\u00e1quina treinado em um grande volume de c\u00f3digo existente. Diferentemente dos analisadores est\u00e1ticos tradicionais, o ControlFlag n\u00e3o utiliza regras fixas, que s\u00e3o dif\u00edceis de prever em todas as situa\u00e7\u00f5es, mas se baseia na estat\u00edstica de uso de v\u00e1rias constru\u00e7\u00f5es lingu\u00edsticas em um grande n\u00famero de projetos. O c\u00f3digo do ControlFlag \u00e9 escrito em C++ e est\u00e1 dispon\u00edvel sob a licen\u00e7a MIT. <\/p>\n
O sistema \u00e9 treinado construindo um modelo estat\u00edstico do conjunto de c\u00f3digo de projetos abertos publicados no GitHub e em reposit\u00f3rios p\u00fablicos semelhantes. Durante a fase de treinamento, o sistema identifica padr\u00f5es t\u00edpicos de constru\u00e7\u00e3o de constru\u00e7\u00f5es 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. Como resultado, forma-se uma \u00e1rvore de decis\u00e3o de refer\u00eancia, que re\u00fane a experi\u00eancia de desenvolvimento de todos os c\u00f3digos-fonte analisados. Para o c\u00f3digo verificado, um processo semelhante de identifica\u00e7\u00e3o de padr\u00f5es \u00e9 realizado, que s\u00e3o comparados com a \u00e1rvore de decis\u00e3o de refer\u00eancia. Grandes diverg\u00eancias com ramos vizinhos indicam a presen\u00e7a de uma anomalia no padr\u00e3o verificado. <\/p>\n
<\/center> <\/p>\n
Como exemplo das capacidades do ControlFlag, os desenvolvedores realizaram uma an\u00e1lise dos c\u00f3digos-fonte dos projetos OpenSSL e cURL: <\/p>\n
\n
No OpenSSL foram detectadas constru\u00e7\u00f5es an\u00f4malas «(s1 == NULL) ∧ (s2 == NULL)» e «(s1 == NULL) | (s2 == NULL)», que n\u00e3o est\u00e3o de acordo com o padr\u00e3o normalmente utilizado «(s1 == NULL) || (s2 == NULL)». No c\u00f3digo tamb\u00e9m foram encontradas anomalias nas express\u00f5es «(-2 == rv)» (o sinal de menos foi um erro de digita\u00e7\u00e3o) e «BIO_puts(bp, «:») <= 0)» (no contexto da verifica\u00e7\u00e3o de conclus\u00e3o bem-sucedida da fun\u00e7\u00e3o deveria ter sido «== 0»).\n
No cURL foi identificada uma falha que n\u00e3o foi detectada pelos analisadores est\u00e1ticos ao utilizar o elemento da estrutura «s->keepon», que tinha um tipo num\u00e9rico, mas estava sendo comparado a um valor booleano TRUE. <\/ul>\n
Dentre as caracter\u00edsticas da vers\u00e3o ControlFlag 1.0, destaca-se o suporte completo a templates de tipos para a linguagem C e a capacidade de detectar anomalias em express\u00f5es condicionais «if». Por exemplo, ao analisar um trecho de c\u00f3digo «if (x = 7) y = x;», o sistema ir\u00e1 indicar que, normalmente, em um operador «if» para compara\u00e7\u00e3o de valores num\u00e9ricos utiliza-se a constru\u00e7\u00e3o «vari\u00e1vel == n\u00famero», portanto, \u00e9 altamente prov\u00e1vel que a nota\u00e7\u00e3o «vari\u00e1vel = n\u00famero» na express\u00e3o «if» seja resultado de um erro de digita\u00e7\u00e3o. Um script \u00e9 fornecido para carregar os reposit\u00f3rios existentes no GitHub na linguagem C e utiliz\u00e1-los para construir o modelo. Modelos j\u00e1 prontos tamb\u00e9m est\u00e3o dispon\u00edveis, permitindo iniciar a verifica\u00e7\u00e3o do c\u00f3digo imediatamente. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Lan\u00e7amento](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n