{"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\/hu\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Az Intel megnyitotta a ControlFlag g\u00e9pi tanul\u00e1si rendszer\u00e9nek forr\u00e1sk\u00f3dj\u00e1t, amely a k\u00f3dban l\u00e9v\u0151 hib\u00e1k azonos\u00edt\u00e1s\u00e1ra szolg\u00e1l.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Az Intel felfedte a ControlFlag kutat\u00e1si projekt j\u00f6v\u0151beli fejleszt\u00e9seit, amely a k\u00f3dmin\u0151s\u00e9g jav\u00edt\u00e1s\u00e1ra ir\u00e1nyul\u00f3 g\u00e9pi tanul\u00e1si rendszer l\u00e9trehoz\u00e1s\u00e1ra \u00f6sszpontos\u00edt. Az elk\u00e9sz\u00edtett eszk\u00f6z lehet\u0151v\u00e9 teszi, hogy a megl\u00e9v\u0151 nagyobb k\u00f3dmennyis\u00e9gre tan\u00edtott modell alapj\u00e1n k\u00fcl\u00f6nf\u00e9le hib\u00e1kat \u00e9s anom\u00e1li\u00e1kat \u00e9szleljen a magas szint\u0171 programoz\u00e1si nyelveken, p\u00e9ld\u00e1ul C\/C++-on \u00edrt forr\u00e1sk\u00f3dokban. A rendszer alkalmas k\u00fcl\u00f6nb\u00f6z\u0151 probl\u00e9m\u00e1k, p\u00e9ld\u00e1ul el\u00edr\u00e1sok \u00e9s a t\u00edpusok hib\u00e1s kombin\u00e1ci\u00f3j\u00e1nak \u00e9szlel\u00e9s\u00e9re, valamint a NULL \u00e9rt\u00e9kek mutat\u00f3inak ellen\u0151rz\u00e9s\u00e9nek elmulaszt\u00e1s\u00e1ra \u00e9s a mem\u00f3riakezel\u00e9si probl\u00e9m\u00e1k felt\u00e1r\u00e1s\u00e1ra. A ControlFlag k\u00f3dja C++ nyelven k\u00e9sz\u00fclt, \u00e9s MIT licenc alatt \u00e9rhet\u0151 el. <\/p>\n
A rendszer az \u00f6nk\u00e9pz\u00e9s r\u00e9v\u00e9n a GitHubon \u00e9s hasonl\u00f3 nyilv\u00e1nos repozit\u00f3riumokban k\u00f6zz\u00e9tett ny\u00edlt projektek megl\u00e9v\u0151 k\u00f3djainak statisztikai modellj\u00e9t \u00e9p\u00edti fel. A tanul\u00e1si szakaszban a rendszer azonos\u00edtja a k\u00f3dban l\u00e9v\u0151 szerkezetek \u00e9p\u00edt\u00e9si sablonjait, \u00e9s szintaxisf\u00e1t \u00e9p\u00edt ezeknek a sablonoknak a k\u00f6z\u00f6tti kapcsolatok alapj\u00e1n, amely t\u00fckr\u00f6zi a programban zajl\u00f3 k\u00f3dv\u00e9grehajt\u00e1s folyamat\u00e1t. Ennek eredm\u00e9nyek\u00e9nt egy mintaf\u00e1t hoz l\u00e9tre, amely az \u00f6sszes elemzett forr\u00e1sk\u00f3d fejleszt\u00e9si tapasztalatait \u00f6sszegzi. <\/p>\n
A hasonl\u00f3 folyamatot hajt v\u00e9gre a vizsg\u00e1lt k\u00f3d eset\u00e9ben a mint\u00e1k azonos\u00edt\u00e1s\u00e1ra, amelyek \u00f6sszehasonl\u00edt\u00e1sra ker\u00fclnek a referencia d\u00f6nt\u00e9si f\u00e1val. A nagy elt\u00e9r\u00e9sek a szomsz\u00e9dos \u00e1gakt\u00f3l anom\u00e1li\u00e1kra utalnak a vizsg\u00e1lt mint\u00e1ban. A rendszer nemcsak a minta hib\u00e1j\u00e1nak felt\u00e1r\u00e1s\u00e1t teszi lehet\u0151v\u00e9, hanem javaslatot is tesz a jav\u00edt\u00e1sra. P\u00e9ld\u00e1ul az OpenSSL k\u00f3dban felfedezt\u00e9k a k\u00f6vetkez\u0151 konstrukci\u00f3t: (s1 == NULL) \u2227 (s2 == NULL), amely mind\u00f6ssze 8 alkalommal fordult el\u0151 a szintaktikai f\u00e1ban, m\u00edg a legk\u00f6zelebbi \u00e1g, amely (s1 == NULL) || (s2 == NULL) volt, k\u00f6r\u00fclbel\u00fcl 7 ezer alkalommal jelent meg. A rendszer egy olyan anom\u00e1li\u00e1t is felt\u00e1rt, mint (s1 == NULL) | (s2 == NULL), amely 32 alkalommal bukkant fel a f\u00e1ban.
<\/center> <\/p>\n
A k\u00f3d r\u00e9szlet\u00e9nek elemz\u00e9sekor: if (x = 7) y = x; a rendszer azonos\u00edtotta, hogy az 'if' oper\u00e1torn\u00e1l a sz\u00e1m\u00e9rt\u00e9kek \u00f6sszehasonl\u00edt\u00e1s\u00e1ra \u00e1ltal\u00e1ban a 'v\u00e1ltoz\u00f3 == sz\u00e1m' konstrukci\u00f3t haszn\u00e1lj\u00e1k, \u00edgy nagyon val\u00f3sz\u00edn\u0171, hogy a 'v\u00e1ltoz\u00f3 = sz\u00e1m' megad\u00e1s a 'if' kifejez\u00e9sben el\u00edr\u00e1s eredm\u00e9nye. Az ilyen hib\u00e1kat a hagyom\u00e1nyos statikus elemz\u0151k is kisz\u0171rn\u00e9k, de a ControlFlag a k\u00e9sz szab\u00e1lyok alkalmaz\u00e1sa helyett, amelyekben neh\u00e9z el\u0151re l\u00e1tni minden lehets\u00e9ges v\u00e1ltozatot, a k\u00fcl\u00f6nb\u00f6z\u0151 konstrukci\u00f3k sok projektben val\u00f3 haszn\u00e1lat\u00e1nak statisztik\u00e1j\u00e1ra t\u00e1maszkodik. <\/p>\n
K\u00eds\u00e9rletk\u00e9nt a ControlFlag seg\u00edts\u00e9g\u00e9vel a cURL seg\u00e9dprogram forr\u00e1sk\u00f3djaiban, amelyet gyakran a min\u0151s\u00e9gi \u00e9s ellen\u0151rz\u00f6tt k\u00f3d p\u00e9ld\u00e1jak\u00e9nt eml\u00edtenek, egy statikus elemz\u0151k \u00e1ltal \u00e9szleletlen hib\u00e1t fedeztek fel az 's->keepon' strukt\u00faraelem haszn\u00e1latakor, amely numerikus t\u00edpus\u00fa volt, de logikai TRUE \u00e9rt\u00e9kkel lett \u00f6sszehasonl\u00edtva. Az OpenSSL k\u00f3dj\u00e1ban, a fent eml\u00edtett (s1 == NULL) \u2227 (s2 == NULL) probl\u00e9ma mellett anom\u00e1li\u00e1kat tal\u00e1ltak a k\u00f6vetkez\u0151 kifejez\u00e9sekben is: (-2 == rv) (a m\u00ednusz el\u00edr\u00e1s volt) \u00e9s BIO_puts(bp, ':'). \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Az](\"\/wp-content\/uploads\/2021\/10\/f59e59e606a113aac675d44fd97845bd.jpg\")
<\/center> <\/p>\n