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

Đang mở

#653 mở ngày 5/11/2021 3 bình luận 2 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó: 4/5
Thời gian dự kiến: 3-5 ngày
Mức phù hợp với người mới: 35/100

Loại issue: Lỗi
Độ rõ ràng: Khá rõ ràng
Mức độ hoạt động: Đình trệ
Công nghệ: rust
Lĩnh vực: security

Hướng nghiên cứu

Bắt đầu tại zeroize/src/lib.rs, khoảng dòng 330, và tái hiện hành vi đã được báo cáo bằng ví dụ Rust Playground hoặc Miri được liên kết. Xác định một cách tiếp cận đúng đắn cho việc triển khai Option và xác minh rằng hành vi thu được không còn kích hoạt lỗi hành vi không xác định đã được báo cáo.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

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.

Ngôn ngữ chính: Rust
Star: 674
Fork: 170
Merge trung bình: 1 ngày 12 giờ
Pull request đã merge (30 ngày): 10

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
Fork repository và làm thay đổi trên một nhánh.
Mở pull request có tham chiếu số hiệu của issue.

Issue khác của RustCrypto/utils

GHSA-3rjw-m598-pq24 missing from the Rustsec Advisory DB Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

RustCrypto/utils#1546 · 1 bình luận · Mở ngày 22/9/2026
cpufeatures: add support for s390x Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

RustCrypto/utils#1537 · 7 bình luận · Mở ngày 13/9/2026
cpufeatures: use `is_*_feature_detected!` on targets with `std`? Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

RustCrypto/utils#1534 · 2 bình luận · Mở ngày 9/9/2026
cpufeatures: `cfg_select!`-like macro Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

RustCrypto/utils#1529 · 4 bình luận · Mở ngày 7/9/2026
x86: guard CPUID leaf 7 by the maximum basic leaf; AVX detection may need XMM+YMM XCR0 state Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

RustCrypto/utils#1510 · 1 bình luận · Mở ngày 26/7/2026

Tất cả issue của RustCrypto/utils

Issue tương tự

[coverage-improver] Cover empty-artifact fallback root in build_plugin_plans Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

TheLarkInn/aipm#2413 · Mở ngày 24/9/2026
AGENTS.md points to src/settings_window.rs, src/config.rs, and src/app.rs, which were split into directories Đang mở

documentation

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100

alexgorbatchev/simple-ptt#15 · Mở ngày 24/9/2026
bench: run.sh's skip-update message always cites bench/skips.txt Đang mở

tooling

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

svandragt/vivace#313 · Mở ngày 24/9/2026
`t/vm/frames/light-call-frame-writes-dedup.t` wall-clock ratio check fails under `-j4` load Đang mở

todo:ticket

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100

tokuhirom/mutsu#9299 · Mở ngày 24/9/2026
fix(taiko-client-rs): prevent BeaconClient panic on zero beacon spec values Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

taikoxyz/taiko-mono#22168 · 1 bình luận · Mở ngày 24/9/2026

Thêm issue về Rust