Coverty-scan integration