coverity analysis docker