Coverity is no longer available for the project to use as a static analyser. John has investigated the clang static analyser and found it to be a suitable replacement, with a nice html output
We should try to set something up via jenkins that can be easily run. In particular we should aim to use this on 2.0 before the first release.