{"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\/it\/blog\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel ha reso open il codice del sistema di machine learning ControlFlag per l'individuazione di errori nel codice","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
La compagnia Intel ha presentato risultati relativi al progetto di ricerca ControlFlag, mirato alla creazione di un sistema di apprendimento automatico per migliorare la qualit\u00e0 del codice. Gli strumenti forniti dal progetto permettono, sulla base di un modello addestrato su un vasto volume di codice esistente, di identificare vari errori e anomalie nei testi sorgente scritti in linguaggi di alto livello come C\/C++. Il sistema \u00e8 utile per rilevare diversi tipi di problemi nel codice, dall'identificazione di errori di battitura e combinazioni errate di tipi fino all'individuazione di controlli mancanti per valori NULL nei puntatori e problemi di gestione della memoria. Il codice di ControlFlag \u00e8 scritto in C++ ed \u00e8 disponibile con licenza MIT. <\/p>\n
Il sistema si auto-addestra costruendo un modello statistico dell'insieme di codice dei progetti open source pubblicati su GitHub e in repository pubblici simili. Durante la fase di apprendimento, il sistema identifica modelli standard di strutturazione nel codice e costruisce un albero sintattico delle relazioni tra questi modelli, riflettendo il flusso di esecuzione del codice nel programma. Il risultato \u00e8 un albero di decisione di riferimento che combina l'esperienza di sviluppo di tutti i testi sorgente analizzati. <\/p>\n
Per il codice esaminato, viene eseguito un processo simile di identificazione dei modelli, che vengono confrontati con l'albero di decisione di riferimento. Grandi discrepanze con i rami adiacenti indicano la presenza di un'anomalia nel modello esaminato. Il sistema consente non solo di rilevare un errore nel modello, ma anche di suggerire una correzione. Ad esempio, nel codice OpenSSL \u00e8 stata identificata la costruzione \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, che appariva nell'albero sintattico solo 8 volte, mentre il ramo pi\u00f9 vicino con il valore \u00ab(s1 == NULL) || (s2 == NULL)\u00bb compariva circa 7.000 volte. Il sistema ha anche rilevato l'anomalia \u00ab(s1 == NULL) | (s2 == NULL)\u00bb, che appariva nell'albero 32 volte.
<\/center> <\/p>\n
Analizzando il frammento di codice «if (x = 7) y = x;», il sistema ha rilevato che di solito nell'operatore «if» per confrontare valori numerici si utilizza la costruzione «variabile == numero», pertanto \u00e8 molto probabile che l'indicazione «variabile = numero» nell'espressione «if» sia stata causata da un errore di battitura. Un tale errore sarebbe stato identificato anche dai tradizionali analizzatori statici, ma a differenza di questi, ControlFlag non applica regole predefinite, in cui \u00e8 difficile prevedere tutte le possibili varianti, ma si basa su statistiche di utilizzo di varie costruzioni in un gran numero di progetti. <\/p>\n
Come esperimento, utilizzando ControlFlag nei codici sorgente dell'utility cURL, che \u00e8 spesso citata come esempio di codice di alta qualit\u00e0 e ben testato, \u00e8 stata identificata un'errore non rilevato dagli analizzatori statici nell'uso dell'elemento della struttura «s->keepon», che aveva un tipo numerico ma veniva confrontato con il valore booleano TRUE. Nel codice di OpenSSL, oltre al gi\u00e0 menzionato problema con «(s1 == NULL) ∧ (s2 == NULL)», sono state anche rilevate anomalie nelle espressioni «(-2 == rv)» (il meno era un errore di battitura) e «BIO_puts(bp, «:») \n Fonte: 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