На прошедшей конференции QuakeCon 2011 Джон Кармак (сооснователь и технический директор Id Software) рассказывал о его опыте применения статических анализаторов кода на примере трех инструментов: Gimpel Software PC-lint, Microsoft /analyze и нашего PVS-Studio.
Смотрите видео рассказа на Youtube.
Ранее в своем твиттере Кармак положительно отзывался о PVS-Studio:
Visual Studio C/C++ Programmers should try PVS-Studio. Painless demo download. You will find bugs. www.viva64.com.