> такие правила кстати и для ц естьДаже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в Ada - часть стандарта и реализованы во всех компиляторах.
> http://www.iar.com/website1/1.0.1.0/474/1/
...
Some rules, however, can't be checked automatically.
...
For example, MISRA C rule 118 forbids the use of dynamically allocated memory, rule 101 specifies that the use of pointer arithmetics is prohibited, and rule 102 says that no more than 2 levels of pointer indirection should be used.
...
Rule 23 (advisory): All declarations at file scope should be static where possible
Комментарии излишни.