[comp.prog] Ссылки от читателей: анализаторы C++ кода

Сегодня ссылки на различные анализаторы C++ кода, которые собрал и которыми любезно поделился ув.тов.Quaker. За что ему больше спасибо.

CppCheck – бесплатный статический анализатор C/C++ кода.

PVS-Studio – инструмент для проверки 64-битных и параллельных программ от российской компании “СиПроВер” (включает в себя инструменты Viva64 и VivaMP).

PolySpace – инструменты для верификации C/C++ и Ada кода от MathWorks.

Parasoft C++ Test – инструмент для статического анализа С++ кода, проведения code review, автоматического unit- и component-тестирования, определения степени покрытия тестами и регрессионного тестирования.

Parasoft Insure++ – инструмент для поиска run-time ошибок при работе с памятью.

PC-lint for C/C++ и FlexeLint for C/C++ от Gimpel Software -- статические анализаторы кода для C/C++.

Daikon – бесплатный инструмент для динамической проверки инвариантов в программе.

Frama-C – бесплатный инструмент для анализа C-шного кода с возможностями его проверки на соответствие формальным спецификациям.

От себя добавлю еще ссылочку на каталог подобных продуктов в Wikipedia.