zeroize: possible UB in `Zeroize` implementation for `Option<T>`
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 35/100
Direção de pesquisa
Comece em zeroize/src/lib.rs, por volta da linha 330, e reproduza o comportamento relatado usando o exemplo vinculado do Rust Playground ou do Miri. Determine uma abordagem sólida para a implementação de Option e verifique se o comportamento resultante não aciona mais o erro de comportamento indefinido relatado.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
Originally filed by @jessa0 as https://github.com/iqlusioninc/crates/issues/782:
It seems the
Zeroizeimplementation forOption<T> where T: Zeroizehas language-level UB here:I believe, as a
repr(Rust)enum, the memory layout and set of valid bit-patterns forOptionis 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 forOptiondoes mention guarantees for several special cases, but theNonecase still isn't defined for many of those cases, and theZeroizeimplementation 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.
- Linguagem predominante
- Rust
- Estrelas
- 674
- Forks
- 170
- Merge médio
- 1d 12h
- PRs com merge (30d)
- 10
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de RustCrypto/utils
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
RustCrypto/utils#1546 · 1 comentário ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100
RustCrypto/utils#1537 · 7 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
RustCrypto/utils#1534 · 2 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 45/100
RustCrypto/utils#1529 · 4 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
RustCrypto/utils#1510 · 1 comentário ·
Todas as issues de RustCrypto/utils
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 88/100
-
bug core
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 86/100
-
JIT-compiled number -> Decimal conversion silently overflows instead of raising DECIMAL_OVERFLOW Abertafuzz
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
ClickHouse/ClickHouse#122114 ·
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 92/100
linebender/vello_svg#90 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 74/100