What does HackerNews think of misra-rust?

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.

Language: Rust

Memory Safe Languages in Android 13 | Dec 2022
Expand Context ↕
This might be of interest https://github.com/PolySync/misra-rust
Volvo is using Rust for its in-vehicle software | Sep 2022
Expand Context ↕
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
Ferrocene: Rust toolchain to safety-critical environments | Jul 2022
Expand Context ↕
> There are huge swathes of MISRA which forbid things which not only aren't possible in Rust or SPARK

I can't vouch for its accuracy, but https://github.com/PolySync/misra-rust seems to very much agree with you.