The MISRA-Rust project represents 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.
Because of the proprietary nature of the MISRA-C specificaion, the description of each rule has been omitted.
Each rule corresponds to a source file in tests/compile-fail
. A "passing" test is a test that
fails to compile. Passing tests can indicate that Rust enforces a specific MISRA-C rule or that
the rule does have a Rust equivalent.
cargo test
We certainly want to hear if you think we've missed something or misrepresented a rule. Please raise an issue!
© 2018, PolySync Technologies, Inc.
- Shea Newton email
Please see the LICENSE file for more details