ControlFlag 1.0, C-keele koodivigade tuvastamise tööriista väljalaskmine

Intel on avaldanud esimese olulise ControlFlag 1.0 tööriista versiooni, mis võimaldab tuvastada vigu ja anomaaliaid lähtekoodides, kasutades masinõppesüsteemi, mis on treenitud 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 toetub statistikale, mis põhineb erinevate keelekonstruktsioonide kasutamisel paljude olemasolevate projektide seas. ControlFlagi kood on kirjutatud C++ keeles ja avalik MIT litsentsi alusel.

Süsteem õpib, ehitades statistilise mudeli olemasoleva avatud projektide koodide hulgast, mis on avaldatud GitHubis ja sarnastes avalikes hoidlates. Õppefaasis määrab süsteem tüüpilised konstruktsioonide mustrid koodis ja loob süntaktilise puu nende mustrite vahel, mis peegeldab koodi täitmise voogu programmis. Tulemusena kujuneb välja otsuste tegemise ehtne puu, mis ühendab kõikide analüüsitud lähtekoodide arenduskogemuse. Kontrollitava koodi puhul viiakse läbi sarnane mustrite määramise protsess, mida võrreldakse ehtsa otsuste tegemise puuga. Suured lahknevused naaberharudega viitavad kontrollitava mustri anomaaliale.

ControlFlag'i võimaluste näitamiseks viidi läbi lähtekoodide analüüs OpenSSL ja cURL projektidest:

• OpenSSL-is tuvastati anomaalsed konstruktsioonid „(s1 == NULL) ∧ (s2 == NULL)“ ja „(s1 == NULL) | (s2 == NULL)“, mis ei vasta tavaliselt kasutatavale mustrile „(s1 == NULL) || (s2 == NULL)“. Koodis tuvastati samuti anomaaliad väljendites „(-2 == rv)” (miinus oli trükiviga) ja „BIO_puts(bp, ':') <= 0)” (funktsiooni eduka lõpetamise kontrollimisel oleks pidanud olema „== 0“).
• cURL-is tuvastati staatiliste analüsaatorite poolt mööda lastud viga struktuuri elemendi „s->keepon” kasutamisel, mis oli arvutuslik tüüp, kuid võrreldud boolean väärtusega TRUE.

ControlFlag 1.0 versiooni eripäradena toome esile täieliku toe C keele tüüpparameetritele ja võimaluse tuvastada anomaaliaid „if” tingimustes. Näiteks, kui analüüsida koodilõiku „if (x = 7) y = x;”, tuvastab süsteem, et tavaliselt kasutatakse „if” operaatori jaoks numbriliste väärtuste võrdlemiseks konstruktsiooni „muutuja == number”. Seega on suure tõenäosusega, et „muutuja = number” väljendis „if” on kirjutusviga. Pakett sisaldab skripti, millega saab laadida GitHubis C keeles olevaid skeeme ja kasutada neid mudeli loomiseks. Samuti on saadaval juba valmis mudelid, mis võimaldavad kohe alustada koodi kontrollimist.

Allikas: opennet.ru