Formal bewiesen: Rust kann seine Sicherheits-Versprechen halten
"Rust war für mich spannend, da ein sehr verlockendes Versprechen dahintersteckt: Eine Programmiersprache zu sein, die genauste Kontrolle über die Speichernutzung und Ressourcenverteilung eines Systems ermöglicht, während sie gleichzeitig viele weit verbreitete Programmierfehler automatisch verhindert", erklärte Ralf Jung, der die Sprache im Rahmen seiner Dissertation tiefergehend analysierte.
Nicht nur Theorie
Mit der Doktorarbeit konnte er den ersten formalen Beweis vorlegen, dass die Sicherheitsversprechen Rusts tatsächlich zutreffend sind. Relativ einfach ist dabei die Wahrung der Sicherheit, wenn sich der Programmierer an die relevanten Vorgaben hält. Allerdings bietet Rust auch die Möglichkeit, dass ein Entwickler seinen Code als unsicher kennzeichnet. Dann können auch Methoden genutzt werden, die den Security-Paradigmen der Sprache widersprechen. Selbst dann werden die Sicherheitsversprechen aber eingehalten, wie die Beweise Jungs zutage förderten.Der Informatiker hat seinen Beweis unter dem Namen RustBelt veröffentlicht. Zusätzlich bietet er auch ein Tool namens Miri an, mit dem sich Code darauf prüfen lässt, ob er die Spezifikationen Rusts einhält. "Während RustBelt vor allem in akademischer Hinsicht ein großer Erfolg war, ist Miri bereits in der Industrie als Werkzeug für Sicherheitstests von in Rust geschriebenen Programmen etabliert", erklärte Jung. Für seine Arbeit hat der Wissenschaftler inzwischen weltweit eine ganze Reihe von Ehrungen eingefahren.
Siehe auch:
Thema:
Beliebte Downloads
Jetzt als Amazon Blitzangebot
Ab 06:35 Uhr YV 520mb/s USB Sticks
Original Amazon-Preis
39,99 €
Blitzangebot-Preis
31,99 €
Ersparnis zu Amazon 20% oder 8 €
Beliebt im Preisvergleich
- Programmierung:
Neue Nachrichten
Beliebte Nachrichten
Videos
Christian Kahle
Redakteur bei WinFuture
Ich empfehle ...
Meist kommentierte Nachrichten
Forum
-
10 oder 11?
Gregor54 - gerade eben -
KDE, GNOME, XFCE, LXQT, oder LXDE
was setzt ihr ein?KDE, GNOME, XFC
Gregor54 - vor 1 Stunde -
Win 10 neu aufsetzen mit altem Key
Doodle - Gestern 13:02 Uhr -
Winfuture.de - Song Of The Day Pt. 4
Reteibeg - Gestern 12:03 Uhr -
marimo: open-source reactive notebook für Python (wie Jupyter NB)
el_pelajo - Gestern 11:37 Uhr
❤ WinFuture unterstützen
Sie wollen online einkaufen?
Dann nutzen Sie bitte einen der folgenden Links,
um WinFuture zu unterstützen:
Vielen Dank!
Alle Kommentare zu dieser News anzeigen