{"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\/de\/blog\/news\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Release ControlFlag 1.0, ein Tool zur Erkennung von Fehlern im Code in C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Intel hat die erste bedeutende Version des Tools ControlFlag 1.0 ver\u00f6ffentlicht, das Fehler und Anomalien in Quelltexten identifizieren kann, indem es ein auf einem gro\u00dfen Volumen bestehender Codes trainiertes Machine Learning-System verwendet. Im Gegensatz zu traditionellen statischen Analysewerkzeugen verwendet ControlFlag keine festen Regeln, die oft nicht alle m\u00f6glichen Varianten abdecken k\u00f6nnen, sondern basiert auf der Statistik der Verwendung verschiedener Sprachkonstruktionen in einer Vielzahl bestehender Projekte. Der Code von ControlFlag ist in C++ geschrieben und unter der MIT-Lizenz ver\u00f6ffentlicht. <\/p>\n
Das System lernt, indem es ein statistisches Modell des bestehenden Quellcodes offener Projekte, die auf GitHub und \u00e4hnlichen \u00f6ffentlichen Repositories ver\u00f6ffentlicht sind, erstellt. In der Trainingsphase identifiziert das System typische Muster in der Konstruktion des Codes und erstellt einen Syntaxbaum, der die Beziehungen zwischen diesen Mustern darstellt und den Fluss der Programmausf\u00fchrung widerspiegelt. In der Folge wird ein Referenzbaum f\u00fcr Entscheidungen gebildet, der die Entwicklungserfahrungen aller analysierten Quelltexte zusammenf\u00fchrt. F\u00fcr den zu \u00fcberpr\u00fcfenden Code wird ein \u00e4hnlicher Prozess zur Identifizierung von Mustern durchgef\u00fchrt, die mit dem Referenzbaum f\u00fcr Entscheidungen abgeglichen werden. Gro\u00dfe Abweichungen von benachbarten \u00c4sten deuten auf Anomalien im \u00fcberpr\u00fcften Muster hin. <\/p>\n
<\/center> <\/p>\n
Als Beispiel f\u00fcr die M\u00f6glichkeiten von ControlFlag wurde eine Analyse der Quelltexte der Projekte OpenSSL und cURL durchgef\u00fchrt: <\/p>\n
\n
In OpenSSL wurden anomalische Konstrukte «(s1 == NULL) ∧ (s2 == NULL)» und «(s1 == NULL) | (s2 == NULL)» festgestellt, die nicht dem \u00fcblicherweise verwendeten Muster «(s1 == NULL) || (s2 == NULL)» entsprechen. Im Code wurden auch Anomalien in den Ausdr\u00fccken «(-2 == rv)» (das Minus war ein Tippfehler) und «BIO_puts(bp, «:») <= 0)» festgestellt (im Kontext der \u00dcberpr\u00fcfung des erfolgreichen Abschlusses der Funktion h\u00e4tte es «== 0» sein m\u00fcssen).\n
In cURL wurde ein von statischen Analysewerkzeugen unentdeckter Fehler festgestellt, bei dem das Struktur-Element «s->keepon» einen numerischen Typ hatte, aber mit einem booleschen Wert TRUE verglichen wurde. <\/ul>\n
Zu den Besonderheiten der Version ControlFlag 1.0 geh\u00f6rt die vollst\u00e4ndige Unterst\u00fctzung von Typvorlagen f\u00fcr die Programmiersprache C und die M\u00f6glichkeit, Anomalien in bedingten Ausdr\u00fccken «if» zu erkennen. Beispielsweise wird das System beim Analysieren des Code-Ausschnitts «if (x = 7) y = x;» feststellen, dass normalerweise im «if»-Operator zur Vergleich von numerischen Werten die Konstruktion «Variable == Zahl» verwendet wird, weshalb die Angabe «Variable = Zahl» im Ausdruck «if» wahrscheinlich durch einen Tippfehler verursacht wurde. Ein Skript zum Hochladen der auf GitHub verf\u00fcgbaren C-Repositories ist ebenfalls enthalten und kann verwendet werden, um ein Modell zu erstellen. Au\u00dferdem sind bereits fertige Modelle verf\u00fcgbar, die es erm\u00f6glichen, sofort mit der Pr\u00fcfung des Codes zu beginnen. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Release](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n