четверг, 3 декабря 2009 г.

[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.

4 комментария:

Dmitry Vyukov комментирует...

А как же Relacy Race Detector??? :)
http://groups.google.ru/group/relacy

Кстати с разработчиками VivaMP мы делали статью-интервью, посвящённую Relacy и VivaMP:
http://www.ddj.com/architect/216600202
http://www.viva64.com/content/articles/code-analyzers/?f=Vyukov_rus.html&lang=ru&content=code-analyzers&print=1

eao197 комментирует...

А я как акын -- что вижу, то и пою :) Какие были ссылки в комментарии Quaker-а, такие и опубликовал :)

Сейчас вот твои ссылки отдельным постом опубликую ;)

Сергей комментирует...

а почему нет Gimpel flexelint?

http://www.gimpel.com/

eao197 комментирует...

2Sanik: упс, недосмотрел. Добавил.