Есть ли что-либо как PPI или Perl:: Критик для C?
PPI и Perl:: Критик позволяет программистам обнаруживать определенные вещи в синтаксисе их программ Perl.
Есть ли что-нибудь как он, которое будет маркировать/анализировать C и давать Вам шанс записать сценарий, чтобы сделать что-то с той информацией?
4 ответа
Это немного не по теме, но о ценных анализаторах кода для C относится valgrind , чтобы отловить хитроумное управление памятью.
Программы, связанные с C:
- BLAST (Berkeley Lazy Abstraction Инструмент проверки программного обеспечения) - a программа проверки модели для программ на языке C на основе ленивой абстракции.
Clang - компилятор, который включает статический анализатор.
Frama-C - Статический анализ framework для C.
Sparse - Инструмент, предназначенный для поиска ошибки в ядре Linux.
Splint - Разработан открытый исходный код версия Lint (язык C).
Список инструментов для статического анализа кода для C (больше, чем список выше)
Существует программа с открытым исходным кодом под названием Splint :
Splint - это инструмент для статической проверки программ C на наличие уязвимостей безопасности и ошибок кодирования. С минимальными усилиями Splint может использоваться как лучший пух. Если приложить дополнительные усилия для добавления аннотаций к программам, Splint может выполнить более строгую проверку, чем может быть выполнено любым стандартным lint.