I've got a partially-complete blog post about what "MISRA Rust" would look like (based on MISRA C rules). A surprisingly small amount is relevant. That's a far smaller undertaking, but I found it to be encouraging. There are entire classes of considerations you can dispense with entirely due to how the Rust language works. That gives me hope that this work would be smaller in scope than trying to do many other languages.
We'd be super interested in talking and giving feedback on the draft! If you are interested, feel free to get in touch somewhere, preferably on [email protected]?
> There are entire classes of considerations you can dispense with entirely due to how the Rust language works.
That sounds like it would still be necessary to standardize, specify and prove a lot about Rust and its compiler, to exploit those facets of Rusts' behaviour?
