Coverity integration #1