Tu código Rust se compila, pasa pruebas y es UB – Simplemente no lo sabes

Al examinar un crate aleatorio de crates.io con Miri, la probabilidad de encontrar comportamiento indefinido en sus dependencias se acerca a la certeza. Este fenómeno plantea preguntas importantes sobre la procedencia de punteros, los Stacked Borrows y los Tree Borrows. Además, la historia del atributo noalias en LLVM, que se ha desactivado tres veces, añade otra capa de complejidad a la comprensión de las garantías de seguridad de Rust. Los desarrolladores a menudo asumen que su código es seguro simplemente porque se compila y pasa pruebas, pero la realidad es que problemas sutiles pueden llevar a un comportamiento impredecible. Este artículo profundiza en estos conceptos, iluminando cómo los desarrolladores pueden comprender mejor y mitigar los riesgos asociados con el comportamiento indefinido en sus aplicaciones Rust.