MISRA C:2012 Dir 4.1

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

Описание

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

Эксплуатационные отказы должны быть сведены к минимуму.

Объяснение

Некоторые области, на которых необходимо сконцентрироваться, включают:

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

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

  • Ошибки, связанные с массивом

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

  • Разметка указателя

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

Реализация Polyspace

Эта директива проверяется через Polyspace® анализ. Для получения дополнительной информации смотрите:

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

Поиск и устранение проблем

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

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

Группа: Кодовые проекты
Категория: Требуемая
Категория AGC: Требуется
Введенный в R2014b