{"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\/da\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Udgivelse af ControlFlag 1.0, v\u00e6rkt\u00f8jet til at identificere fejl i C-kode","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel har offentliggjort den f\u00f8rste betydelige udgivelse af v\u00e6rkt\u00f8jet ControlFlag 1.0, som g\u00f8r det muligt at identificere fejl og anomalier i kildekoder ved hj\u00e6lp af et maskinl\u00e6ringssystem, der er tr\u00e6net p\u00e5 en stor m\u00e6ngde eksisterende kode. I mods\u00e6tning til traditionelle statiske analysatorer anvender ControlFlag ikke faste regler, som det er sv\u00e6rt at forudse alle mulige varianter med, men er baseret p\u00e5 statistikken for brugen af forskellige sprogteknikker i et stort antal eksisterende projekter. Koden til ControlFlag er skrevet i C++ og er open source under MIT-licensen. <\/p>\n
Systemet tr\u00e6ner ved at opbygge en statistisk model af det eksisterende kodearray fra open source-projekter offentliggjort p\u00e5 GitHub og lignende offentlige repositoryer. I l\u00e6ringsfasen identificerer systemet typiske m\u00f8nstre i kodekonstruktionerne og opretter et syntaktisk tr\u00e6 af forbindelser mellem disse m\u00f8nstre, der afspejler kodeflowet i programmet. Resultatet er et referencebeslutningstr\u00e6, der samler erfaringerne fra alle de analyserede kildekoder. For den kontrollerede kode udf\u00f8res en lignende proces for at identificere m\u00f8nstre, som sammenlignes med referencebeslutningstr\u00e6et. Store uoverensstemmelser med n\u00e6rliggende grene indikerer tilstedev\u00e6relsen af en anomali i det kontrollerede m\u00f8nster. <\/p>\n
<\/center> <\/p>\n
Som et eksempel p\u00e5 ControlFlags muligheder udf\u00f8rte udviklerne en analyse af kildekoderne for projekterne OpenSSL og cURL: <\/p>\n
\n
I OpenSSL er der identificeret us\u00e6dvanlige konstruktioner «(s1 == NULL) ∧ (s2 == NULL)» og «(s1 == NULL) | (s2 == NULL)», som ikke stemmer overens med den normalt anvendte skabelon «(s1 == NULL) || (s2 == NULL)». I koden blev der ogs\u00e5 fundet anomalier i udtrykkene «(-2 == rv)» (minus var en tastefejl) og «BIO_puts(bp, «:») <= 0)» (i konteksten af at kontrollere en funktionens succesfulde afslutning burde det have v\u00e6ret «== 0»).\n
I cURL blev der opdaget en uopdaget fejl af statiske analyser, da elementet i strukturen «s->keepon» havde en numerisk type, men blev sammenlignet med en boolesk v\u00e6rdi TRUE. <\/ul>\n
Fra funktionerne i versionen ControlFlag 1.0 bem\u00e6rkes den fulde st\u00f8tte til typisk skabelon for C-sprog og muligheden for at identificere anomali i betingelsesudtryk «if». For eksempel, n\u00e5r man analyserer kodefragmentet «if (x = 7) y = x;», vil systemet bestemme, at der normalt i «if»-operatoren anvendes konstruktionen «variabel == tal» for at sammenligne numeriske v\u00e6rdier, s\u00e5 det s\u00e5 stor sandsynlighed for, at «variabel = tal» i «if»-udtrykket skyldes en tastefejl. Der medf\u00f8lger et script, der g\u00f8r det muligt at downloade eksisterende C-repositorier fra GitHub og bruge dem til at opbygge en model. Der er ogs\u00e5 tilg\u00e6ngelige allerede f\u00e6rdige modeller, der straks kan bruges til kodekontrol. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Udgivelse](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n