Un trabajo de investigación publicado en arXiv analiza de forma sistemática las 179 directrices de la guía MISRA C++ 2023 para evaluar su aplicabilidad al lenguaje de programación Rust, cada vez más considerado en el desarrollo de sistemas críticos para la seguridad. Los autores, encabezados por Marius Molz, examinan la razón de ser de cada regla y la clasifican en seis categorías según su traducción al ecosistema Rust. Los resultados muestran que el 47,75 % de las 111 reglas aplicables de forma directa ya se cumplen automáticamente por el diseño del lenguaje, sin necesidad de verificación explícita. De las 69 directrices que siguen siendo relevantes, 36 quedan garantizadas cuando el programador utiliza únicamente el subconjunto seguro de Rust, pero vuelven a ser necesarias en cuanto se introduce código unsafe. El estudio también identifica áreas específicas donde se necesitan nuevas guías propias para Rust y propone adaptaciones que preservan la intención original de la regla cuando la traducción literal no es posible. Todos los artefactos y tablas de mapeo se publican como material de código abierto en un repositorio de GitHub asociado al Embedded Software Laboratory. La investigación resulta relevante porque estándares como ISO 26262, diseñados para software embarcado en automoción y otros sectores críticos, exigen directrices de codificación que aún no existen formalmente para Rust. El mapeo facilitará la adopción regulada del lenguaje en entornos donde la certificación del código es un requisito previo a la puesta en producción.
Noticias agregadas con IA