Further Coverity info
James Hunt
james.hunt at ubuntu.com
Wed Apr 10 07:44:48 UTC 2013
On 09/04/13 22:28, Scott Ritchie wrote:
> On 4/9/13 7:34 AM, Allan LeSage wrote:
>> * As part of our Jenkins CI program, we're Coverity-scanning merge
>> proposals, and disapproving them upon finding a new defect:
>> https://code.launchpad.net/~mrazik/unico/coverity/+merge/156877 .
>
> As an upstream (wine) that uses Coverity, I'm curious how we can get this sort
> of feature in the free tier. From what I can tell Coverity just periodically
> scans our git tree periodically and produces a list of reports.
>
> We have a testbot that scans incoming patches (submitted via mailing list) to
> measure new defects: in Wine's case this is defined as tests that fail on one of
> the bot VMs, but if I could invoke coverity directly it could in principle scan
> an arbitrary patchset.
>
> Do I need to setup some elaborate system of making a new git branch with the
> incoming patch set and then automatically asking coverity to scan that branch? Or can it be manually invoked with arbitrary patches?
Yes - you can run it manually once you have a login...
Wine is already shown in the list of Coverity projects [1], so all you need to
do is:
- Request a login by mailing scan-admin at coverity.com and access to the Wine
Coverity project.
- Download the Coverity scan tool and run it across any version of the wine
codebase.
- Submit your "snapshot" (Coverity scan tool output) using [3] or [4].
- Login to http://scan5.coverity.com and view the results. Here's an example of
the web interface: http://ubuntuone.com/7Ufq2dHdgGVeqJ16ftqJk1
The first two steps are one-off activities of course. Note that the "snapshots"
can be any arbitrary version of wine - you differentiate them by adding a tag
and/or version on the upload page [3] or using the -b/-t coverity-scan options.
For example, here's how I might upload a scan of Upstart manually using [4]:
$ coverity-submit -t lp:upstart-20130410-foobar-baz.2 upstart
This will:
- clean the build tree
- run the build with Coverity
- upload the snapshot
You'll get a mail from Coverity once the scan is available (takes a few minutes
for me, although might take longer for Wine ;-).
If you have multiple versions/tags, when you login to http://scan5.coverity.com,
select the appropriate version from the Snapshots menu on the left.
Kind regards,
James.
[1] - http://scan.coverity.com/all-projects.html
[2] - http://scan.coverity.com/start/
[3] - http://scan.coverity.com/upload.html
[4] - http://www.catb.org/~esr/coverity-submit/
James Hunt
____________________________________
#upstart on freenode
http://upstart.ubuntu.com/cookbook
https://lists.ubuntu.com/mailman/listinfo/upstart-devel
More information about the ubuntu-devel
mailing list