[webkit-dev] Pre-proposal: Adding a Coverity instance for WebKIt
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  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
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...
More information about the webkit-dev