L'azienda Intel ha pubblicato la versione 1.2 dello strumento ControlFlag, che consente di rilevare errori e anomalie nei codici 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 fisse che potrebbero non coprire tutte le possibilità, ma si basa sulle statistiche di utilizzo di varie costrutti linguistici in un gran numero di progetti esistenti. Il codice di ControlFlag è scritto in C++ ed è aperto sotto licenza MIT.
La nuova versione si distingue per l'implementazione della piena supporto nella rilevazione delle anomalie e nell'apprendimento basato su schemi di codice tipici per il linguaggio C++. Nelle versioni precedenti, tale supporto era garantito per i linguaggi C e PHP. Il sistema è progettato per identificare vari tipi di problemi nel codice, dalla rilevazione di errori di battitura e combinazioni di tipi non corrette, fino alla scoperta di anomalie nelle espressioni condizionali "if" e controlli mancanti per valori NULL nei puntatori. Il sistema si allena costruendo un modello statistico basato su un insieme di codice di progetti open source nei linguaggi C, C++ e PHP, pubblicati su GitHub e in repository pubblici simili.
Nella fase di addestramento, il sistema identifica modelli tipici di costruzione nel codice e costruisce un albero sintattico che rappresenta le relazioni tra questi modelli, riflettendo il flusso di esecuzione del codice nel programma. Alla fine, si forma un albero di decisione standard che integra l'esperienza di sviluppo di tutti i codici sorgente analizzati. Per il codice in fase di verifica, viene eseguito un processo simile di identificazione dei modelli, che sono confrontati con l'albero di decisione di riferimento. Grandi discrepanze con rami adiacenti indicano la presenza di un'anomalia nel modello verificato.
Fonte: opennet.ru
