PVS-Studio можно месяц эксплуатировать (evalute), после требует обязательной регистрации.
На их сайте есть ключ на 5 дней, при котором работает проверка на 64-бит ошибки.
Запускал, время работы 25 минут:
ошибка одна
V004 Diagnostics from the 64-bit rule set are not entirely accurate without the appropriate 64-bit compiler. Consider utilizing 64-bit compiler if possible.
замечаний:
1 уровня 2026 (важные)
2 уровня 3109 (не очень важные)
3 уровня 3789 (совсем не важные)
, но много повторяющихся. Например,
снижение произволительности при вызовах константной процедуры Class->getSubclass()->.. подряд,
много сообщений про memsize type/ 32-bit type/вызове функций с аргументами memsize type
много сообщений про магические числа, особенно про 4, маски для AND =)
P.S. примеры расшифровки замечаний можно глянуть тут
http://habrahabr.ru/company/pvs-studio/blog/97751/