{"id":105257,"date":"2022-10-06T15:36:38","date_gmt":"2022-10-06T13:36:38","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c"},"modified":"2022-10-06T15:36:38","modified_gmt":"2022-10-06T13:36:38","slug":"proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Das LLVM-Projekt entwickelt Werkzeuge f\u00fcr die sichere Arbeit mit Buffern in C++.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Die Entwickler des LLVM-Projekts haben eine Reihe von \u00c4nderungen vorgeschlagen, die darauf abzielen, die Sicherheit kritischer C++-Projekte zu erh\u00f6hen und Mittel zur Vermeidung von Fehlern bereitzustellen, die durch das \u00dcbersteigen der zul\u00e4ssigen Grenzen von Speichern entstehen. Die Arbeit konzentriert sich auf zwei Bereiche: die Bereitstellung eines Entwicklungsmodells, das einen sicheren Umgang mit Speichern erm\u00f6glicht, und Ma\u00dfnahmen zur Verbesserung des Schutzes der Standardbibliothek libc++. <\/p>\n
Das vorgeschlagene Modell f\u00fcr sicheres Programmieren in C++ sieht die Verwendung von Klassen der Standardbibliothek beim Arbeiten mit Speichern anstelle von Manipulationen mit rohen Zeigern vor. Beispielsweise wird empfohlen, die Klassen std::array, std::vector und std::span zu verwenden, in die zur Laufzeit eine \u00dcberpr\u00fcfung auf \u00dcberschreitung des zugewiesenen Speichers eingebaut wird. <\/p>\n
Um gef\u00e4hrliche Programmierpraktiken in Clang zu bek\u00e4mpfen, wird vorgeschlagen, Compilerwarnungen f\u00fcr alle arithmetischen Operationen mit Zeigern auszugeben, die \u00e4hnlich wie die Warnungen des Linters Clang-Tidy sind, die mit dem Flag \u201ecppcoreguidelines-pro-bounds-pointer-arithmetic\u201c ausgegeben werden, dessen Unterst\u00fctzung in der LLVM-Version 16 verf\u00fcgbar sein wird. Um solche Warnungen in Clang zu aktivieren, wird ein separater Flag hinzugef\u00fcgt, der standardm\u00e4\u00dfig nicht aktiv ist. <\/p>\n
In libc++ ist geplant, einen optionalen Modus mit verst\u00e4rktem Schutz zu implementieren, der bestimmte Situationen zur Laufzeit erfasst, die zu undefiniertem Verhalten f\u00fchren. Beispielsweise wird in den Klassen std::span und std::vector der Zugriff \u00fcber den zugewiesenen Speicherbereich \u00fcberwacht, und bei einer Feststellung wird das Programm mit einem Fehler beendet. Die Entwickler sind der Meinung, dass die Hinzuf\u00fcgung solcher \u00c4nderungen die \u00dcbereinstimmung von libc++ mit den C++-Standards gew\u00e4hrleistet, da die Wahl der Handhabung von Situationen mit undefiniertem Verhalten den Entwicklern der Bibliothek obliegt, die diese auch als Fehler interpretieren k\u00f6nnen, die eine Beendigung des Programms erfordern. <\/p>\n
Die zur Laufzeit durchgef\u00fchrten \u00dcberpr\u00fcfungen in libc++ sollen in Kategorien unterteilt werden, die einzeln aktiviert werden k\u00f6nnen. Einige der vorgeschlagenen \u00dcberpr\u00fcfungen, die keine komplexen Operationen oder \u00c4nderungen der ABI verursachen, sind bereits im Rahmen des sicheren Modus von libc++ (safe mode) implementiert. <\/p>\n
Zus\u00e4tzlich ist geplant, ein Werkzeugset zur Codeanpassung bereitzustellen, das es erm\u00f6glicht, Variablen mit nackten Zeigern durch Container zu ersetzen und alternative Handler in Situationen anzuwenden, in denen ein Container nicht direkt einen Zeiger ersetzen kann (zum Beispiel kann die Konstruktion \u201eif(array_pointer)\u201c in \u201eif(span.data())\u201c umgewandelt werden). Anpassungen k\u00f6nnen nicht nur an lokalen Variablen, sondern auch an Typparametern mit Zeigern vorgenommen werden. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"