Господа, а расскажите, что это за зверь - Coverity Prevent? И что вообще такое "программный инструмент проверки кода"? Ошибки какого рода он находит и каким образом? Что для него вообще является "ошибкой в коде"?
Может, он и программы сам писать умеет?