Rust Unsafe Code Review: Invariants, Tests, and Documentation

Uma sessão prática de duas horas sobre Revisão de Código Unsafe em Rust, focada em Invariantes, Testes e Documentação. Rust é usado como contexto de implementação, enquanto a lição principal permanece nos fundamentos de engenharia de software, confiabilidade, testes e clareza operacional.

Público-alvo: desenvolvedores de nível iniciante e intermediário que desejam uma sessão de engenharia prática, não um tour pela linguagem.

Resultados:

• Explicar os limites práticos da Revisão de Código Unsafe em Rust
• Aplicar Invariantes em um pequeno exemplo prático
• Aplicar Testes em um pequeno exemplo prático
• Aplicar Documentação em um pequeno exemplo prático

Formato: duas horas com uma breve explicação introdutória, um exemplo concreto, discussão de trade-offs e uma lista de verificação final para prática.