Intel je objavio izdanje ControlFlag 1.2, skupa alata koji vam omogućuje prepoznavanje pogrešaka i anomalija u izvornom kodu pomoću sustava strojnog učenja obučenog na velikoj količini postojećeg koda. Za razliku od tradicionalnih statičkih analizatora, ControlFlag ne primjenjuje gotova pravila, u kojima je teško predvidjeti sve moguće opcije, već se temelji na statistici korištenja različitih jezičnih konstrukata u velikom broju postojećih projekata. ControlFlag kod je napisan u C++ i otvoren je pod licencom MIT.
Novo izdanje je poznato po implementaciji pune podrške za otkrivanje anomalija i učenje na temelju uobičajenih uzoraka koda za jezik C++. U prethodnim verzijama slična je podrška bila omogućena za jezike C i PHP. Sustav je prikladan za identificiranje raznih vrsta problema u kodu, od identificiranja pogrešaka pri upisu i neslaganja tipova, do identificiranja anomalija u izjavama if i nedostajućih NULL provjera u pokazivačima. Sustav se osposobljava izgradnjom statističkog modela postojećeg niza kodova projekata otvorenog koda u C, C++ i PHP-u, objavljenih na GitHubu i sličnim javnim repozitorijima.
U fazi obuke, sustav određuje tipične uzorke za konstrukciju struktura u kodu i gradi sintaktičko stablo veza između tih obrazaca, odražavajući tijek izvršavanja koda u programu. Kao rezultat, formira se referentno stablo odlučivanja koje kombinira razvojno iskustvo svih analiziranih izvornih kodova. Kod koji se pregledava prolazi sličan proces identifikacije uzoraka koji se provjeravaju prema referentnom stablu odlučivanja. Velika odstupanja sa susjednim granama ukazuju na prisutnost anomalije u uzorku koji se provjerava.
Izvor: opennet.ru