Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
>
V2509. MISRA. The function with the...
menu mobile close menu
Analyzing projects
Additional information
toggle menu Contents

V2509. MISRA. The function with the 'abort/exit/getenv/system' name should not be used.

Jul 30 2026

This diagnostic rule is based on the software development guidelines developed by MISRA (Motor Industry Software Reliability Association).

The analyzer issues the warning when it detects the following functions: abort, exit, getenv, and system. If the project is checked for compliance with MISRA C++ 2023, the restriction applies only to the system function.

The behavior of these functions is implementation-dependent. Besides, using such functions as system may cause vulnerabilities.

Here is an example of code triggering this warning:

void Foo(FILE *pFile)
{
  if (pFile == NULL)
  {
    abort();
  }
  ....
}

The warning is also issued in programs whenever a macro declaration with one of these names is detected.

This diagnostic rule is classified as:

  • CWE-676
  • MISRA-C-2012-Rule-21.8
  • MISRA-C-2023-Rule-21.8
  • MISRA-CPP-2008-Rule-18.0.3
  • MISRA-CPP-2023-Rule-21.2.3