Certification is already in the works afaik. This [0] is also interesting, a check how much MISRA checking can be removed because the rust compiler already does a similar check.

Ah. Found it, [1][2]

[0] https://github.com/PolySync/misra-rust

[1] https://news.ycombinator.com/item?id=32237780

[2] https://news.ycombinator.com/item?id=30174827