Add coverity stuff.