{"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\/nl\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"De release van ControlFlag 1.0, een tool voor het opsporen van fouten in C-code","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Het bedrijf Intel heeft de eerste significante release van de ControlFlag 1.0 toolkit gepubliceerd, waarmee fouten en anomalie\u00ebn in broncode kunnen worden opgespoord met behulp van een machine learning-systeem dat is getraind op een groot volume bestaande code. In tegenstelling tot traditionele statische analyzers past ControlFlag geen vooraf gedefinieerde regels toe, die moeilijk alle mogelijke varianten kunnen voorspellen, maar baseert het zich op statistieken over het gebruik van verschillende taalkonstrukties in een groot aantal bestaande projecten. De code van ControlFlag is geschreven in C++ en is beschikbaar onder de MIT-licentie. <\/p>\n
Het systeem leert door een statistisch model op te bouwen van de bestaande code uit open-source projecten, gepubliceerd op GitHub en soortgelijke openbare repositories. Tijdens de leermodus identificeert het systeem typische sjablonen voor het bouwen van constructies in de code en bouwt het een syntactische boom van de relaties tussen deze sjablonen, die de uitvoeringstroom in het programma weerspiegelt. Uiteindelijk vormt het een referentie-besluitvormingsboom die de ontwikkelervaring van alle geanalyseerde bronbestanden samenbrengt. Voor de te controleren code wordt een vergelijkbaar proces uitgevoerd om de sjablonen te identificeren, die worden vergeleken met de referentie-besluitvormingsboom. Grote afwijkingen van aangrenzende takken wijzen op een anomalie in het gecontroleerde sjabloon. <\/p>\n
<\/center> <\/p>\n
Als voorbeeld van de mogelijkheden van ControlFlag hebben de ontwikkelaars een analyse uitgevoerd van de broncode van de projecten OpenSSL en cURL: <\/p>\n
\n
In OpenSSL zijn abnormale constructies gevonden zoals «(s1 == NULL) ∧ (s2 == NULL)» en «(s1 == NULL) | (s2 == NULL)», die niet voldoen aan het gebruikelijke patroon «(s1 == NULL) || (s2 == NULL)». In de code zijn ook afwijkingen gevonden in de expressies «(-2 == rv)» (de min was een typfout) en «BIO_puts(bp, «:») <= 0)» (in de context van het controleren van een succesvolle afronding van de functie had het «== 0» moeten zijn).\n
In cURL is een ongezien probleem ontdekt door statische analysetools bij het gebruik van het structuur element «s->keepon», dat een numeriek type had maar werd vergeleken met de booleaanse waarde TRUE. <\/ul>\n
De versie ControlFlag 1.0 biedt volledige ondersteuning voor type templates voor de programmeertaal C en kan anomalie\u00ebn in conditionele statements «if» detecteren. Bijvoorbeeld, bij de analyse van de code fragment «if (x = 7) y = x;» zal het systeem vaststellen dat normaal gesproken in een «if» statement de constructie «variabele == nummer» wordt gebruikt voor het vergelijken van numerieke waarden, waardoor het zeer waarschijnlijk is dat de aanduiding «variabele = nummer» in de «if» expressie het resultaat is van een typfout. Bijgeleverd is een script dat het mogelijk maakt om de beschikbare C-repositories op GitHub te downloaden en deze te gebruiken voor het bouwen van een model. Ook zijn er al kant-en-klare modellen beschikbaar die onmiddellijk kunnen worden gebruikt voor codecontrole. \n Bron: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"De](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n