{"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\/sq\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel hapi kodin e sistemit t\u00eb m\u00ebsimit automatik ControlFlag p\u00ebr zbulimin e gabimeve n\u00eb kod","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Kompania Intel hapi zhvillimet e saj n\u00eb projektin k\u00ebrkimor ControlFlag, q\u00eb synon t\u00eb krijoj\u00eb nj\u00eb sistem m\u00ebsimi t\u00eb makinerive p\u00ebr t\u00eb p\u00ebrmir\u00ebsuar cil\u00ebsin\u00eb e kodit. Instrumentet e p\u00ebrgatitura nga projekti lejojn\u00eb identifikimin e gabimeve dhe anomali t\u00eb ndryshme n\u00eb tekstet burimore, t\u00eb shkruara n\u00eb gjuh\u00eb t\u00eb nivelit t\u00eb lart\u00eb si C\/C++, duke u mb\u00ebshtetur n\u00eb nj\u00eb model t\u00eb trajnuar mbi nj\u00eb volum t\u00eb madh kodi ekzistues. Sistemi \u00ebsht\u00eb i p\u00ebrshtatsh\u00ebm p\u00ebr t\u00eb zbuluar probleme t\u00eb ndryshme n\u00eb kod, nga gjetja e gabimeve dhe kombinimeve t\u00eb gabuara t\u00eb tipeve, deri te identifikimi i kontrolleve t\u00eb humbura p\u00ebr vler\u00ebn NULL n\u00eb tregues dhe probleme me menaxhimin e memories. Kodi ControlFlag \u00ebsht\u00eb shkruar n\u00eb gjuh\u00ebn C++ dhe \u00ebsht\u00eb i hapur n\u00ebn licenc\u00ebn MIT. <\/p>\n
Sistemi m\u00ebson n\u00eb m\u00ebnyr\u00eb autonome duke nd\u00ebrtuar nj\u00eb model statistikor t\u00eb grumbullit t\u00eb kodit t\u00eb projekteve t\u00eb hapura, t\u00eb publikuara n\u00eb GitHub dhe depo t\u00eb tjera publike t\u00eb ngjashme. N\u00eb faz\u00ebn e m\u00ebsimit, sistemi identifikon modelet tipike t\u00eb nd\u00ebrtimit t\u00eb strukturave n\u00eb kod dhe ndalon nj\u00eb pem\u00eb sintaksore t\u00eb lidhjeve midis k\u00ebtyre modeleve, q\u00eb pasqyron rrjedh\u00ebn e ekzekutimit t\u00eb kodit n\u00eb program. Si rezultat, krijohet nj\u00eb pem\u00eb standarde e vendimeve, q\u00eb bashkon p\u00ebrvoj\u00ebn e zhvillimit t\u00eb t\u00eb gjith\u00eb teksteve burimore t\u00eb analizuar. <\/p>\n
P\u00ebr kodin e kontrolluar, zbatohet nj\u00eb proces i ngjash\u00ebm me at\u00eb t\u00eb identifikimit t\u00eb modele, t\u00eb cilat p\u00ebrputhen me pem\u00ebn e referenc\u00ebs p\u00ebr vendimmarrje. Shk\u00ebputjet e m\u00ebdha nga deg\u00ebt fqinje tregojn\u00eb p\u00ebr presentimin e nj\u00eb anomalie n\u00eb modelin e kontrolluar. Sistemi gjithashtu lejon jo vet\u00ebm identifikimin e gabimeve n\u00eb model, por gjithashtu ofron nj\u00eb korrigjues. P\u00ebr shembull, n\u00eb kodin OpenSSL u identifikua struktura \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, e cila u shfaq n\u00eb pem\u00ebn sintaksore vet\u00ebm 8 her\u00eb, nd\u00ebrsa dega m\u00eb e af\u00ebrt me vler\u00ebn \u00ab(s1 == NULL) || (s2 == NULL)\u00bb u shfaq rreth 7 mij\u00eb her\u00eb. Sistemi gjithashtu identifikoi nj\u00eb anomalie \u00ab(s1 == NULL) | (s2 == NULL)\u00bb e cila u shfaq n\u00eb pem\u00eb 32 her\u00eb.
<\/center> <\/p>\n
Gjat\u00eb analiz\u00ebs s\u00eb fragmentit t\u00eb kodit \u00abif (x = 7) y = x;\u00bb, sistemi identifikoi se zakonisht n\u00eb operatorin \u00abif\u00bb p\u00ebr krahasimin e vlerave numerike p\u00ebrdoret struktura \u00abvariab\u00ebl == num\u00ebr\u00bb, prandaj me nj\u00eb probabilitet t\u00eb lart\u00eb, sh\u00ebnimi \u00abvariab\u00ebl = num\u00ebr\u00bb n\u00eb shprehjen \u00abif\u00bb \u00ebsht\u00eb shkaktuar nga nj\u00eb gabim tipografik. Nj\u00eb gabim t\u00eb till\u00eb do ta kapnin gjithashtu analizator\u00ebt tradicional\u00eb statik\u00eb, por ndryshe nga ata, ControlFlag nuk p\u00ebrdor rregulla t\u00eb gatshme n\u00eb t\u00eb cilat \u00ebsht\u00eb e v\u00ebshtir\u00eb t\u00eb parashikosh t\u00eb gjitha variantet e mundshme, por mb\u00ebshtetet n\u00eb statistikat e p\u00ebrdorimit t\u00eb t\u00eb gjitha llojeve t\u00eb strukturave n\u00eb nj\u00eb num\u00ebr t\u00eb madh projektesh. <\/p>\n
Si nj\u00eb eksperiment, me ndihm\u00ebn e ControlFlag n\u00eb kodet burimore t\u00eb utilitarit cURL, i cili shpesh p\u00ebrmendet si nj\u00eb shembull i kodit cil\u00ebsor dhe t\u00eb verifikuar, u identifikua nj\u00eb gabim q\u00eb nuk u zbulua nga analizator\u00ebt statik\u00eb, n\u00eb p\u00ebrdorimin e elementit t\u00eb struktur\u00ebs \u00abs->keepon\u00bb, i cili kishte tipin numerik, por krahasohej me vler\u00ebn boolean TRUE. N\u00eb kodin OpenSSL, p\u00ebrve\u00e7 problemit t\u00eb p\u00ebrmendur m\u00eb par\u00eb me \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, gjithashtu u identifikuan anomali n\u00eb shprehjet \u00ab(-2 == rv)\u00bb (minus ishte nj\u00eb gabim tipografik) dhe \u00abBIO_puts(bp, \u00ab:\u00bb)\u00bb. \n Burimi: 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