Intel on avaldanud esimese olulise ControlFlag 1.0 t\u00f6\u00f6riista versiooni, mis v\u00f5imaldab tuvastada vigu ja anomaaliaid l\u00e4htekoodides, kasutades masin\u00f5ppes\u00fcsteemi, mis on treenitud suure hulga olemasoleva koodi p\u00f5hjal. Erinevalt traditsioonilistest staatilistest anal\u00fcsaatoritest ei kasuta ControlFlag valmis reegleid, kus on keeruline ette n\u00e4ha k\u00f5iki v\u00f5imalikke variante, vaid toetub statistikale, mis p\u00f5hineb erinevate keelekonstruktsioonide kasutamisel paljude olemasolevate projektide seas. ControlFlagi kood on kirjutatud C++ keeles ja avalik MIT litsentsi alusel. <\/p>\n
S\u00fcsteem \u00f5pib, ehitades statistilise mudeli olemasoleva avatud projektide koodide hulgast, mis on avaldatud GitHubis ja sarnastes avalikes hoidlates. \u00d5ppefaasis m\u00e4\u00e4rab s\u00fcsteem t\u00fc\u00fcpilised konstruktsioonide mustrid koodis ja loob s\u00fcntaktilise puu nende mustrite vahel, mis peegeldab koodi t\u00e4itmise voogu programmis. Tulemusena kujuneb v\u00e4lja otsuste tegemise ehtne puu, mis \u00fchendab k\u00f5ikide anal\u00fc\u00fcsitud l\u00e4htekoodide arenduskogemuse. Kontrollitava koodi puhul viiakse l\u00e4bi sarnane mustrite m\u00e4\u00e4ramise protsess, mida v\u00f5rreldakse ehtsa otsuste tegemise puuga. Suured lahknevused naaberharudega viitavad kontrollitava mustri anomaaliale. <\/p>\n
<\/center> <\/p>\n
ControlFlag'i v\u00f5imaluste n\u00e4itamiseks viidi l\u00e4bi l\u00e4htekoodide anal\u00fc\u00fcs OpenSSL ja cURL projektidest: <\/p>\n
\n
OpenSSL-is leitud anomaalseid konstruktsioone «(s1 == NULL) ∧ (s2 == NULL)» ja «(s1 == NULL) | (s2 == NULL)», mis ei vasta tavaliselt kasutatavatele mallidele «(s1 == NULL) || (s2 == NULL)». Koodis leiti samuti anomaaliaid v\u00e4ljendites «(-2 == rv)» (miinus oli tr\u00fckiviga) ja «BIO_puts(bp, «:») <= 0)» (funktsiooni edukaks l\u00f5petamiseks oleks pidanud olema «== 0»).\n
cURL-is avastati staatiliste anal\u00fcsaatorite poolt t\u00e4helepanuta j\u00e4\u00e4nud viga, kui kasutati struktuurielementi «s->keepon», millel oli numbriline t\u00fc\u00fcp, kuid see v\u00f5rreldi boolse v\u00e4\u00e4rtusega TRUE. <\/ul>\n
ControlFlag versiooni 1.0 omadustest tuleks v\u00e4lja tuua t\u00e4ielik toetus C keele t\u00fc\u00fcbilistele mallidele ning v\u00f5imalikud anomaaliad «if» tingimuslausetes. N\u00e4iteks koodi fragmenti «if (x = 7) y = x;» anal\u00fc\u00fcsimisel m\u00e4\u00e4rab s\u00fcsteem, et tavaliselt kasutatakse «if» operaatoris numbriliste v\u00e4\u00e4rtuste v\u00f5rdlemiseks konstruktsiooni «muutuja == number», seega on t\u00f5en\u00e4oline, et «muutuja = number» v\u00e4ljendis «if» on p\u00f5hjustatud tr\u00fckiveast. Koos on saadaval skript, mis v\u00f5imaldab \u00fcles laadida C keeles olevaid olemasolevaid GitHubi hoidlatest, et neid kasutada mudelite koostamiseks. Samuti on olemas juba valmis mudelid, mis v\u00f5imaldavad kohe alustada koodi kontrollimist. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"ControlFlag](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n