Исходное сообщение
"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." Отправлено коксюзер, 18-Июн-11 06:03
> такие правила кстати и для ц есть Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в 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 Комментарии излишни.