Re: scan.coverity.com