{"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\/sv\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel har \u00f6ppnat koden f\u00f6r maskininl\u00e4rningssystemet ControlFlag f\u00f6r att identifiera fel i koden.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel har sl\u00e4ppt sina forskningsinsatser kopplade till projektet ControlFlag, som syftar till att skapa ett maskininl\u00e4rningssystem f\u00f6r att f\u00f6rb\u00e4ttra kodkvaliteten. Det verktyg som tagits fram av projektet g\u00f6r det m\u00f6jligt att identifiera olika fel och avvikelser i k\u00e4llkoden, skriven p\u00e5 h\u00f6gniv\u00e5spr\u00e5k som C\/C++, baserat p\u00e5 en modell som har tr\u00e4nats p\u00e5 en stor m\u00e4ngd befintlig kod. Systemet \u00e4r l\u00e4mpligt f\u00f6r att identifiera olika typer av problem i koden, fr\u00e5n att uppt\u00e4cka stavfel och felaktiga typkombinationer till att identifiera saknade NULL-v\u00e4rdeskontroller i pekare och problem med minneshantering. ControlFlag-koden \u00e4r skriven i C++ och \u00e4r \u00f6ppen under MIT-licens. <\/p>\n
Systemet l\u00e4r sig sj\u00e4lv genom att bygga en statistisk modell av den befintliga koden i \u00f6ppna projekt, som publicerats p\u00e5 GitHub och liknande offentliga arkiv. Under inl\u00e4rningsfasen identifierar systemet typiska m\u00f6nster i kodstrukturer och bygger ett syntaxtr\u00e4d \u00f6ver sambanden mellan dessa m\u00f6nster, vilket \u00e5terspeglar fl\u00f6det av kodens exekvering i programmet. Resultatet blir ett referensbeslutstr\u00e4d som sammanfogar utvecklingserfarenheten fr\u00e5n alla analyserade k\u00e4lltexter. <\/p>\n
F\u00f6r den kontrollerade koden genomf\u00f6rs en liknande process f\u00f6r att identifiera m\u00f6nster som j\u00e4mf\u00f6rs med ett referensbeslutstr\u00e4d. Stora avvikelser fr\u00e5n angr\u00e4nsande grenar tyder p\u00e5 en avvikelse i det kontrollerade m\u00f6nstret. Systemet g\u00f6r det ocks\u00e5 m\u00f6jligt att inte bara identifiera ett fel i m\u00f6nstret, utan ocks\u00e5 f\u00f6resl\u00e5 en korrigering. Till exempel, i OpenSSL-koden identifierades konstruktionen \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, som f\u00f6rekom i det syntaktiska tr\u00e4det endast 8 g\u00e5nger, medan den n\u00e4rmaste grenen med v\u00e4rdet \u00ab(s1 == NULL) || (s2 == NULL)\u00bb f\u00f6rekom cirka 7000 g\u00e5nger. Systemet uppt\u00e4ckte ocks\u00e5 avvikelsen \u00ab(s1 == NULL) | (s2 == NULL)\u00bb, som f\u00f6rekom i tr\u00e4det 32 g\u00e5nger.
<\/center> <\/p>\n
Vid analys av kodfragmentet \u00abif (x = 7) y = x;\u00bb identifierade systemet att man vanligtvis anv\u00e4nder konstruktionen \u00abvariabel == nummer\u00bb f\u00f6r att j\u00e4mf\u00f6ra numeriska v\u00e4rden i \u00abif\u00bb-satsen, s\u00e5 det \u00e4r mycket troligt att angivandet \u00abvariabel = nummer\u00bb i uttrycket \u00abif\u00bb berodde p\u00e5 en skrivfel. En s\u00e5dan felaktighet skulle \u00e4ven traditionella statiska analysatorer ha f\u00e5ngat, men till skillnad fr\u00e5n dem till\u00e4mpar ControlFlag inte fasta regler, d\u00e4r det \u00e4r sv\u00e5rt att f\u00f6rutse alla m\u00f6jliga varianter, utan baserar sig p\u00e5 statistik fr\u00e5n anv\u00e4ndningen av olika konstruktioner i ett stort antal projekt. <\/p>\n
Som ett experiment uppt\u00e4ckte ControlFlag i k\u00e4llkoden f\u00f6r verktyget cURL, som ofta n\u00e4mns som ett exempel p\u00e5 kvalitetskod, ett fel som inte uppt\u00e4cktes av statiska analysatorer vid anv\u00e4ndning av strukturelementet \u00abs->keepon\u00bb, som hade numerisk typ men j\u00e4mf\u00f6rdes med det booleska v\u00e4rdet TRUE. I OpenSSL-koden, f\u00f6rutom den ovan n\u00e4mnda problematiken med \u00ab(s1 == NULL) \u2227 (s2 == NULL)\u00bb, identifierades ocks\u00e5 avvikelser i uttrycken \u00ab(-2 == rv)\u00bb (minustecknet var en skrivfel) och \u00abBIO_puts(bp, \u00ab:\u00bb)\u00bb. \n K\u00e4lla: 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