add coverity support