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

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 https://github.com/PolySync/misra-rust [1] https://news.ycombinator.com/item?id=32237780 https://news.ycombinator.com/item?id=32237780 [2] https://news.ycombinator.com/item?id=30174827 https://news.ycombinator.com/item?id=30174827