{"id":101737,"date":"2021-10-24T22:22:41","date_gmt":"2021-10-24T20:22:41","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode"},"modified":"2021-10-24T22:22:41","modified_gmt":"2021-10-24T20:22:41","slug":"intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel avas ControlFlag masin\u00f5ppe s\u00fcsteemi koodi, et tuvastada koodivead","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel avas v\u00e4lja ControlFlag teadusprojekti, mille eesm\u00e4rk on arendada v\u00e4lja masin\u00f5ppe s\u00fcsteem koodi kvaliteedi parandamiseks. Projekti raames loodud t\u00f6\u00f6riist v\u00f5imaldab tuvastada erinevaid vigu ja anomaaliaid k\u00f5rgema taseme keeles, nagu C\/C++, p\u00f5hinedes suurel hulgal olemasolevast koodist treenitud mudelile. S\u00fcsteem sobib erinevat t\u00fc\u00fcpi probleemide m\u00e4\u00e4ramiseks koodis, alates tr\u00fckivigade ja vale andmet\u00fc\u00fcbi kombinatsioonide tuvastamisest kuni NULL v\u00e4\u00e4rtuse kontrollide ja m\u00e4lu probleemide leidmiseni. ControlFlag kood on kirjutatud C++ keeles ja on avatud MIT litsentsi alusel. <\/p>\n
S\u00fcsteem \u00f5pib iseseisvalt, ehitades statistilisi mudeleid olemasolevatest avatud projektide koodidest, mis on avaldatud GitHubis ja sarnastes avalikes hoidlates. Koolitusprotsessis tuvastab s\u00fcsteem t\u00fc\u00fcpilised koodistruktuuride mustrid ja koostab s\u00fcntaktilise puu \u00fchendustes nende mustrite vahel, peegeldades koodi teostamise voogu programmis. L\u00f5pptulemusena moodustub viimase otsuse puu, mis kogub k\u00f5ikide anal\u00fc\u00fcsitud l\u00e4htekoodide arenduse kogemused. <\/p>\n
Katsutud koodi puhul toimub sarnane protsess mustrite m\u00e4\u00e4ratlemiseks, mis v\u00f5rreldakse viidatud otsuste tegemise puuga. Suured lahknevused naaberharudega viitavad anomaalia olemasolule uuritavas mustris. S\u00fcsteem v\u00f5imaldab mitte ainult tuvastada vea mustris, vaid ka pakkuda parandust. N\u00e4iteks OpenSSL koodis tuvastati konstruktsioon \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201d, mida esines s\u00fcnteetilises puus vaid 8 korda, samas kui l\u00e4him haru v\u00e4\u00e4rtusega \u201e(s1 == NULL) || (s2 == NULL)\u201d esines umbes 7 tuhat korda. S\u00fcsteem tuvastas ka anomaalia \u201e(s1 == NULL) | (s2 == NULL)\u201d, mida esines puus 32 korda.
<\/center> <\/p>\n
Koodi fragmenti \u201eif (x = 7) y = x;\u201d anal\u00fc\u00fcsimisel tuvastas s\u00fcsteem, et tavaliselt kasutatakse \u201eif\u201d operaatoris, numbriliste v\u00e4\u00e4rtuste v\u00f5rdlemiseks konstruktsiooni \u201emuutuja == number\u201d, seet\u00f5ttu on v\u00e4ga t\u00f5en\u00e4oline, et \u201emuutuja = number\u201d v\u00e4ljendis \u201eif\u201d on p\u00f5hjustatud tr\u00fckiveast. Sellise vea oleks tuvastanud ka traditsioonilised staatilised anal\u00fcsaatorid, kuid ControlFlag, erinevalt neist, ei kasuta valmismudeleid, kus on raske ette n\u00e4ha k\u00f5iki v\u00f5imalikke variatsioone, vaid tugineb statistikale erinevate konstruktsioonide kasutamisest suure hulga projektide jooksul. <\/p>\n
Katsena, kasutades ControlFlag'i, avastati cURL utiliidi l\u00e4htekoodis, mis on sageli kvaliteetse ja kontrollitud koodi n\u00e4iteks, staatiliste anal\u00fcsaatorite kaudu m\u00e4rkamatuks j\u00e4\u00e4nud viga struktuurielemendi \u201es->keepon\u201d kasutamisel, mis omas numbrilist t\u00fc\u00fcpi, kuid v\u00f5rreldes boolse v\u00e4\u00e4rtusega TRUE. OpenSSL koodis, peale \u00fclalmainitud probleemi \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201d, tuvastati ka anomaaliad v\u00e4ljendites \u201e(-2 == rv)\u201d (miinus oli tr\u00fckiviga) ja \u201eBIO_puts(bp, ':-')\u201d. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Intel](\"\/wp-content\/uploads\/2021\/10\/f59e59e606a113aac675d44fd97845bd.jpg\")
<\/center> <\/p>\n