[webkit-dev] Pre-proposal: Adding a Coverity instance for WebKIt

Benjamin Poulain benjamin at webkit.org
Mon Sep 17 16:35:01 PDT 2012

On Mon, Sep 17, 2012 at 4:11 PM, James Hawkins <jhawkins at chromium.org>wrote:
> A few details:
>  * Google will front the cost of the license (non-zero...very far from
> zero) and the infrastructure.
> * I'd leave it up to the WebKit leadership to decide who has access (most
> likely limited to WebKit committers for security purposes).
> The biggest rationale is to provide a strong defect signal for the entire
> WebKit community, which would directly impact the success of all
> WebKit-based projects.  Coverity has provided free licenses for unsponsored
> (by larger corporations anyway) open-source projects; this has resulted in
> significant improvements [2] to the code bases of these projects, one of
> which I was directly involved with years ago (Wine).

I am a little skeptical of Coverity because of bad patches that originated
for its report (sometimes even discussed on webkit-dev). I think we should
keep in mind the tool also make many mistakes and we should not blindly
follows it.

Could this be integrated with the EWS like a kind of advanced "style
check"? Reporting possible improvements before patches lands would be more
useful than a separate bot.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20120917/1e8a43e5/attachment.html>

More information about the webkit-dev mailing list