On 06/12/2016 02:59 PM, Jean-Marc Lasgouttes wrote:
> 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.
I'm not sure how useful this is to us, but:
*https://scan.coverity.com/tune
Richard
*
