{"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\/it\/blog\/novosti-interneta\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Rilascio di ControlFlag 1.0, uno strumento per l'individuazione di errori nel codice in linguaggio C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel ha pubblicato la prima versione significativa dello strumento ControlFlag 1.0, che consente di individuare errori e anomalie nei testi sorgente, utilizzando un sistema di apprendimento automatico addestrato su un ampio volume di codice esistente. A differenza dei tradizionali analizzatori statici, ControlFlag non applica regole predefinite, nelle quali \u00e8 difficile prevedere tutte le possibilit\u00e0, ma si basa su statistiche relative all'uso di varie strutture linguistiche in un gran numero di progetti esistenti. Il codice di ControlFlag \u00e8 scritto in C++ ed \u00e8 rilasciato sotto licenza MIT. <\/p>\n
Il sistema si allena costruendo un modello statistico del codice esistente dei progetti open source pubblicati su GitHub e su simili repository pubblici. Nella fase di addestramento, il sistema identifica schemi tipici di costruzione delle strutture nel codice e costruisce un albero sintattico delle relazioni tra questi schemi, riflettendo il flusso di esecuzione del codice nel programma. Alla fine, viene formato un albero di decisione standard che integra l'esperienza di sviluppo di tutti i testi sorgente analizzati. Per il codice verificato viene eseguito un processo simile di identificazione degli schemi, che vengono confrontati con l'albero di decisione standard. Grandi discrepanze con rami adiacenti indicano la presenza di un'anomalia nello schema verificato. <\/p>\n
<\/center> <\/p>\n
Come esempio delle funzionalit\u00e0 di ControlFlag, gli sviluppatori hanno condotto un'analisi dei codici sorgente dei progetti OpenSSL e cURL: <\/p>\n
\n
In OpenSSL, abnormal constructs were identified: \u2018(s1 == NULL) \u2227 (s2 == NULL)\u2019 and \u2018(s1 == NULL) | (s2 == NULL)\u2019, which do not conform to the commonly used pattern \u2018(s1 == NULL) || (s2 == NULL)\u2019. Anomalies were also detected in the expressions \u2018(-2 == rv)\u2019 (the minus was a typographical error) and \u2018BIO_puts(bp, \u2018:\u2019) <= 0\u2019 (in the context of checking successful function completion, it should have been \u2018== 0\u2019).\n
In cURL, a mistake unnoticed by static analyzers was found when using the structure element \u2018s->keepon\u2019, which had a numerical type but was compared with a boolean value TRUE. <\/ul>\n
Features of ControlFlag version 1.0 include full support for type templates for the C language and the ability to detect anomalies in \u2018if\u2019 conditional expressions. For instance, when analyzing the code fragment \u2018if (x = 7) y = x;\u2019, the system will determine that normally, in the \u2018if\u2019 statement for comparing numerical values, the construct \u2018variable == number\u2019 is used, so indicating \u2018variable = number\u2019 in the \u2018if\u2019 expression is likely due to a typographical error. A script is provided to upload existing C language repositories from GitHub and use them to build a model. Ready-made models are also available to start checking code immediately. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Rilascio](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n