Le 12/06/2016 19:59, Jean-Marc Lasgouttes a écrit :
Le 12/06/2016 20:53, Richard Heck a écrit :
I don't think we have a definite policy, but it would be a good sort of
comment to have.
Coverity seems to want the comment right before the code it complains
about, though, so I'm not sure this can be done ahead of time.
We can also provide models to coverity, which are skeleton versions of
the functions we use in which some properties can be given.
Hmm, How vague is that? As you can tell, I am not sure how we can use
this feature.
At least for what I was thinking about, it seems that Coverity does not
raise a false positive, so no special annotation needed.
