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.

According to Common Weakness Enumeration, potential errors found by using this diagnostic are classified as CWE-676.


Bugs Found

Checked Projects
409
Collected Errors
14 072
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →
Accept