{"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\/sk\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Vydanie ControlFlag 1.0, n\u00e1stroja na identifik\u00e1ciu ch\u00fdb v k\u00f3de v jazyku C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Spolo\u010dnos\u0165 Intel publikovala prv\u00fd v\u00fdznamn\u00fd release n\u00e1stroja ControlFlag 1.0, ktor\u00fd umo\u017e\u0148uje identifikova\u0165 chyby a anom\u00e1lie v zdrojov\u00fdch k\u00f3doch, vyu\u017e\u00edvaj\u00fac syst\u00e9m strojov\u00e9ho u\u010denia, tr\u00e9novan\u00fd na ve\u013ekom mno\u017estve existuj\u00faceho k\u00f3du. Na rozdiel od tradi\u010dn\u00fdch statick\u00fdch analyz\u00e1torov, ControlFlag nepou\u017e\u00edva pripraven\u00e9 pravidl\u00e1, v ktor\u00fdch je \u0165a\u017ek\u00e9 predpoklada\u0165 v\u0161etky mo\u017en\u00e9 varianty, ale vych\u00e1dza zo \u0161tatistiky pou\u017eitia v\u0161etk\u00fdch jazykov\u00fdch kon\u0161trukci\u00ed v mnoh\u00fdch existuj\u00facich projektoch. K\u00f3d ControlFlag je nap\u00edsan\u00fd v jazyku C++ a je otvoren\u00fd pod licenciou MIT. <\/p>\n
Syst\u00e9m sa u\u010d\u00ed vytv\u00e1ran\u00edm \u0161tatistick\u00e9ho modelu existuj\u00faceho s\u00faboru k\u00f3du otvoren\u00fdch projektov publikovan\u00fdch na GitHub a podobn\u00fdch verejn\u00fdch repozit\u00e1roch. V \u0161t\u00e1diu u\u010denia syst\u00e9m identifikuje typick\u00e9 \u0161abl\u00f3ny kon\u0161trukci\u00ed k\u00f3du a vytvor\u00ed syntaktick\u00fd strom v\u00e4zieb medzi t\u00fdmito \u0161abl\u00f3nami, odr\u00e1\u017eaj\u00faci tok vykon\u00e1vania k\u00f3du v programe. Nakoniec sa formuje referen\u010dn\u00fd strom rozhodovania, ktor\u00fd sp\u00e1ja sk\u00fasenosti z v\u00fdvoja v\u0161etk\u00fdch analyzovan\u00fdch zdrojov\u00fdch textov. Pre kontrolovan\u00fd k\u00f3d sa vykon\u00e1va podobn\u00fd proces identifikovania \u0161abl\u00f3n, ktor\u00e9 sa porovn\u00e1vaj\u00fa s referen\u010dn\u00fdm stromom rozhodovania. Ve\u013ek\u00e9 nezrovnalosti so susedn\u00fdmi vetvami nazna\u010duj\u00fa existenciu anom\u00e1lie v kontrolovanej \u0161abl\u00f3ne. <\/p>\n
<\/center> <\/p>\n
Ako pr\u00edklad mo\u017enost\u00ed ControlFlag vykonali jeho v\u00fdvoj\u00e1ri anal\u00fdzu zdrojov\u00fdch textov projektov OpenSSL a cURL: <\/p>\n
\n
V OpenSSL boli odhalen\u00e9 anom\u00e1lne kon\u0161trukcie «(s1 == NULL) ∧ (s2 == NULL)» a «(s1 == NULL) | (s2 == NULL)», ktor\u00e9 nezodpovedaj\u00fa be\u017ene pou\u017e\u00edvanej \u0161abl\u00f3ne «(s1 == NULL) || (s2 == NULL)». V k\u00f3de boli taktie\u017e odhalen\u00e9 anom\u00e1lie vo v\u00fdrazoch «(-2 == rv)» (m\u00ednus bol preklepom) a «BIO_puts(bp, «:») <= 0)» (v kontexte kontroly \u00faspe\u0161n\u00e9ho ukon\u010denia funkcie malo by\u0165 «== 0»).\n
V cURL bola odhalen\u00e1 nezaznamenan\u00e1 statick\u00fdmi analyz\u00e1tormi chyba pri pou\u017eit\u00ed prvku \u0161trukt\u00fary «s->keepon», ktor\u00fd mal \u010d\u00edseln\u00fd typ, ale bol porovn\u00e1van\u00fd s logickou hodnotou TRUE. <\/ul>\n
Z vlastnost\u00ed verzie ControlFlag 1.0 sa uv\u00e1dza \u00fapln\u00e1 podpora typov\u00fdch \u0161abl\u00f3n pre jazyk C a mo\u017enos\u0165 odhalenia anom\u00e1li\u00ed v podmienkov\u00fdch v\u00fdrazoch «if». Napr\u00edklad pri anal\u00fdze \u00fatr\u017eku k\u00f3du «if (x = 7) y = x;» syst\u00e9m ur\u010d\u00ed, \u017ee zvy\u010dajne sa v oper\u00e1tore «if» na porovnanie \u010d\u00edseln\u00fdch hodn\u00f4t pou\u017e\u00edva kon\u0161trukcia «premenn\u00e1 == \u010d\u00edslo», tak\u017ee s ve\u013ekou pravdepodobnos\u0165ou je uvedenie «premenn\u00e1 = \u010d\u00edslo» v v\u00fdraze «if» sp\u00f4soben\u00e9 preklepom. V balen\u00ed je poskytnut\u00fd skript, ktor\u00fd umo\u017e\u0148uje na\u010d\u00edta\u0165 existuj\u00face v repozit\u00e1roch GitHub v jazyku C a pou\u017ei\u0165 ich na vytvorenie modelu. Taktie\u017e s\u00fa k dispoz\u00edcii u\u017e hotov\u00e9 modely, ktor\u00e9 umo\u017e\u0148uj\u00fa okam\u017eit\u00e9 za\u010datie kontroly k\u00f3du. \n Zdroj: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Vydanie](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n