Re: Yet more static analysis: Use Coverity?

[Vincent van Ravesteijn]

John McCabe-Dansted schreef:
I found the errors reported by cppcheck much easier to fix than bug
reports (e.g. generated by my keytest). For example:
    [./development/lyxserver/server_monitor.c:173]: (error) Memory
leak: pipename
This had the obvious solution of adding free(pipename) to line 173.
Convincing myself that this fix was correct wasn't quite so trivial,
but still much easier than tracing down the cause of a traditional bug
report.
Unfortunately the cppcheck didn't seem very powerful and only found
bugs in code that was virtually unused.

  
Fixes and bug reports are always welcome, but I'm afraid we just don't 
have time to fix everything.

Vincent