First attempt at Coverity integration