{"id":102331,"date":"2021-11-19T21:36:39","date_gmt":"2021-11-19T19:36:40","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si"},"modified":"2021-11-19T21:36:39","modified_gmt":"2021-11-19T19:36:40","slug":"vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/novosti-interneta\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"ControlFlag 1.0 v\u00e4ljaandmine, t\u00f6\u00f6riist C keeles koodivigu tuvastamiseks.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel on avaldanud esimese olulise versiooni t\u00f6\u00f6riistast ControlFlag 1.0, mis v\u00f5imaldab tuvastada vigu ja anomaaliaid l\u00e4htekoodides, kasutades masin\u00f5ppe s\u00fcsteemi, mis on treenitud suure hulga olemasoleva koodi peal. Erinevalt traditsioonilisest staatilisest anal\u00fc\u00fcsist ei kasuta ControlFlag rangete reeglite rakendamist, mis ei suuda k\u00f5iki v\u00f5imalikke olukordi ette n\u00e4ha, vaid toetub statistikale keelekonstruktsioonide kasutamise kohta paljusid olemasolevaid projekte arvesse v\u00f5ttes. ControlFlag'i kood on kirjutatud C++ keeles ja see on avatud MIT litsentsi alusel. <\/p>\n
S\u00fcsteem \u00f5pib, luues statistilise mudeli olemasolevast avatud projektide koodist, mis on avaldatud GitHubis ja sarnastes avalikes hoidlatest. \u00d5ppeetapis m\u00e4\u00e4rab s\u00fcsteem t\u00fc\u00fcpilised struktuuri mallit koodis ja loob s\u00fcntaktilise puu, mis peegeldab koodi t\u00e4itmise voogu programmis. L\u00f5ppkokkuv\u00f5ttes moodustatakse eeskujuliku otsuste puu, mis \u00fchendab k\u00f5ikide anal\u00fc\u00fcsitud allikate arenduskogemuse. Kontrollitava koodi puhul toimub sarnane mallide m\u00e4\u00e4ratlemise protsess, mille tulemused v\u00f5rreldakse eeskujuliku otsuste puuga. Suured erinevused naabervarude vahel n\u00e4itavad, et kontrollitavas malis esineb k\u00f5rvalekalle. <\/p>\n
<\/center> <\/p>\n
N\u00e4iteks ControlFlagi v\u00f5imaluste demonstreerimiseks viisid arendajad l\u00e4bi OpenSSL ja cURL projektide allikakoodide anal\u00fc\u00fcsi: <\/p>\n
\n
OpenSSL-is avastatud ebanormaalseid konstruktsioone «(s1 == NULL) ∧ (s2 == NULL)» ja «(s1 == NULL) | (s2 == NULL)», mis ei vasta tavaliselt kasutatavale mallile «(s1 == NULL) || (s2 == NULL)». Koodis leiti ka ebanormaalsusi v\u00e4ljendites «(-2 == rv)» (miinus oli tr\u00fckiviga) ja «BIO_puts(bp, «:») <= 0)» (funktsiooni eduka l\u00f5puleviimise kontrollimiseks pidi olema «== 0»).\n
cURL-is tuvastati staatiliste anal\u00fcsaatorite poolt t\u00e4helepanuta j\u00e4etud viga struktuuri elemendi «s->keepon» kasutamisel, millel oli numbriline t\u00fc\u00fcp, kuid mida v\u00f5rreldi boolean v\u00e4\u00e4rtusega TRUE. <\/ul>\n
ControlFlag 1.0 versiooni erip\u00e4ra on t\u00e4ielik tugi C keele t\u00fc\u00fcpilistele mallidele ja v\u00f5imalus tuvastada anomaaliaid tingimuslikes v\u00e4ljendites 'if'. N\u00e4iteks anal\u00fc\u00fcsides koodil\u00f5iku 'if (x = 7) y = x;' m\u00e4\u00e4rab s\u00fcsteem, et tavaliselt kasutatakse 'if' operaatoris numbriliste v\u00e4\u00e4rtuste v\u00f5rdlemiseks konstruktsiooni 'muutujat == number', mist\u00f5ttu on suur t\u00f5en\u00e4osus, et 'muutujat = number' v\u00e4ljendis 'if' on tingitud tr\u00fckiveast. Komplekt sisaldab skripti, mis v\u00f5imaldab laadida olemasolevaid C keele repositooriume GitHubist ja kasutada neid mudeli loomiseks. Samuti on saadaval 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