Hacker GitHub

← All repos

PolySync/misra-rust

View on GitHub ↗ ★ 134 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.

11 mentions on Hacker News by 6 people: 1 story, 10 comments · first 2019-10-13 · latest 2025-02-16

Mentions per year 11 mentions · busiest year 2022 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …are applicable to Rust /? Misra rust guidelines: - This is a different MISRA C for Rust project: https://github.com/PolySync/misra-rust - "Bringing Rust to Safety-Critical Systems in Space" (2024) https://arxiv.org/abs/2405.18135v1 ... >…
    comment by westurner · 2025-02-16 · in NASA has a list of 10 rules for software development
  2. You might also want to check out this comparison of MISRA's rules against idiomatic Rust code: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...
    comment by estebank · 2024-10-08 · in Rust is rolling off the Volvo assembly line
  3. See also https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...
    comment by steveklabnik · 2024-05-30 · in Bringing Rust to Safety-Critical Systems in Space
  4. …There are no restrictions. Incidentally, someone has compared what MISRA does to what Rust does: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul... Given that they can't repeat the MISRA stuff there, it's a bit disjoined, but…
    comment by steveklabnik · 2024-02-28 · in United States White House Report on Memory Safe Programming [pdf]
  5. A fun github repo: "what would MISRA look like applied to Rust" https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul... (They're comparing with the C version, not the C++ version...)
    comment by steveklabnik · 2023-12-18 · in Misra C++:2023
  6. This might be of interest https://github.com/PolySync/misra-rust
    comment by estebank · 2022-12-01 · in Memory Safe Languages in Android 13
  7. …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
    comment by jeffreygoesto · 2022-09-24 · in Volvo is using Rust for its in-vehicle software
  8. …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.
    comment by steveklabnik · 2022-07-26 · in Ferrocene: Rust toolchain to safety-critical environments
  9. …might have also seen the AUTOSTAR Rust in Automotive Working Group announcement recently[2]. [1]: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul... [2]: for some reason the announcement was removed from the "News and events"…
    comment by estebank · 2022-03-28 · in High Assurance Rust: Developing Secure and Robust Software
  10. …of that space, PolySync has a project that has a look at MISRA rules from a Rust perspective. https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul... Ada is a good example here: the language has not evolved something like MISRA-C…
    comment by Argorak · 2022-02-02 · in AdaCore and Ferrous Systems Joining Forces to Support Rust
  11. ▲ 1
    Misra Rust
    story by Ygg2 · 2019-10-13 · 0 comments