{"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\/news\/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 es, die Zuverl\u00e4ssigkeit und Sicherheit von Funktionen zu \u00fcberpr\u00fcfen, die das Schl\u00fcsselwort \"unsafe\" verwenden, das unsichere Operationen im Umgang mit Speicher erlaubt, wie das Dereferenzieren von Zeigern, das \u00c4ndern statischer Variablen und den Zugriff auf externe Bibliotheken in C\/C++. Es wird festgestellt, dass die Standardbibliothek von Rust derzeit etwa 35.000 Funktionen umfasst, von denen in 7.500 Codebl\u00f6cke vorkommen, die im Kontext von \"unsafe\" ausgef\u00fchrt werden. In den letzten drei Jahren wurden in der Bibliothek 57 Probleme mit der Funktionsweise festgestellt, von denen 20 als Sicherheitsanf\u00e4lligkeiten gekennzeichnet wurden. <\/p>\n
Die Arbeit zur \u00dcberpr\u00fcfung der Bibliothek erfolgt in Form eines Wettbewerbs, bei dem den Teilnehmern verschiedene Aufgaben angeboten werden, die sich mit der Durchf\u00fchrung bestimmter Pr\u00fcfungen zur Best\u00e4tigung der sicheren Arbeit mit dem Speicher von Rust-Bibliotheken oder der Entwicklung von Tools zur Automatisierung solcher Pr\u00fcfungen befassen. Der erfolgreiche Abschluss des Pr\u00fcfungsziels (Bereitstellung eines formalen Nachweises der Zuverl\u00e4ssigkeit) sieht eine Belohnung vor. Ein Repository, das eine Abspaltung des Standard-Rust-Repositories darstellt, wurde eingerichtet, um Experimente durchzuf\u00fchren und die Ergebnisse zu ver\u00f6ffentlichen. <\/p>\n
Derzeit wurden 13 Aufgaben zur L\u00f6sung vorgeschlagen. Zum Beispiel wird in einer der Aufgaben gefordert, die Sicherheit der Arbeit mit Raw-Zeigern in den Funktionen des Moduls core::ptr zu \u00fcberpr\u00fcfen und einen formalen Nachweis der Korrektheit der Operationen mit Zeigern zu erbringen. Zur Verifikation k\u00f6nnen bestehende Werkzeuge wie Aeneas, Kani, Gillian, Verus und Creusot verwendet werden, oder es k\u00f6nnen neue vorgeschlagen werden. Beispiele f\u00fcr ausgef\u00fchrte Aufgaben. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"