{"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\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel publikoi kodin e sistemit t\u00eb m\u00ebsimit makinerik ControlFlag p\u00ebr identifikimin e gabimeve n\u00eb kod.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Kompania Intel publikoi rezultatet e nj\u00eb projekti k\u00ebrkimor ControlFlag, i fokusuar n\u00eb krijimin e nj\u00eb sistemi m\u00ebsimi makinerik p\u00ebr p\u00ebrmir\u00ebsimin e cil\u00ebsis\u00eb s\u00eb kodit. Veglat e p\u00ebrgatitura nga projekti lejojn\u00eb, n\u00eb baz\u00eb t\u00eb nj\u00eb modeli t\u00eb trajnuar mbi nj\u00eb sasi t\u00eb madhe t\u00eb kodit ekzistues, identifikimin e gabimeve dhe anomalive t\u00eb ndryshme n\u00eb tekstet burimore, t\u00eb shkruara n\u00eb gjuh\u00eb t\u00eb nivelit t\u00eb lart\u00eb, si C\/C++. Sistemi \u00ebsht\u00eb i p\u00ebrshtatsh\u00ebm p\u00ebr identifikimin e llojeve t\u00eb ndryshme t\u00eb problemeve n\u00eb kod, nga identifikimi i gabimeve t\u00eb shtypjes dhe kombinimeve t\u00eb gabuara t\u00eb tipeve, deri te identifikimi i kontrolleve t\u00eb mungueshme t\u00eb vlerave NULL n\u00eb tregues dhe problemeve 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 automatikisht duke nd\u00ebrtuar nj\u00eb model statistik t\u00eb kodit ekzistues t\u00eb projekteve t\u00eb hapura, t\u00eb publikuara n\u00eb GitHub dhe depo t\u00eb ngjashme publike. N\u00eb faz\u00ebn e m\u00ebsimit, sistemi identifikon skemat tipike t\u00eb nd\u00ebrtimit t\u00eb konstrukcioneve n\u00eb kod dhe nd\u00ebrton nj\u00eb pem\u00eb sintaksore lidhjesh midis k\u00ebtyre skemave, duke reflektuar rrjedh\u00ebn e ekzekutimit t\u00eb kodit n\u00eb program. Si rezultat, formohet nj\u00eb pem\u00eb standarde vendimmarrjeje, e cila bashkon p\u00ebrvoj\u00ebn e zhvillimit t\u00eb t\u00eb gjith\u00eb teksteve burimore t\u00eb analizuar. <\/p>\n
P\u00ebr kodin e verifikuar ndiqet nj\u00eb proces i ngjash\u00ebm p\u00ebr t\u00eb identifikuar modelet, t\u00eb cilat krahasohen me pem\u00ebn standarde t\u00eb vendimmarrjes. Shkall\u00eb t\u00eb m\u00ebdha t\u00eb divergjenc\u00ebs me deg\u00ebt fqinje tregojn\u00eb p\u00ebr pranin\u00eb e nj\u00eb anomalie n\u00eb modelin e verifikuar. Sistemi gjithashtu lejon jo vet\u00ebm t\u00eb identifikoj\u00eb nj\u00eb gabim n\u00eb model, por gjithashtu t\u00eb propozoj\u00eb nj\u00eb korrigjim. P\u00ebr shembull, n\u00eb kodin e OpenSSL u zbulua 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 p\u00ebrcaktoi q\u00eb zakonisht n\u00eb operatorin \u00abif\u00bb p\u00ebr t\u00eb krahasuar vlerat numerike p\u00ebrdoret struktura \u00abvariab\u00ebl == num\u00ebr\u00bb, k\u00ebshtu q\u00eb me nj\u00eb probabilitet t\u00eb madh, caktimi \u00abvariab\u00ebl = num\u00ebr\u00bb n\u00eb shprehjen \u00abif\u00bb ishte shkaktuar nga nj\u00eb gabim tipografik. Nj\u00eb gabim t\u00eb till\u00eb do ta kapte edhe analizator\u00ebt tradicional\u00eb statik\u00eb, por n\u00eb ndryshim nga ata, ControlFlag nuk p\u00ebrdor rregulla t\u00eb gatshme, n\u00eb t\u00eb cilat \u00ebsht\u00eb e v\u00ebshtir\u00eb t\u00eb parashikohet t\u00eb gjitha variantet e mundshme, por mb\u00ebshtetet n\u00eb statistikat e p\u00ebrdorimit t\u00eb t\u00eb gjitha strukturave n\u00eb nj\u00eb num\u00ebr t\u00eb madh projektesh. <\/p>\n
Si eksperimente, me ndihm\u00ebn e ControlFlag, n\u00eb tekstet burimore t\u00eb utilitetit cURL, i cili shpesh jepet si shembulli i kodit t\u00eb cil\u00ebsis\u00eb s\u00eb lart\u00eb dhe t\u00eb verifikuar, u zbulua nj\u00eb gabim t\u00eb pap\u00ebrfillsh\u00ebm nga analizator\u00ebt statik\u00eb n\u00eb p\u00ebrdorimin e elementit t\u00eb struktur\u00ebs \u00abs->keepon\u00bb, i cili kishte tip numerik, por u krahasua me vler\u00ebn boolean TRUE. N\u00eb kodin e OpenSSL, p\u00ebrve\u00e7 problemi t\u00eb p\u00ebrmendur m\u00eb par\u00eb me \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, u zbuluan gjithashtu anomali n\u00eb shprehjet \u00ab(-2 == rv)\u00bb (minus ishte nj\u00eb gabim tipografik) dhe \u00abBIO_puts(bp, \u2018:\u2019)\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