[webkit-dev] Eliminate potential null pointer dereference?

[Rachel Blum]

>
> If this issue was spotted by a static analyzer, it would be good to
> mention that in the ChangeLog too.
>

We (the static analysis loons ;) usually try to do that. (The log will
contain CID=xxxx to identify the Coverity ID, and most of the time a
[Coverity] tag).

The bug that David mentioned above got Coverity a lot more attention on the
Chromium team, and quite a few people started working with it, most likely
without knowing we do that.

I apologize I didn't clearly communicate that's a best practice when I
pointed people there. Updating our documentation as we speak.

Rachel


> Regards,
> Maciej
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20120420/96433637/attachment.html>