{"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\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel avas ControlFlag masin\u00f5ppe s\u00fcsteemi koodi, et avastada koodis vigu","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel avas arendustegevused, mis on seotud uurimisprojekti ControlFlagga, mille eesm\u00e4rk on luua masin\u00f5ppimise s\u00fcsteem koodi kvaliteedi parandamiseks. Projekti k\u00e4igus v\u00e4lja t\u00f6\u00f6tatud t\u00f6\u00f6riist v\u00f5imaldab tuvastada mitmesuguseid vigu ja anomaaliyaid k\u00f5rgema taseme keeltes, nagu C\/C++, p\u00f5hinedes mudelil, mis on koolitatud suure hulga olemasoleva koodi maandumiseks. S\u00fcsteem sobib erinevat t\u00fc\u00fcpi probleemide m\u00e4\u00e4ramiseks koodis, alates tr\u00fckivigade ja vale t\u00fc\u00fcpide kombinatsioonide kindlakstegemisest kuni NULL-v\u00e4\u00e4rtuse kontrollide ja m\u00e4lu probleemide tuvastamiseni. ControlFlagi kood on kirjutatud C++ keeles ja avatud MIT litsentsi alusel. <\/p>\n
S\u00fcsteem \u00f5pib iseseisvalt, ehitades statistilise mudeli olemasolevast avatud projektide koodist, mis on avaldatud GitHubis ja sarnastes avalikes repos. \u00d5ppimise etapis tuvastab s\u00fcsteem t\u00fc\u00fcpilised koodistruktuuride malli struktureerimise mustrid ja loob s\u00fcntaktilise seose puu nende mallide vahel, mis peegeldab koodi t\u00e4itmise voogu programmis. L\u00f5puks moodustatakse standardne otsuste tegemise puu, mis koondab k\u00f5igi anal\u00fc\u00fcsitud l\u00e4htekoodide arenduse kogemuse. <\/p>\n
Kontrollitud koodi puhul toimub sarnane protsess mustrite m\u00e4\u00e4ratlemiseks, mis v\u00f5rreldakse viidatud otsustuspuu mudeliga. Suured erinevused naaberharudega viitavad anomaaliale kontrollitavas mustris. S\u00fcsteem v\u00f5imaldab mitte ainult tuvastada mustris viga, vaid ka pakkuda parandust. N\u00e4iteks OpenSSL koodis tuvastati konstruktsioon «(s1 == NULL) ∧ (s2 == NULL)», mida kohtas s\u00fcntaksipuus vaid 8 korda, samas kui l\u00e4him haru v\u00e4\u00e4rtusega «(s1 == NULL) || (s2 == NULL)» esines umbes 7000 korda. S\u00fcsteem tuvastas ka anomaalia «(s1 == NULL) | (s2 == NULL)», mida esines puus 32 korda.
<\/center> <\/p>\n
Koodi fragmenti «if (x = 7) y = x;» anal\u00fc\u00fcsimisel tuvastas s\u00fcsteem, et tavaliselt kasutatakse «if» operaatoris numbriliste v\u00e4\u00e4rtuste v\u00f5rdlemiseks konstruktsiooni «muutuja == number», seega on suure t\u00f5en\u00e4osusega «muutuja = number» kasutamine v\u00e4ljendis «if» p\u00f5hjustatud n\u00e4puvigast. Sellise vea oleks avastanud ka traditsioonilised staatilised anal\u00fcsaatorid, kuid erinevalt neist ei kasuta ControlFlag valmis reegleid, milles on keeruline arvesse v\u00f5tta k\u00f5iki v\u00f5imalikke variatsioone, vaid tugineb statistikale erinevate konstruktsioonide kasutamise kohta paljudes projektides. <\/p>\n
Eksperimendi k\u00e4igus tuvastas ControlFlag utiliidi cURL allikatekstides, mis on sageli toodud kvaliteetse ja testitud koodina, staatiliste anal\u00fcsaatorite poolt t\u00e4helepanuta j\u00e4\u00e4nud vea struktuurielemendi «s->keepon» kasutamisel, millel oli numbriline t\u00fc\u00fcp, kuid mille v\u00e4\u00e4rtus v\u00f5rreldakse boolse v\u00e4\u00e4rtusega TRUE. OpenSSL koodis, peale eespool mainitud «(s1 == NULL) ∧ (s2 == NULL)» probleemi, tuvastati ka anomaaliad v\u00e4ljendites «(-2 == rv)» (miinus oli n\u00e4puviga) ja «BIO_puts(bp, «:»). \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