Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Silencing false positives in Coverity Prevent

I am using Coverity Prevent on a C++ project. Is there some way of flagging false positives directly in the source code?

like image 790
Magnus Andermo Avatar asked Sep 16 '25 08:09

Magnus Andermo


1 Answers

Coverity Static Analysis supports source code annotations. They are described in the manual - since I don't know what version you're using I can't tell you exactly what section but it's in the book called "Checker Reference" in a section on "Models and Annotations."

like image 167
Asya Kamsky Avatar answered Sep 17 '25 22:09

Asya Kamsky