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
