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

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 03/02/16 10:19, Ian Campbell wrote:
> 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).

Correct.  That is precisely why I prevented stubdom and etherboot from
being scanned.

~Andrew

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