Re: [PATCH 1/8] Make coverity target a little more strict

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Jason,
actually, it's not that hot. I mean, there are lot of false positives,
but it's still better then nothing and it's really able to find out some
otherwise very hard to find bugs. They also have "free" version for
opensource projects on https://scan.coverity.com/.

Regards,
  Honza

jason napsal(a):
> Wow, Awesome! Its web page told me that don't write code without it.
> On Sep 16, 2013 11:36 PM, "Jan Friesse" <jfriesse@xxxxxxxxxx> wrote:
> 
>> Jason,
>> http://www.coverity.com/. But please keep in mind that it's paid product.
>>
>> Regards,
>>   Honza
>>
>> jason napsal(a):
>>> Hi Honza,
>>> Could you please point me where I can get coverity tool? Thanks.
>>> On Sep 16, 2013 8:42 PM, "Jan Friesse" <jfriesse@xxxxxxxxxx> wrote:
>>>
>>>> Also cov directory is removed and make clean is executed.
>>>>
>>>> Signed-off-by: Jan Friesse <jfriesse@xxxxxxxxxx>
>>>> ---
>>>>  Makefile.am |    8 +++++++-
>>>>  1 files changed, 7 insertions(+), 1 deletions(-)
>>>>
>>>> diff --git a/Makefile.am b/Makefile.am
>>>> index 315bbaa..aed6fc5 100644
>>>> --- a/Makefile.am
>>>> +++ b/Makefile.am
>>>> @@ -58,8 +58,14 @@ SUBDIRS                      = include lcr lib exec
>>>> services tools test pkgconfig \
>>>>                           man init conf
>>>>
>>>>  coverity:
>>>> +       rm -rf cov
>>>> +       make clean
>>>>         cov-build --dir=cov make
>>>> -       cov-analyze --dir cov
>>>> +       cov-analyze --dir cov \
>>>> +           --concurrency \
>>>> +           -co BAD_FREE:allow_first_field:true \
>>>> +           --security \
>>>> +           --wait-for-license
>>>>         cov-format-errors --dir cov
>>>>
>>>>  install-exec-local:
>>>> --
>>>> 1.7.1
>>>>
>>>> _______________________________________________
>>>> discuss mailing list
>>>> discuss@xxxxxxxxxxxx
>>>> http://lists.corosync.org/mailman/listinfo/discuss
>>>>
>>>
>>
>>
> 

_______________________________________________
discuss mailing list
discuss@xxxxxxxxxxxx
http://lists.corosync.org/mailman/listinfo/discuss




[Index of Archives]     [Linux Clusters]     [Corosync Project]     [Linux USB Devel]     [Linux Audio Users]     [Photo]     [Yosemite News]    [Yosemite Photos]    [Linux Kernel]     [Linux SCSI]     [X.Org]

  Powered by Linux