Update Coverity settings