Coverity Scan

[Jens Geyer]

Hi *,

I know we have some Travis users around. I recently found this 
https://scan.coverity.com/ and it sounds interesting to me. Does anyone use 
that already and/or has plans to check this out in near future?

Regards,
JensG