Есть ли что-то вроде PPI или Perl :: Critic для C?

Question

PPI и Perl :: Critic позволяют программистам обнаруживать определенные вещи в синтаксисе их программ Perl.

Есть ли что-нибудь подобное, чтобы токенизировать / анализировать C и дать вам возможность написать скрипт, который будет что-то делать с этой информацией?

Answer 1

C связанных программ:

• BLAST (Беркли Ленивая абстракция Инструмент проверки программного обеспечения) - программа проверки модели для программ на Си на основе ленивой абстракции.

• Clang - Компилятор, который включает статический анализатор.

• Frama-C - Статический анализ рамки для кл.

• Разреженный - инструмент, предназначенный для поиска ошибки в ядре Linux.

• Шина - Развитый открытый источник версия Lint (язык C).

Список инструментов для статического анализа кода для C (больше, чем в приведенном выше списке)

Answer 2

Существует программа с открытым исходным кодом, которая называется Splint :

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

Answer 3

Если я правильно помню, это делает lint .

Answer 4

Это немного не по теме, но на предмет ценных анализаторов кода для C стоит valgrind , чтобы поймать хитрое управление памятью.