{"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\/news\/intel-otkryl-kod-sistemy-mashinnogo-obucheniya-controlflag-dlya-vyyavleniya-oshibok-v-kode","title":{"rendered":"Intel hat den Code des ControlFlag-Maschinenlernsystems zur Auffindung von Fehlern im Code ver\u00f6ffentlicht.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Intel hat die Arbeiten im Rahmen des Forschungsprojekts ControlFlag aufgenommen, das darauf abzielt, ein System f\u00fcr maschinelles Lernen zu entwickeln, um die Codequalit\u00e4t zu verbessern. Die vom Projekt bereitgestellten Werkzeuge erm\u00f6glichen es, basierend auf einem Modell, das auf einer gro\u00dfen Menge bestehenden Codes trainiert wurde, verschiedene Fehler und Anomalien in den Quelltexten zu identifizieren, die in Hochsprachensprachen wie C\/C++ verfasst sind. Das System eignet sich zur Identifizierung verschiedener Problemarten im Code, von der Erkennung von Tippfehlern und falschen Typkombinationen bis hin zur Auffindung fehlender NULL-Wertpr\u00fcfungen in Zeigern und Problemen mit dem Speicher. Der Code von ControlFlag ist in C++ geschrieben und unter der MIT-Lizenz verf\u00fcgbar. <\/p>\n
Das System lernt selbstst\u00e4ndig, indem es ein statistisches Modell des vorhandenen Codebestands offener Projekte erstellt, die auf GitHub und \u00e4hnlichen \u00f6ffentlichen Repositories ver\u00f6ffentlicht sind. W\u00e4hrend der Trainingsphase identifiziert das System typische Muster beim Aufbau von Konstruktionen im Code und erstellt einen syntaktischen Baum der Verbindungen zwischen diesen Mustern, der den Ablauf der Codeausf\u00fchrung im Programm widerspiegelt. Infolgedessen entsteht ein Referenzbaum f\u00fcr Entscheidungen, der die Entwicklungserfahrungen aller analysierten Quelltexte vereint. <\/p>\n
F\u00fcr den \u00fcberpr\u00fcften Code wird ein \u00e4hnlicher Prozess zur Identifizierung von Mustern durchgef\u00fchrt, die mit dem Referenzentscheidungsbaum abgeglichen werden. Gro\u00dfe Abweichungen von benachbarten Zweigen weisen auf eine Anomalie im \u00fcberpr\u00fcften Muster hin. Das System erm\u00f6glicht es nicht nur, einen Fehler im Muster zu erkennen, sondern auch einen Vorschlag zur Behebung zu machen. Zum Beispiel wurde im Code von OpenSSL die Konstruktion \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201c identifiziert, die im syntaktischen Baum insgesamt 8 Mal vorkam, w\u00e4hrend der n\u00e4chstgelegene Zweig mit dem Wert \u201e(s1 == NULL) || (s2 == NULL)\u201c etwa 7.000 Mal vorkam. Das System identifizierte auch die Anomalie \u201e(s1 == NULL) | (s2 == NULL)\u201c, die 32 Mal im Baum vorkam.
<\/center> <\/p>\n
Bei der Analyse des Code-Fragments \u201eif (x = 7) y = x;\u201c erkannte das System, dass \u00fcblicherweise im Operator \u201eif\u201c zur Vergleich von numerischen Werten die Konstruktion \u201eVariable == Zahl\u201c verwendet wird. Daher ist es sehr wahrscheinlich, dass die Angabe \u201eVariable = Zahl\u201c im Ausdruck \u201eif\u201c auf einen Tippfehler zur\u00fcckzuf\u00fchren ist. Einen solchen Fehler h\u00e4tten auch traditionelle statische Analyzer erkannt, jedoch verwendet ControlFlag im Gegensatz zu diesen keine vorgefertigten Regeln, bei denen es schwierig ist, alle denkbaren Varianten vorherzusehen, sondern beruht auf Statistiken zur Verwendung verschiedener Konstruktionen in einer Vielzahl von Projekten. <\/p>\n
Als Experiment wurde mithilfe von ControlFlag in den Quelltexten des cURL-Tools, das h\u00e4ufig als Beispiel f\u00fcr qualitativ hochwertigen und \u00fcberpr\u00fcften Code angef\u00fchrt wird, ein Fehler erkannt, der von statischen Analyzern \u00fcbersehen wurde. Der Fehler betraf das Strukturelement \u201es->keepon\u201c, das einen numerischen Typ hatte, aber mit dem booleschen Wert TRUE verglichen wurde. Im Code von OpenSSL wurden neben dem oben genannten Problem mit \u201e(s1 == NULL) \u2227 (s2 == NULL)\u201c auch Anomalien in den Ausdr\u00fccken \u201e(-2 == rv)\u201c (das Minus war ein Tippfehler) und \u201eBIO_puts(bp, ' : ' )\u201c festgestellt. \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