...
Compilers and source code analysis tools are trusted processes, meaning that a degree of reliance is placed on the output of the tools. Consequently, developers must ensure that this trust is not misplaced. Ideally, this trust should be achieved by the tool supplier running appropriate validation tests. Although it is possible to use a validation suite to test a compiler or source code analysis tools, no formal validation scheme exists at this time.
...
Although many guidelines list common exceptions, it is difficult if not impossible to develop a complete list of exceptions for each guideline. Consequently, it is important that source code comply with the intent of each guideline and that tools, to the greatest extent possible, tools minimize false positives that do not violate the intent of the guideline. The degree to which tools minimize false-positive diagnostics is a quality-of-implementation issue.
...
Source Code Validation 00. Introduction 01. Preprocessor (PRE)