{"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\/novosti-interneta\/vypusk-controlflag-1-0-instrumenta-dlya-vyyavleniya-oshibok-v-kode-na-yazyke-si","title":{"rendered":"Ver\u00f6ffentlichung von ControlFlag 1.0, einem Tool zur Erkennung von Fehlern im C-Code","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Die Firma Intel hat die erste bedeutende Version des Tools ControlFlag 1.0 ver\u00f6ffentlicht, das es erm\u00f6glicht, Fehler und Anomalien in Quelltexten aufzusp\u00fcren. Dabei nutzt es ein Machine-Learning-System, das auf einer gro\u00dfen Menge bestehender Codebasis trainiert wurde. Im Gegensatz zu herk\u00f6mmlichen statischen Analysatoren verwendet ControlFlag keine festgelegten Regeln, die oft nicht alle m\u00f6glichen Varianten abdecken, sondern st\u00fctzt sich auf die Statistik der Nutzung verschiedener Sprachkonstruktionen in einer Vielzahl existierender 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 vorhandenen Codes aus offenen Projekten erstellt, die auf GitHub und \u00e4hnlichen \u00f6ffentlichen Repositories ver\u00f6ffentlicht sind. In der Lernphase identifiziert das System typische Muster im Codebau und erstellt einen Syntaxbaum, der die Beziehungen zwischen diesen Mustern widerspiegelt und den Ablauf des Codes im Programm darstellt. Am Ende entsteht ein Referenzbaum f\u00fcr Entscheidungen, der die Entwicklungs erfahren aller analysierten Quelltexte kombiniert. F\u00fcr den zu \u00fcberpr\u00fcfenden Code wird ein \u00e4hnlicher Prozess zur Mustererkennung durchgef\u00fchrt, wobei diese mit dem Referenzbaum f\u00fcr Entscheidungen verglichen werden. Gr\u00f6\u00dfere Abweichungen von benachbarten Verzweigungen weisen auf eine Anomalie im \u00fcberpr\u00fcften Muster hin. <\/p>\n
<\/center> <\/p>\n
Als Beispiel f\u00fcr die M\u00f6glichkeiten von ControlFlag wurde von den Entwicklern eine Analyse der Quelltexte der Projekte OpenSSL und cURL durchgef\u00fchrt: <\/p>\n
\n
In OpenSSL wurden anomale Konstruktionen «(s1 == NULL) ∧ (s2 == NULL)» und «(s1 == NULL) | (s2 == NULL)» festgestellt, die nicht dem typischerweise 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)» entdeckt (im Kontext der \u00dcberpr\u00fcfung des erfolgreichen Abschlusses h\u00e4tte es «== 0» lauten m\u00fcssen).\n
In cURL wurde ein \u00fcbersehener Fehler von statischen Analysatoren festgestellt, bei dem das Struktur-Element «s->keepon» einen numerischen Typ hatte, jedoch mit dem booleschen Wert TRUE verglichen wurde. <\/ul>\n
Die Version ControlFlag 1.0 bietet umfassende Unterst\u00fctzung f\u00fcr Standardvorlagen in C und erm\u00f6glicht die Erkennung von Anomalien in den bedingten Ausdr\u00fccken «if». Bei der Analyse des Code-Ausschnitts «if (x = 7) y = x;» wird das System feststellen, dass normalerweise im «if»-Operator zum Vergleich von numerischen Werten die Konstruktion «Variable == Zahl» verwendet wird. Daher ist es sehr wahrscheinlich, dass die Angabe «Variable = Zahl» in der «if»-Bedingung durch einen Schreibfehler verursacht wurde. Im Lieferumfang ist ein Skript enthalten, das es erm\u00f6glicht, vorhandene C-Code-Repositories von GitHub hochzuladen und sie zum Erstellen eines Modells zu verwenden. Zudem stehen bereits fertige Modelle zur Verf\u00fcgung, die es Ihnen erm\u00f6glichen, sofort mit der \u00dcberpr\u00fcfung des Codes zu beginnen. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
![\"Ver\u00f6ffentlichung](\"\/wp-content\/uploads\/2021\/11\/487e250bbbd790108aff376f7c9b6c5d.jpg\")
<\/center> <\/p>\n