An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
Why do you think that https://github.com/tnballo/high-assurance-rust is a good alternative to misra-rust