Intel hà publicatu a liberazione di ControlFlag 1.2, un toolkit chì permette di identificà errori è anomalie in u codice fonte utilizendu un sistema d'apprendimentu di macchina furmatu nantu à una grande quantità di codice esistenti. A cuntrariu di l'analizzatori statichi tradiziunali, ControlFlag ùn applicà micca regule pronti, in quale hè difficiule di furnisce tutte l'opzioni pussibuli, ma hè basatu annantu à statistiche nantu à l'usu di diversi custruzzioni di lingua in un gran numaru di prughjetti esistenti. U codice ControlFlag hè scrittu in C++ è hè apertu sottu a licenza MIT.
A nova versione hè nota per l'implementazione di supportu cumpletu per a rilevazione di l'anomali è l'apprendimentu basatu nantu à mudelli di codice cumuni per a lingua C++. In versioni precedenti, un supportu simili hè statu furnitu per e lingue C è PHP. U sistema hè adattatu per identificà diversi tipi di prublemi in u codice, da l'identificazione di typos è di discordanza di tippi, à identificà anomalie in dichjarazioni si è missing NULL checks in pointers. U sistema hè furmatu da custruisce un mudellu statisticu di l'array di codice esistente di prughjetti open source in C, C++ è PHP, publicatu in GitHub è repositori publichi simili.
In u stadiu di furmazione, u sistema determina mudelli tipici per a custruzzione di strutture in u codice è custruisce un arbulu sintatticu di cunnessione trà sti mudelli, riflettendu u flussu di l'esekzione di codice in u prugramma. In u risultatu, un arbre di decisione di riferimentu hè furmatu chì combina l'esperienza di sviluppu di tutti i codici fonte analizati. U codice sottu rivisione hè sottumessu à un prucessu simili di identificà mudelli chì sò verificati contru un arbre di decisione di riferimentu. Grandi discrepanzii cù i rami vicini indicanu a presenza di una anomalia in u mudellu verificatu.
Source: opennet.ru