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.
This diagnostic is classified as:
|