{"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\/nl\/blog\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel heeft de code van het machine learning-systeem ControlFlag geopend voor het opsporen van fouten in de code.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Intel heeft onderzoek naar het ControlFlag-project onthuld, dat gericht is op de ontwikkeling van een machine learning-systeem voor het verbeteren van de codekwaliteit. De door het project ontwikkelde tools maken het mogelijk om op basis van een model dat is getraind op een grote hoeveelheid bestaande code verschillende fouten en anomalie\u00ebn in de bronteksten, geschreven in hoog-niveau programmeertalen zoals C\/C++, te identificeren. Het systeem is geschikt voor het opsporen van verschillende soorten problemen in de code, van het identificeren van typfouten en onjuiste typecombinaties tot het opsporen van gemiste NULL-waardecontroles in pointers en geheugenproblemen. De ControlFlag-code is geschreven in C++ en is open source onder de MIT-licentie. <\/p>\n
Het systeem leert zelf door het opbouwen van een statistisch model van de bestaande codebase van open source-projecten, gepubliceerd op GitHub en soortgelijke openbare repositories. In de leerfase identificeert het systeem typische patronen in de codeconstructies en bouwt het een syntactische boom van de verbindingen tussen deze patronen, die het uitvoeringspad van de code in het programma weerspiegelt. Uiteindelijk wordt er een referentiebeslissingsboom gevormd die de ontwikkelingservaring van alle geanalyseerde bronteksten verenigt. <\/p>\n
Voor de gecontroleerde code wordt een vergelijkbaar proces uitgevoerd om patronen te identificeren, die worden vergeleken met de referentiebomen van beslissingen. Grote afwijkingen van naburige takken duiden op een anomalie in het gecontroleerde patroon. Het systeem stelt niet alleen in staat om een fout in het patroon te identificeren, maar ook om een correctie voor te stellen. Bijvoorbeeld in de OpenSSL-code werd de constructie «(s1 == NULL) ∧ (s2 == NULL)» gevonden, die slechts 8 keer in de syntactische boom voorkwam, terwijl de dichtstbijzijnde tak met de waarde «(s1 == NULL) || (s2 == NULL)» ongeveer 7000 keer voorkwam. Het systeem identificeerde ook de anomalie «(s1 == NULL) | (s2 == NULL)» die 32 keer in de boom voorkwam.
<\/center> <\/p>\n
Bij de analyse van de codefragmenten «if (x = 7) y = x;» concludeerde het systeem dat doorgaans in de «if»-operator de constructie «variabele == nummer» voor het vergelijken van numerieke waarden wordt gebruikt. Daarom is de kans groot dat het gebruik van «variabele = nummer» in de «if»-uitdrukking het gevolg is van een typfout. Dit soort fouten zou ook door traditionele statische analyzers worden opgemerkt, maar in tegenstelling tot hen past ControlFlag geen vooraf gedefinieerde regels toe waarin het moeilijk is om alle mogelijke varianten te voorzien, maar vertrouwt het op statistieken van het gebruik van verschillende constructies in een groot aantal projecten. <\/p>\n
Als experiment werd met behulp van ControlFlag in de bronbestanden van de cURL-tool, die vaak als voorbeeld wordt genoemd van kwalitatief en bewezen code, een fout ontdekt die door statische analyzers niet was opgemerkt bij het gebruik van het element van de structuur «s->keepon», dat een numeriek type had, maar werd vergeleken met de boolean waarde TRUE. In de OpenSSL-code, naast het eerder genoemde probleem met «(s1 == NULL) ∧ (s2 == NULL)», werden ook anomalie\u00ebn vastgesteld in de uitdrukkingen «(-2 == rv)» (de min was een typfout) en «BIO_puts(bp, «:») \n Bron: 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