Coverity Scan added