Intel je objavil izdajo ControlFlag 1.2, kompleta orodij, ki vam omogoča prepoznavanje napak in anomalij v izvorni kodi z uporabo sistema strojnega učenja, ki je usposobljen na veliki količini obstoječe kode. Za razliko od tradicionalnih statičnih analizatorjev ControlFlag ne uporablja že pripravljenih pravil, v katerih je težko predvideti vse možne možnosti, ampak temelji na statističnih podatkih o uporabi različnih jezikovnih konstruktov v velikem številu obstoječih projektov. Koda ControlFlag je napisana v C++ in je odprtokodna pod licenco MIT.
Nova izdaja je znana po izvajanju popolne podpore za odkrivanje nepravilnosti in učenje na podlagi skupnih vzorcev kode za jezik C++. V prejšnjih različicah je bila podobna podpora zagotovljena za jezika C in PHP. Sistem je primeren za prepoznavanje različnih vrst težav v kodi, od prepoznavanja tipkarskih napak in neujemanja tipov do prepoznavanja anomalij v stavkih if in manjkajočih preverjanj NULL v kazalcih. Sistem se usposobi z izgradnjo statističnega modela obstoječe kodne matrike odprtokodnih projektov v C, C++ in PHP, objavljenih v GitHubu in podobnih javnih repozitorijih.
Na stopnji usposabljanja sistem določi tipične vzorce za gradnjo struktur v kodi in zgradi sintaktično drevo povezav med temi vzorci, ki odražajo tok izvajanja kode v programu. Kot rezultat se oblikuje referenčno drevo odločanja, ki združuje razvojne izkušnje vseh analiziranih izvornih kod. Koda, ki se pregleduje, je podvržena podobnemu postopku prepoznavanja vzorcev, ki se preverjajo glede na referenčno drevo odločitev. Velika odstopanja s sosednjimi vejami kažejo na prisotnost anomalije v vzorcu, ki se preverja.
Vir: opennet.ru