adding coverity