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
