Static analysis of Coverity supports source code annotations. They are described in the manual, since I do not know which version you are using. I can’t say for sure in which section, but in the book “Checking links” in the section “Models and annotations”.
source share