Formal bewiesen: Rust kann seine Sicherheits-Versprechen halten
der Artikel ist nicht eindeutig formuliert, was Beweise der unsicheren Konstrukte betrifft. in der Dissertation steht, dass das Rust Standard Library verifiziert wurde, samt allem unsafe darin. Das bedeutet, dass diese spezifischen unsafe Blöcke bewiesenermaßen niemals die Garantien von Safe Rust verletzen oder unterwandern.
Miri ist ein sinnvolles Werkzeug, um dies bei seinen eigenen unsafe Blöcken zu prüfen.
Kommentare
1
Kommentare
geschrieben
0
Antworten
erhalten
0
Likes
erhalten
Formal bewiesen: Rust kann seine Sicherheits-Versprechen halten
der Artikel ist nicht eindeutig formuliert, was Beweise der unsicheren Konstrukte betrifft. in der Dissertation steht, dass das Rust Standard Library verifiziert wurde, samt allem unsafe darin. Das bedeutet, dass diese spezifischen unsafe Blöcke bewiesenermaßen niemals die Garantien von Safe Rust verletzen oder unterwandern.
Miri ist ein sinnvolles Werkzeug, um dies bei seinen eigenen unsafe Blöcken zu prüfen.