{"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\/news\/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":"
La compagnia Intel ha pubblicato il primo significativo rilascio dello strumento ControlFlag 1.0, che consente di identificare errori e anomalie nei testi sorgente, utilizzando un sistema di apprendimento automatico addestrato su un ampio volume di codice esistente. A differenza degli analizzatori statici tradizionali, ControlFlag non applica regole predefinite, in cui \u00e8 difficile prevedere tutte le possibili varianti, ma si basa sulle statistiche di utilizzo di varie costrutti linguistici in un numero elevato di progetti esistenti. Il codice di ControlFlag \u00e8 scritto in C++ ed \u00e8 aperto sotto licenza MIT. <\/p>\n
Il sistema si allena creando un modello statistico del set di codice di progetti open source pubblicati su GitHub e in repository pubblici simili. Durante la fase di addestramento, il sistema rileva 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 si forma un albero di riferimento per le decisioni, che unisce l'esperienza di sviluppo di tutti i testi sorgente analizzati. Per il codice da verificare viene eseguito un processo simile di identificazione degli schemi, confrontati con l'albero di riferimento per le decisioni. Grandi divergenze con rami adiacenti indicano la presenza di un'anomalia nello schema in analisi. <\/p>\n
<\/center> <\/p>\n
Come esempio delle potenzialit\u00e0 di ControlFlag, gli sviluppatori hanno condotto un'analisi dei testi sorgente dei progetti OpenSSL e cURL: <\/p>\n
\n
In OpenSSL sono state identificate strutture anomale \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb e \u00ab(s1 == NULL) | (s2 == NULL)\u00bb, che non corrispondono al modello normalmente utilizzato \u00ab(s1 == NULL) || (s2 == NULL)\u00bb. Nel codice sono state riscontrate anche anomalie nelle espressioni \u00ab(-2 == rv)\u00bb (il meno era un refuso) e \u00abBIO_puts(bp, \u00ab:\u00bb) <= 0)\u00bb (nel contesto del controllo del completamento riuscito della funzione doveva essere \u00ab== 0\u00bb).\n
In cURL \u00e8 stata rilevata un errore non individuato dagli analizzatori statici durante l'utilizzo dell'elemento della struttura \u00abs->keepon\u00bb, che aveva un tipo numerico, ma veniva confrontato con un valore booleano TRUE. <\/ul>\n
Tra le caratteristiche della versione ControlFlag 1.0 si segnala il completo supporto dei modelli di tipo per il linguaggio C e la possibilit\u00e0 di rilevare anomalie nelle espressioni condizionali \u00abif\u00bb. Ad esempio, analizzando il frammento di codice \u00abif (x = 7) y = x;\u00bb, il sistema deterr\u00e0 che normalmente nell'operatore \u00abif\u00bb per confrontare valori numerici si utilizza la costruzione \u00abvariabile == numero\u00bb, pertanto \u00e8 molto probabile che l'indicazione \u00abvariabile = numero\u00bb nell'espressione \u00abif\u00bb sia dovuta a un refuso. In dotazione \u00e8 fornito uno script che consente di caricare i repository C esistenti su GitHub e utilizzarli per costruire un modello. Sono disponibili anche modelli gi\u00e0 pronti, che consentono di procedere immediatamente al controllo del codice. \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