Ситуации, когда может пригодиться статический анализатор кода

Перенос программы на другую систему

Как-то не согласуется с Вашими заявлениями, что статический анализатор будет только под M$Win и другие платформы Вы считаете бесперспективными.

об использовании устаревших и потому небезопасных функций

Очередное пришествие замечаний, что sprintf_s безопасней sprintf не нужно. И так приходится во всех проектах вставлять:

// compiler
#ifdef _MSC_VER
#   if (_MSC_VER > 1310) // VC8 (MSVC2005) and VC9 (MSVC2008)
#       ifndef _CRT_SECURE_NO_WARNINGS
#           define _CRT_SECURE_NO_WARNINGS
#       endif
#       ifndef _CRT_SECURE_NO_DEPRECATE
#           define _CRT_SECURE_NO_DEPRECATE
#       endif
#       ifndef _CRT_NON_CONFORMING_SWPRINTFS
#           define _CRT_NON_CONFORMING_SWPRINTFS
#       endif
#   endif
#endif
//------------------------------------------------------------------------------

P.S. Да и вообще, агрессивный PR Вашего анализатора, ИМХО, начинает немного, если не раздражать, то уже вызывает антипатию.

Странно, в посте не было ни одного упоминания о PVS.

Статическй анализ кода можно использовать и для обнаружения кода, нарушающего определенные лицензии.