Coverity Static Analysis поддерживает аннотации исходного кода.Они описаны в руководстве - поскольку я не знаю, какую версию вы используете, я не могу точно сказать, какой раздел, но он находится в книге под названием «Справочник по проверке» в разделе «Модели и аннотации».