3 ms·
I looked into MISRA specifically for my previous job and Rust effectively complies with most of it out of the box, and what's left is either inapplicable or not
by howenterprisey 2y ago
I looked into MISRA specifically for my previous job and Rust effectively complies with most of it out of the box, and what's left is either inapplicable or not difficult to catch with further tooling.
- nextaccountic 2y ago> further tooling. Just a heads up, Rust does have further tooling. I wish they were more widely used Here are three of them https://github.com/creusot-rs/creusot https://github.com/creusot-rs/creusot https://viperproject.github.io/prusti-dev/user-guide/ https://viperproject.github.io/prusti-dev/user-guide/ https://model-checking.github.io/kani/ https://model-checking.github.io/kani/