{"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\/es\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Lanzamiento de ControlFlag 1.0, una herramienta para detectar errores en el c\u00f3digo en lenguaje C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
La empresa Intel ha publicado la primera versi\u00f3n significativa de la herramienta ControlFlag 1.0, que permite detectar errores y anomal\u00edas en los c\u00f3digos fuente utilizando un sistema de aprendizaje autom\u00e1tico entrenado con un gran volumen de c\u00f3digo existente. A diferencia de los analizadores est\u00e1ticos tradicionales, ControlFlag no aplica reglas predefinidas, en las que es dif\u00edcil prever todas las posibles variantes, sino que se basa en estad\u00edsticas del uso de diversas construcciones del lenguaje en un gran n\u00famero de proyectos existentes. El c\u00f3digo de ControlFlag est\u00e1 escrito en C++ y est\u00e1 disponible bajo la licencia MIT. <\/p>\n
El sistema se entrena mediante la construcci\u00f3n de un modelo estad\u00edstico del conjunto de c\u00f3digo de proyectos abiertos publicados en GitHub y otros repositorios p\u00fablicos similares. En la fase de entrenamiento, el sistema identifica patrones t\u00edpicos de construcci\u00f3n de construcciones en el c\u00f3digo y construye un \u00e1rbol de sintaxis de relaciones entre estos patrones, reflejando el flujo de ejecuci\u00f3n del c\u00f3digo en el programa. Como resultado, se forma un \u00e1rbol de decisi\u00f3n de referencia que combina la experiencia de desarrollo de todos los c\u00f3digos fuente analizados. Para el c\u00f3digo que se verifica, se lleva a cabo un proceso similar de identificaci\u00f3n de patrones, que se comparan con el \u00e1rbol de decisi\u00f3n de referencia. Grandes discrepancias con ramas adyacentes indican la presencia de una anomal\u00eda en el patr\u00f3n verificado. <\/p>\n
<\/center> <\/p>\n
Como ejemplo de las capacidades de ControlFlag, los desarrolladores realizaron un an\u00e1lisis de los c\u00f3digos fuente de los proyectos OpenSSL y cURL: <\/p>\n
\n
Se han identificado construcciones an\u00f3malas en OpenSSL como \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb y \u00ab(s1 == NULL) | (s2 == NULL)\u00bb, que no se corresponden con el patr\u00f3n com\u00fanmente utilizado \u00ab(s1 == NULL) || (s2 == NULL)\u00bb. Tambi\u00e9n se han detectado anomal\u00edas en el c\u00f3digo con las expresiones \u00ab(-2 == rv)\u00bb (donde el signo menos fue un error tipogr\u00e1fico) y \u00abBIO_puts(bp, '[:]') <= 0\u00bb (en el contexto de verificar la finalizaci\u00f3n exitosa de la funci\u00f3n, deber\u00eda haber sido \u00ab== 0\u00bb).\n
En cURL, se ha detectado un error no detectado por analizadores est\u00e1ticos al usar el elemento de la estructura \u00abs->keepon\u00bb, que ten\u00eda un tipo num\u00e9rico, pero se comparaba con un valor booleano TRUE. <\/ul>\n
Entre las caracter\u00edsticas de la versi\u00f3n ControlFlag 1.0 se destaca el apoyo total para plantillas de tipos del lenguaje C y la capacidad de detectar anomal\u00edas en expresiones condicionales \u00abif\u00bb. Por ejemplo, al analizar un fragmento de c\u00f3digo \u00abif (x = 7) y = x;\u00bb, el sistema determinar\u00e1 que generalmente en la declaraci\u00f3n \u00abif\u00bb se utiliza la construcci\u00f3n \u00abvariable == n\u00famero\u00bb para comparar valores num\u00e9ricos, por lo que es muy probable que la indicaci\u00f3n \u00abvariable = n\u00famero\u00bb en la declaraci\u00f3n \u00abif\u00bb se deba a un error tipogr\u00e1fico. Se incluye un script que permite cargar los repositorios existentes en GitHub en lenguaje C y utilizarlos para construir un modelo. Tambi\u00e9n est\u00e1n disponibles modelos listos que permiten comenzar de inmediato la verificaci\u00f3n del c\u00f3digo. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Lanzamiento](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n