MISRA C:2012 Rule 21.8

Стандартные функции библиотеки abort, exit, getnenv и system от <stdlib.h> не может использоваться

Описание

Определение правила

Стандартные функции библиотеки abort, exit, getnenv и system от <stdlib.h> не должны использоваться.

Объяснение

Использование этих функций может вызвать неопределенное и определенное реализацией поведение.

Реализация Polyspace

Polyspace® флаги использования abort, exit, _Exit, или quick_exit функции, которые определены в <stdlib.h>.

Если эти функции определены пользователем, Polyspace не помечает их.

Дополнительное сообщение в отчете

  • Макрос '< name > не должен использоваться.

  • Идентификатор XX не должен использоваться.

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

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

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

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