четверг, 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 комментария:

  1. Dmitry Vyukov3 декабря 2009 г. в 10:55

    А как же 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

    ОтветитьУдалить
  2. eao1973 декабря 2009 г. в 11:16

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

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

    ОтветитьУдалить
  3. Сергей3 декабря 2009 г. в 13:43

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

    http://www.gimpel.com/

    ОтветитьУдалить
  4. eao1973 декабря 2009 г. в 14:23

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

    ОтветитьУдалить