News for hackers. Stuff that matters.

A comment on Rust is rolling off the Volvo assembly line. Parent comment

Re:Rust is rolling off the Volvo assembly line by howenterprisey on Monday October 07, 2024 @10:29PM (#41773285)
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.
[ Parent | on HN ]
Re:Rust is rolling off the Volvo assembly line by nextaccountic on Monday October 07, 2024 @10:42PM (#41773363)
> 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://viperproject.github.io/prusti-dev/user-guide/

https://model-checking.github.io/kani/

[ Parent | on HN ]