{"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\/novosti-interneta\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Das LLVM-Projekt entwickelt Werkzeuge f\u00fcr den sicheren Umgang mit Puffern 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 von sicherheitskritischen Projekten in C++ zu erh\u00f6hen und Mittel bereitzustellen, um Fehler, die durch das \u00dcberschreiten von Puffergrenzen verursacht werden, zu vermeiden. Die Arbeiten konzentrieren sich auf zwei Bereiche: die Bereitstellung eines Entwicklungsmodells, das einen sicheren Umgang mit Puffern erm\u00f6glicht, sowie die Verbesserung des Schutzes der Standardfunktionalit\u00e4tsbibliothek libc++. <\/p>\n
Das vorgeschlagene Modell f\u00fcr sicheres Programmieren in C++ sieht vor, dass bei der Arbeit mit Puffern die von der Standardbibliothek bereitgestellten Klassen anstelle von Rohzeigern verwendet werden. Beispielsweise wird empfohlen, die Klassen std::array, std::vector und std::span zu verwenden, die zur Laufzeit eine \u00dcberpr\u00fcfung auf das \u00dcberschreiten der zugewiesenen Speicherkapazit\u00e4t hinzuf\u00fcgen werden. <\/p>\n
Um gegen gef\u00e4hrliche Programmiertechniken in Clang vorzugehen, wird vorgeschlagen, Compiler-Warnungen f\u00fcr alle arithmetischen Operationen mit Zeigern auszugeben. Diese \u00e4hneln den Warnungen des Linters clang-tidy, die bei Verwendung des Flags \u201ecppcoreguidelines-pro-bounds-pointer-arithmetic\u201c ausgegeben werden, dessen Unterst\u00fctzung in der LLVM 16 Version erscheinen wird. Um solche Warnungen in Clang zu aktivieren, wird ein separates Flag hinzugef\u00fcgt, das standardm\u00e4\u00dfig nicht aktiviert ist. <\/p>\n
In libc++ wird ein optionaler Modus f\u00fcr verbesserte Sicherheit geplant, bei dem w\u00e4hrend der Ausf\u00fchrung bestimmte Situationen erfasst werden, die zu undefiniertem Verhalten f\u00fchren k\u00f6nnen. Beispielsweise wird in den Klassen std::span und std::vector der Zugriff au\u00dferhalb des zugewiesenen Speicherbereichs \u00fcberwacht. Wenn dieser erkannt wird, wird die Anwendung beendet. Die Entwickler sind der Meinung, dass solche \u00c4nderungen die Konformit\u00e4t von libc++ mit den C++-Standards wahren, da die Wahl der Handhabung von undefiniertem Verhalten bei den Bibliotheksentwicklern liegt, die dies unter anderem als einen Fehler interpretieren k\u00f6nnen, der die Beendigung des Programms erfordert. <\/p>\n
W\u00e4hrend der \u00dcberpr\u00fcfung in libc++ geplante Tests werden in Kategorien unterteilt, die einzeln aktiviert werden k\u00f6nnen. Einige der vorgeschlagenen Pr\u00fcfungen, die keine Komplikationen oder Ver\u00e4nderungen der ABI verursachen, sind bereits im Rahmen des sicheren Modus von libc++ implementiert. <\/p>\n
Zus\u00e4tzlich ist geplant, ein Toolset zur Anpassung des Codes zu entwickeln, das es erm\u00f6glicht, Variablen mit rohen Zeigern durch Container zu ersetzen und alternative Handler in Situationen anzuwenden, in denen ein Container den Zeiger nicht direkt ersetzen kann (zum Beispiel kann die Konstruktion \u201eif(array_pointer)\u201c in \u201eif(span.data()\u201c umgewandelt werden). Anpassungen k\u00f6nnen nicht nur auf lokale Variablen, sondern auch auf Typparameter mit Zeigern angewendet werden. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"