Вы не указываете, что вам нужно, ни платформу (ваш ник предлагает Linux),
но в прошлом я использовал (d), что сильно повлияло на мой код:
- Cppcheck (отличная интеграция с плагином eclipse, его cpp, но на самом деле он поддерживает C99 - плагин называется cppcheclipse)
- Разреженный (может быть преобразован в затмение с помощью "внешних инструментов")
- Шина (в затмении CDT есть плагин)
- Кодан (внутренняя часть затмения)
- Intel SSA (я думаю, к этому можно обратиться из Intel Compaser или Parallel studio, которые предоставляют бесплатную некоммерческую лицензию и официальный плагин интеграции Intel eclipse)
Все они могут быть одновременно интегрированы в Eclipse (с помощью плагинов, «запускать внешние инструменты» и изнутри) и обеспечивать проверку и анализ в реальном времени в Eclipse CDT IDE для Linux-программистов .
Если вы хотите больше, в Frama-C .
есть также потрясающий набор инструментов.
Это лучшие бесплатные инструменты (не обязательно с открытым исходным кодом или бесплатные для коммерческого использования) для статического анализа, о которых я знаю, и они действительно хорошо взаимодействуют с затмением.
Извините за рекламное затмение, кроме инструментов Codan, они доступны другими способами (я полагаю, cppcheck предоставляет простой графический интерфейс, а другие доступны из оболочки).