Silencing false positives in Coverity Prevent
Asked Answered
M

1

4

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

Minetta answered 24/8, 2010 at 14:38 Comment(0)
W
4

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."

Wolfgram answered 25/8, 2010 at 17:32 Comment(0)

© 2022 - 2024 — McMap. All rights reserved.