HLA-34: configured Coverity Scan