@r3g_5z @tek #MISRAc is still substandard though. The TL;DR: 27 out of 143 rules cannot be reliably enforced, which means developers are bogged down with false warnings. /cc @JoYo
@r3g_5z @tek Okay but we can do better than a dev promising to be disciplined, or even a coding standard & diligent reviews. There are different flavors of C, some of which involve rules & standards that eliminate ambiguity & compilers doing what they feel like. MISRA-C (#MISRAc) comes to mind, though I don’t know much about it. I’m sure it’s still a big compromise compared to #Ada.
heise-Angebot: Bereit für C++20: betterCode() bietet Praxistag und Crashkurs zum C++-Standard

Am 21. Januar findet die Online-Konferenz zum neuen C++-Standard statt, ergänzend gibt es einen Crashkurs und einen Praxistag – nun auch mit Zusatztermin.
Bereit für C++20: betterCode() bietet Praxistag und Crashkurs zum C++-Standard
Bereit für C++20: betterCode() bietet Praxistag und Crashkurs zum C++-Standard

Am 21. Januar findet die Online-Konferenz zum neuen C++-Standard statt, ergänzend gibt es einen Crashkurs und einen Praxistag – nun auch mit Zusatztermin.

Mit den Programmierrichtlinien MISRA-C++:2020 erhalten Entwickler ein Werkzeug, das sie auf dem Weg der sicheren Programmierung mit C++20 unterstützt.
MISRA-C++ bietet Richlinien und Konformität auch für neuen Sprachstandard C++20
MISRA-C++ bietet Richlinien und Konformität auch für neuen Sprachstandard C++20

Mit den Programmierrichtlinien MISRA-C++:2020 erhalten Entwickler ein Werkzeug, das sie auf dem Weg der sicheren Programmierung mit C++20 unterstützt.

RT @[email protected]

Download this free book to learn about #SPARKAda, a programming language & toolsuite that brings mathmatics-based confidence to #softwareverification. The book presents SPARK Ada from a #MISRAC developer's perspective. #formalmethods #Adaprogramming
https://www.adacore.com/books/spark-ada-for-misra-c-developer

🐦🔗: https://twitter.com/AdaCoreCompany/status/1298598432748208128

SPARK Ada for the MISRA C Developer

Take a look at the SPARK subset of Ada and its supporting tools through an example-driven comparison with the rules in the widely known MISRA C subset.

#MISRAC 2012 Referenceに掲載している文献の入手可能性を確認するための記録 #Clang https://researchmap.jp/jo7godl26-1797580/#_1797580