Boas Práticas de Rust Inseguro

Como Usar Esta Lista

• Padrão: sem unsafe novo. Requer revisão de design + plano Miri.
• Inventariar todo unsafe no repositório trimestralmente.

A - Quando Usar

• Tentar refatoração segura primeiro. Índices, split_at_mut, APIs std.
• Usar crates estabelecidos (bytes, zerocopy) antes de unsafe customizado. Testados em batalha.
• Isolar FFI em módulos dedicados. Superfície de auditoria única.
• Documentar invariantes em cada unsafe fn e bloco. Seção # Safety.
• Preferir tipos wrapper seguros em vez de pub unsafe fn. Mais difícil de usar incorretamente.

B - Correção

• Executar cargo miri test em nightly para mudanças unsafe. Trabalho agendado no CI.
• Nunca desreferenciar ponteiros brutos nulos ou pendentes. Verificações de validade.
• Inicializar memória antes de ler (MaybeUninit). Sem assume_init prematuro.
• Usar repr(C) apenas com layout documentado para FFI. cbindgen/bindgen.
• Capturar panics na fronteira FFI (catch_unwind). Não descompactar para C.

C - Processo

• Revisão de código obrigatória por um segundo revisor com conhecimento de unsafe. Sem merge solo.
• Manter blocos unsafe mínimos - uma linha, se possível. Escopo estreito.
• Rastrear unsafe em ADR quando for arquitetural. Mantenedores futuros.
• Fuzzizar parsers usando buffers unsafe. cargo-fuzz para entradas.
• Negar unsafe em código de aplicação se a política permitir - apenas no limite do crate.

D - Ferramentas

• Habilitar clippy pedantic em módulos unsafe. Lints extras.
• ASan/TSan para builds mistos Rust/C. Testes de linkage nativo.
• Evitar static mut - usar OnceLock, atômicos, mutex. Orientação Rust 2024.
• Auditar uso de transmute, from_raw_parts, unchecked. APIs de alto risco.
• Re-executar Miri após atualizações de dependência que tocam em unsafe.

FAQs

Relacionados

• Noções Básicas de Unsafe
• Miri & Sanitizers
• Abstrações Sólidas sobre Unsafe
• Boas Práticas de FFI de Sistemas

Versões da Pilha: Esta página foi escrita para Rust 1.97.0 (edição 2024), Tokio 1.x, Axum 0.8, serde 1.0, sqlx 0.8, clap 4 e Polars 0.46+.