enhancements of automated coverity checks