{"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\/es\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel ha abierto el c\u00f3digo del sistema de aprendizaje autom\u00e1tico ControlFlag para detectar errores en el c\u00f3digo.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
La empresa Intel ha revelado avances relacionados con el proyecto de investigaci\u00f3n ControlFlag, cuyo objetivo es crear un sistema de aprendizaje autom\u00e1tico para mejorar la calidad del c\u00f3digo. Las herramientas desarrolladas por el proyecto permiten, bas\u00e1ndose en un modelo entrenado con una gran cantidad de c\u00f3digo existente, identificar diversos errores y anomal\u00edas en textos fuentes escritos en lenguajes de alto nivel como C\/C++. El sistema es adecuado para detectar diferentes tipos de problemas en el c\u00f3digo, desde errores tipogr\u00e1ficos y combinaciones incorrectas de tipos hasta la identificaci\u00f3n de verificaciones faltantes de valores NULL en punteros y problemas de gesti\u00f3n de memoria. El c\u00f3digo de ControlFlag est\u00e1 escrito en C++ y se publica bajo la licencia MIT. <\/p>\n
El sistema se autoentrena mediante la construcci\u00f3n de un modelo estad\u00edstico del conjunto de c\u00f3digo de proyectos abiertos publicados en GitHub y repositorios p\u00fablicos similares. Durante la etapa de entrenamiento, el sistema determina patrones t\u00edpicos de construcci\u00f3n de estructuras en el c\u00f3digo y construye un \u00e1rbol sint\u00e1ctico de relaciones entre estos patrones, que refleja el flujo de ejecuci\u00f3n del c\u00f3digo en el programa. Como resultado, se forma un \u00e1rbol de decisiones de referencia que combina la experiencia de desarrollo de todos los textos fuente analizados. <\/p>\n
Para el c\u00f3digo analizado, se lleva a cabo un proceso similar de identificaci\u00f3n de patrones, que se comparan con un \u00e1rbol de decisi\u00f3n de referencia. Grandes discrepancias con ramas adyacentes indican la presencia de una anomal\u00eda en el patr\u00f3n revisado. El sistema tambi\u00e9n permite no solo identificar un error en el patr\u00f3n, sino tambi\u00e9n sugerir una correcci\u00f3n. Por ejemplo, en el c\u00f3digo de OpenSSL, se detect\u00f3 la construcci\u00f3n \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, que aparec\u00eda en el \u00e1rbol sint\u00e1ctico solo 8 veces, mientras que la rama m\u00e1s cercana con el valor \u00ab(s1 == NULL) || (s2 == NULL)\u00bb aparec\u00eda alrededor de 7 mil veces. El sistema tambi\u00e9n identific\u00f3 una anomal\u00eda \u00ab(s1 == NULL) | (s2 == NULL)\u00bb, que apareci\u00f3 en el \u00e1rbol 32 veces.
<\/center> <\/p>\n
Al analizar el fragmento de c\u00f3digo \u00abif (x = 7) y = x;\u00bb, el sistema determin\u00f3 que generalmente en el operador \u00abif\u00bb para comparar valores num\u00e9ricos se utiliza la construcci\u00f3n \u00abvariable == n\u00famero\u00bb, por lo que con alta probabilidad, la indicaci\u00f3n \u00abvariable = n\u00famero\u00bb en la expresi\u00f3n \u00abif\u00bb fue causada por un error tipogr\u00e1fico. Tal error podr\u00eda haber sido detectado tambi\u00e9n por los analizadores est\u00e1ticos tradicionales, pero a diferencia de ellos, ControlFlag no aplica reglas predefinidas, en las que es dif\u00edcil prever todas las variaciones posibles, sino que se basa en la estad\u00edstica del uso de diversas construcciones en un gran n\u00famero de proyectos. <\/p>\n
Como experimento, utilizando ControlFlag en los c\u00f3digos fuente de la herramienta cURL, a menudo citada como ejemplo de c\u00f3digo de calidad y validado, se detect\u00f3 un error no detectado por analizadores est\u00e1ticos en el uso del elemento de estructura \u00abs->keepon\u00bb, que era de tipo num\u00e9rico, pero se comparaba con el valor booleano TRUE. En el c\u00f3digo de OpenSSL, adem\u00e1s del problema mencionado con \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, tambi\u00e9n se identificaron anomal\u00edas en las expresiones \u00ab(-2 == rv)\u00bb (el menos era un error tipogr\u00e1fico) y \u00abBIO_puts(bp, \u2018:\u2019)\u00bb. \n Fuente: 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