This diagnostic rule is based on the software development guidelines developed by AUTOSAR (AUTomotive Open System ARchitecture).
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(); } .... }
This diagnostic is classified as:
|