Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満足できる - 低レイヤ強くなりたい組込み屋さんのブログ

はじめに 2019/2/10追記 記事を書いてから気づいたのですが、正確には、Rustのアトリビュートをいくつか設定すれば、MISRA-Cのルールを90%満足できるでした。 私はMISRA-Cのコーディング規約でプログラミングしたことがないため、内容に誤りがありかもしれません。間違っている点があれば、ご指摘いただけるとありがたいです。 後、いつも通りですが、C言語を貶める意図は一切ありません。 昨日からtwitterで、Rustが組込みのセキュリティが重要な分野で広まると良いなぁ、という議論がありました。 その中で、車載では、やはりMISRA基準との関係が明確になること、ということが1つの基準になりそうでした。 github.com @hashaskell さんから、MISRAコーディングルールのうち、Rustコンパイラがアトリビュートの設定を含めて、保証するルールのリストを作成しているレ

[fa11enprince]

MISRA-Cは何が何でもreturnは最後以外には書いてはならず出口が１つというゴミ規約なので嫌い。。。15.5だった。と思ったら必須ではないんだな。。。

[strow0343]

MISRA-CはC言語のためのルールなので、Rustに適用させようとするのは違うのでは。後、MISRA-C遵守が必要になりそうな現場だと生ポインタ触ったりするのでunsafe地獄になりそう

[matsumoto_r]

この辺りがRustに注目してる理由のひとつだなぁ。Cで色々書いてきたけど、コンパイル通った後のバグ潰しとかがとても大変だったのでそこの生産性が上がると良いな

[umai_bow]

なおRustで普通にプログラミングするのがむずかしいもよう

[kogule]

Rust は魅力的なんだけど C の代替としては対応プラットフォーム／アーキテクチャが薄いのが気になる。とくに LLVM に起因するところは容易に解決しなさそうなんだよな。

[uzusayuu]

Rust覚えるべきか

[masterq]

Rustも良いのですが、ATSもよろしくお願いいたします! http://jats-ug.metasepi.org/

[loligothick]

興味深い

[mohno]

MISRAがやたらシンプルだな、と思ったけど、「MISRA-C:2012」なんてのが出てたのか。買っておくかなあ。コンパイラが警告してくれるものも多いけど（というか、そうでないものはむしろウザい）

[zyzy]

Rustは再帰禁止はちょっと色々と辛い気がする。

[el-condor]

Rustコンパイラが優秀なことは事実

[tinsep19]

MISRA-Cなんていう規格があるのか。こういう規格とツールの対応状況が一緒にあると品質管理しやすいのでいいなあ。

[natsutan]

面白い発想

[katsyoshi]

へえ