Honza,
Thanks for the detailed information.
On Sep 16, 2013 11:47 PM, "Jan Friesse" <jfriesse@xxxxxxxxxx> wrote:
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
