coverity defects