По опыту, в PVS сравнительно больше проверок для выявление copy-paste ошибок.

Тем не менее, сам я пользуюсь Coverity Scan по ряду веских причин:

• доступен для OpenSource бесплатно и без танцев с бубном;
• есть workflow для сгенерированных предупреждений с хранением состояния в БД, тут стоит пояснить:
  
  • "fix submited" позволяет автоматически закрывать issue при их реальном исправлении.
  • предупреждения помеченные единожды как "false-positive" или "intentional" не будут больше мозолить глаза (но останутся в "облаке" и их можно пересмотреть).
  • игнорируемые предупреждения не будут всплывать в других проектах использующих этот (даже для git-subtree и амальгамированного кода).
• анализ и результаты в облаке с web-интерфейсом, что идеально для opensource.