On Aug 4, 2007, at 6:26 PM, Boyd Waters wrote:
Mozilla developers this week:
Has anyone pointed this tool at WebKit?
Yes. It found some minor bugs in the past, but no crashes or potential
security issues. We've got some bugs in bugzilla on it and we're
continuing to run the tool.
webkit-dev mailing list