zeroize: possible UB in `Zeroize` implementation for `Option<T>`

Offen

#653 erstellt am 05.11.2021 3 Kommentare 2 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 35/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: rust
Bereich: security

Rechercherichtung

Beginne in zeroize/src/lib.rs ungefähr bei Zeile 330 und reproduziere das gemeldete Verhalten mithilfe des verlinkten Rust Playground- oder Miri-Beispiels. Ermittle einen sounden Ansatz für die Option-Implementierung und verifiziere, dass das resultierende Verhalten den gemeldeten Fehler aufgrund von undefiniertem Verhalten nicht mehr auslöst.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Originally filed by @jessa0 as https://github.com/iqlusioninc/crates/issues/782:

It seems the Zeroize implementation for Option<T> where T: Zeroize has language-level UB here:

https://github.com/RustCrypto/utils/blob/00b569b52b6dece2a8ae881f8e5a150a45ccc674/zeroize/src/lib.rs#L330

I believe, as a repr(Rust) enum, the memory layout and set of valid bit-patterns for Option is not defined, and that setting an enum's storage to an invalid bit-pattern while a reference to it exists, even if the value is never read, is instant language-level UB. The documentation for Option does mention guarantees for several special cases, but the None case still isn't defined for many of those cases, and the Zeroize implementation is more generic than that. Here's an example of a miri error in such a situation, that scottmcm came up with on URLO here.

Vorherrschende Sprache: Rust
Sterne: 674
Forks: 170
Ø Merge: 1 T. 12 Std.
Gemergte PRs (30 T.): 10

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus RustCrypto/utils

GHSA-3rjw-m598-pq24 missing from the Rustsec Advisory DB Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100

RustCrypto/utils#1546 · 1 Kommentar · Erstellt am 22.9.2026
cpufeatures: add support for s390x Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

RustCrypto/utils#1537 · 7 Kommentare · Erstellt am 13.9.2026
cpufeatures: use `is_*_feature_detected!` on targets with `std`? Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

RustCrypto/utils#1534 · 2 Kommentare · Erstellt am 09.9.2026
cpufeatures: `cfg_select!`-like macro Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 45/100

RustCrypto/utils#1529 · 4 Kommentare · Erstellt am 07.9.2026
x86: guard CPUID leaf 7 by the maximum basic leaf; AVX detection may need XMM+YMM XCR0 state Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

RustCrypto/utils#1510 · 1 Kommentar · Erstellt am 26.7.2026

Alle Issues in RustCrypto/utils