Статический анализатор кода для С++ в Linux

Возможный дубликат:
Какие инструменты с открытым исходным кодом С++ для статического анализа доступны?

Кто-нибудь знает об открытом исходном коде, хороший статический анализатор кода для кода на С++ в Linux? Идея состоит в том, чтобы уловить ошибки программирования даже до того, как код перейдет в состояние проверки кода. Было бы здорово иметь возможность добавлять правила в инструмент. Знает ли кто-нибудь о таком инструменте?

Ответ 1

lint, найденный здесь: http://en.wikipedia.org/wiki/Lint_ (программное обеспечение)
cppcheck, здесь: http://cppcheck.wiki.sourceforge.net/

Ответ 2

вы можете попробовать pvs-studio:

http://www.viva64.com/en/pvs-studio/ (1)

также есть (bla-bla-lint): http://www.gimpel.com/html/index.htm (2)

пропущенная заметка о Linux, FlexeLint для C/С++ из (2) поддерживает linux, (1) только для окон, вы можете проверить это только в том случае, если ваш продукт кроссплатформен.

Ответ 3

Посмотрите clang статический анализатор: http://clang-analyzer.llvm.org/

Существуют и другие инструменты, такие как KLEE, основанный на llvm, также может выглядеть.

Ответ 4

Вы также можете настроить GCC (4.6) с помощью плагинов (закодированных на C) или Расширения MELT (MELT - это высокоуровневый доменный язык для расширения и настройки GCC). Этот подход может быть уместным, если у вас есть собственные правила кодирования, которые вы хотите проверить. Однако это требует некоторой работы.