{"id":120678,"date":"2024-11-24T15:46:00","date_gmt":"2024-11-24T13:46:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust"},"modified":"2024-11-24T15:46:00","modified_gmt":"2024-11-24T13:46:00","slug":"inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Initiative zur Verifizierung der Standardbibliothek von Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Amazon und die Rust Foundation haben eine Initiative vorgestellt, die darauf abzielt, die Sicherheit der Standardbibliothek der Programmiersprache Rust zu erh\u00f6hen. Ziel ist die \u00dcberpr\u00fcfung der Zuverl\u00e4ssigkeit und Sicherheit von Funktionen, in denen das Schl\u00fcsselwort \"unsafe\" verwendet wird, das Operationen zul\u00e4sst, die unsicher mit dem Speicher umgehen, wie das Dereferenzieren von Zeigern, das \u00c4ndern von statischen Variablen und den Zugriff auf externe Bibliotheken in C\/C++. Aktuell umfasst die Standardbibliothek von Rust etwa 35.000 Funktionen, von denen in 7.500 Codebl\u00f6cke ausgef\u00fchrt werden, die im Kontext von \"unsafe\" stehen. In den letzten drei Jahren wurden in der Bibliothek 57 Probleme mit der Funktionsweise festgestellt, von denen 20 als Schwachstellen gekennzeichnet wurden. <\/p>\n
Die Arbeit an der \u00dcberpr\u00fcfung der Bibliothek wird in Form eines Wettbewerbs organisiert, bei dem den Teilnehmern verschiedene Aufgaben angeboten werden, die sich mit der Durchf\u00fchrung bestimmter Tests zur Best\u00e4tigung der sicheren Arbeit mit dem Speicher von Rust-Bibliotheken oder mit der Entwicklung von Werkzeugen zur Automatisierung solcher Tests befassen. Das erfolgreiche Erreichen des Pr\u00fcfungsziels (Bereitstellung eines formalen Nachweises der Zuverl\u00e4ssigkeit) sieht die Zahlung einer Belohnung vor. F\u00fcr Experimente und die Ver\u00f6ffentlichung von Arbeitsergebnissen wurde ein Repository erstellt, das einen Fork des Standard-Repositories von Rust darstellt. <\/p>\n
Derzeit sind 13 Aufgaben zur L\u00f6sung vorgeschlagen. Beispielsweise wird in einer Aufgabe angeboten, die Sicherheit der Arbeit mit raw-Pointern in Funktionen des Moduls core::ptr sicherzustellen und einen formalen Nachweis der Korrektheit der Operationen mit Zeigern vorzulegen. Zur Verifizierung k\u00f6nnen bestehende Werkzeuge wie Aeneas, Kani, Gillian, Verus und Creusot verwendet oder neue vorgeschlagen werden. Beispiele f\u00fcr gel\u00f6ste Aufgaben. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"