Use when writing or reviewing C/C++ for automotive, aerospace, medical or other safety-critical systems that must comply with MISRA C:2012 or MISRA C++:2023. Covers the Top-k most-violated rules LLMs break, essential-type casts, boolean control expressions, and verification with static analyzers.
