Wow, Awesome! Its web page told me that don't write code without it. On Sep 16, 2013 11:36 PM, "Jan Friesse" <[email protected]> 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" <[email protected]> wrote: > > > >> Also cov directory is removed and make clean is executed. > >> > >> Signed-off-by: Jan Friesse <[email protected]> > >> --- > >> 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 > >> [email protected] > >> http://lists.corosync.org/mailman/listinfo/discuss > >> > > > >
_______________________________________________ discuss mailing list [email protected] http://lists.corosync.org/mailman/listinfo/discuss
