Re: [Xen-devel] [PATCH 2/3] Add a weekly coverity flight

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Wed, 2016-02-03 at 09:46 +0000, Ian Campbell wrote:
>Â[...]
> +sub build () {
> +ÂÂÂÂmy $make = "make $makeflags";
> +
> +ÂÂÂÂ# Pre build things we don't want coverity to scan, but which are
> +ÂÂÂÂ# normally built by some other command.
> +ÂÂÂÂtarget_cmd_build($ho, 1000, $builddir, <<END);
> +cd $builddir/xen
> +./configure
> +$make -C tools/firmware/etherboot all
> +$make mini-os-dir
> +END
> +
> +ÂÂÂÂ# Now the stuff we want coverity to look at
> +ÂÂÂÂtarget_cmd_build($ho, 9000, $builddir, <<END);
> +cd $builddir/xen
> +export PATH=$builddir/covtools/bin:\$PATH
> +cov-build --dir cov-int $make -C extras/mini-os/
> +cov-build --dir cov-int $make xen tools

This omits building stubdom, which Andy's original script also did.

However stubdom exists as a category in the scan webui and there have
previously been results for stubdoms.

Andy, I presume you deliberately started excluding stubdoms at some point?
I think this is probably the right thing to do, at least for now, since
stubdoms run with guest privileges so aren't hugely interesting, plus they
include an awful lot of third party code which we don't want to be
scanning+triaging (especially given how out of date some of the code is).

Ian.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel