exponenta event banner

MISRA C:2012 Dir 4.1

Отказы во время работы должны быть минимизированы

Описание

Определение директивы

Отказы во время работы должны быть минимизированы.

Объяснение

К числу областей, на которых следует сосредоточить внимание, относятся:

  • Арифметические ошибки

  • Арифметика указателя

  • Ошибки привязки массива

  • Параметры функции

  • Обособление указателя

  • Динамическая память

Внедрение Polyspace

Эта директива проверяется с помощью анализа Polyspace ®. Дополнительные сведения см. в разделе:

Polyspace Bug Finder™ и Polyspace Code Prover™ проверки этого правила кодирования по-разному. Анализ может дать различные результаты.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Проверить информацию

Группа: Дизайн кода
Категория: Обязательно
Категория СМЖЛ: требуется
Представлен в R2014b