Intel on välja andnud ControlFlag 1.2, tööriist anomaaliate tuvastamiseks lähtekoodis.

Intel ettevõte avaldas ControlFlag 1.2 tööriista, mis võimaldab tuvastada vigu ja anomaaliaid lähtekoodides, kasutades masinõppe süsteemi, mis on koolitatud suure hulga olemasoleva koodi põhjal. Erinevalt traditsioonilistest staatilistest analüsaatoritest ei kasuta ControlFlag valmis reegleid, kus on keeruline ette näha kõiki võimalikke variante, vaid põhineb statistikal, mis käsitleb erinevate keelestruktuuride kasutust suurtes olemasolevates projektides. ControlFlag'i kood on kirjutatud C++ keeles ja on avatud MIT litsentsi alusel.

Uus väljaanne on märkimisväärne, kuna see implementib täiusliku toe anomaaliate tuvastamiseks ja õppimiseks, kasutades C++ keele tüüpilisi koodimalle. Eelnevates versioonides oli sarnane tugi tagatud C ja PHP keelte jaoks. Süsteem sobib erinevate probleemide määratlemiseks koodis, alates trükivigade ja vale tüüpide kombinatsioonide tuvastamisest kuni anomaaliate tuvastamiseni "if" tingimuslausete puhul ja NULL väärtuse tõendite puudumisega pointerites. Süsteem õppib, koostades statistilise mudeli olemasolevatest avatud projektide koodidest C, C++ ja PHP keeltes, mis on avaldatud GitHubis ja sarnastes avalikes hoidlates.

Õppimise staadiumis määrab süsteem tüüpilised struktuuride mallid koodis ja koostab sünteetilise puu seoseid nende mallide vahel, mis peegeldab programmi koodi täitmise voogu. Lõpuks moodustub viidatud otsuste puu, mis ühendab kõigi analüüsitud lähtekoodide arendamise kogemust. Kontrollitava koodi puhul toimub sarnane protsess mallide määratlemiseks, mis võrreldakse viidatud otsuste puuga. Suured kõrvalekalded naabervarianteest viitavad anomaalia olemasolule kontrollitavas mallis.

Allikas: opennet.ru