When choosing a compiler (which should be understood to include the linker), a ??? should be used whenever possible.When choosing a source code analysis tool, it is clearly desirable that the tool be able to enforce as many of the guidelines in this document as possible. Not all recommendations are enforceable; some are strictly meant to be informative.
...
The final possibility is that a tool has not implemented a checker for a specific guideline.
Compilers and source 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 should be achieved by the tool supplier running appropriate validation tests. While it is possible to use a validation suite to test a compiler or source code analysis toolstool, no formal validation scheme exists at this time.
...