Стандартные функции библиотеки abort, exit, getnenv и system от <stdlib.h> не может использоваться
Стандартные функции библиотеки abort, exit, getnenv и system от <stdlib.h> не должны использоваться.
Использование этих функций может вызвать неопределенное и определенное реализацией поведение.
Polyspace® флаги использования abort, exit, _Exit, или quick_exit функции, которые определены в <stdlib.h>.
Если эти функции определены пользователем, Polyspace не помечает их.
Макрос '< name > не должен использоваться.
Идентификатор XX не должен использоваться.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
| Группа: Стандартные библиотеки |
| Категория: Требуемая |
| Категория AGC: Требуется |