ffinder
вся проблема в времени компиляции, на полный анализ среднего проекта в 400 кб исходников может уйти до минуты времени, это при компиляции в 10-20 секунд, большие проекты могут делать ребилд за 20-30 минут, анализ будет длится еще дольше
h1dd3n
PREfast не пытался использовать, встроенный анализатор не имеет своего гуи и пишет ошибки прямо в текстовый лог, сравнивать не с чем
в статье предлагают использовать PREfast for Drivers, должно быть там намного тщательнее проверяют код
надо бы еще пару анализаторов попытатся использовать