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


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;
  • system.

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 C programs whenever a macro declaration with one of these names is detected.


Bugs Found

Checked Projects
364
Collected Errors
13 504