{"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\/de\/blog\/novosti-interneta\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel hat den Quellcode des Machine-Learning-Systems ControlFlag zur Fehlererkennung im Code ver\u00f6ffentlicht.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Intel hat Fortschritte im Rahmen des Forschungsprojekts ControlFlag gemacht, das sich darauf konzentriert, ein System f\u00fcr maschinelles Lernen zur Verbesserung der Codequalit\u00e4t zu entwickeln. Die vom Projekt bereitgestellten Werkzeuge erm\u00f6glichen es, anhand eines Modells, das auf einem umfangreichen Pool von vorhandenem Code trainiert wurde, verschiedene Fehler und Anomalien in Quelltexten zu identifizieren, die in hochgradigen Programmiersprachen wie C\/C++ verfasst sind. Das System ist geeignet, unterschiedliche Arten von Problemen im Code zu erkennen, von der Identifizierung von Tippfehlern und falschen Typenkombinationen bis hin zur Erkennung fehlender \u00dcberpr\u00fcfungen des NULL-Wertes in Zeigern und Problemen im Umgang mit dem Speicher. Der Code von ControlFlag ist in C++ geschrieben und unter der MIT-Lizenz open source. <\/p>\n
Das System lernt selbstst\u00e4ndig, indem es ein statistisches Modell des vorhandenen Codes aus offenen Projekten erstellt, die in GitHub und \u00e4hnlichen \u00f6ffentlichen Repositories ver\u00f6ffentlicht sind. In der Lernphase identifiziert das System typische Muster in der Code-Struktur und erstellt einen Syntaxbaum, der die Beziehungen zwischen diesen Mustern abbildet und den Ablauf des Codes im Programm widerspiegelt. Schlie\u00dflich entsteht ein Referenzbaum f\u00fcr Entscheidungsfindung, der die Entwicklungserfahrung aller analysierten Quelltexte vereint. <\/p>\n
F\u00fcr den \u00fcberpr\u00fcften Code erfolgt ein \u00e4hnlicher Prozess zur Bestimmung von Mustern, die mit dem Referenzbaum f\u00fcr Entscheidungsfindung abgeglichen werden. Gro\u00dfe Abweichungen von benachbarten Zweigen deuten auf eine Anomalie im \u00fcberpr\u00fcften Muster hin. Das System erm\u00f6glicht nicht nur die Identifizierung eines Fehlers im Muster, sondern bietet auch Korrekturvorschl\u00e4ge an. Zum Beispiel wurde im Code von OpenSSL die Konstruktion «(s1 == NULL) ∧ (s2 == NULL)» identifiziert, die im syntaktischen Baum insgesamt 8 Mal vorkam, w\u00e4hrend der n\u00e4chstgelegene Zweig mit dem Wert «(s1 == NULL) || (s2 == NULL)» etwa 7000 Mal vorkam. Das System erkannte auch die Anomalie «(s1 == NULL) | (s2 == NULL)», die im Baum 32 Mal vorkam.
<\/center> <\/p>\n
Bei der Analyse des Code-Ausschnitts «if (x = 7) y = x;» hat das System festgestellt, dass \u00fcblicherweise im «if»-Operator zur Vergleich von numerischen Werten die Konstruktion «Variable == Zahl» verwendet wird. Daher ist es sehr wahrscheinlich, dass die Angabe «Variable = Zahl» im «if»-Ausdruck durch einen Tippfehler verursacht wurde. Solch einen Fehler h\u00e4tten auch traditionelle statische Analyzer erkannt, aber im Gegensatz zu ihnen verwendet ControlFlag keine vorgefertigten Regeln, in denen es schwierig ist, alle m\u00f6glichen Varianten zu ber\u00fccksichtigen, sondern beruht auf der Statistik der Verwendung aller m\u00f6glichen Konstruktionen in einer gro\u00dfen Anzahl von Projekten. <\/p>\n
Im Rahmen eines Experiments wurde mit Hilfe von ControlFlag im Quelltext des cURL-Tools, das h\u00e4ufig als Beispiel f\u00fcr qualitativ hochwertigen und gepr\u00fcften Code angef\u00fchrt wird, ein von statischen Analyzern unentdeckter Fehler festgestellt. Es handelt sich um die Verwendung des Struktur-Elements «s->keepon», welches einen numerischen Typ hatte, aber mit dem booleschen Wert TRUE verglichen wurde. Im OpenSSL-Code wurden neben dem oben erw\u00e4hnten Problem mit «(s1 == NULL) ∧ (s2 == NULL)» auch Anomalien in den Ausdr\u00fccken «(-2 == rv)» (das Minus war ein Tippfehler) und «BIO_puts(bp, «:»)» gefunden. \n Quelle: 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