Или винды.
Имхо, MS будет считать Coverity Prevent вирусом и автоматически удалять из комьютера

.
Хорошая новость. Интересно, что появляются новые БД.
Все-таки informix/DB2/e.t.c. уже немного морально устарели...
Жаль, что таким пакетом нельзя проверить наличее логических / архитектурных ошибок, которые куда хуже просто кодерских.
______________________________
-"Посмотрите, пожалйста, где у меня ошибка?"
-"Хм. По всей видимости, в ДНК!"