Интересные проверки для анализа Си/Си++ кода?
Было нечто вроде такого:
char * pStr = "123";
if (something)
{
  pStr = new char[8];
  sprintf(pStr, "123\n");
}
...
delete pStr;

Не знаю только, отлавливает ли PVS Studio подобное или нет.
Пару раз встречались ошибки из-за невидимых символов в строке. Появляются, например, если копипастить Serial number у сертификата из оснастки в windows.