You do not specify what you need, neither the platform (your nickname offers linux), but I have used (d) in the past with a big impact on my code:
- Cppcheck (excellent integration of eclipse plugins, its cpp, but it really supports C99 - the cppcheclipse plugin is called)
- sparse (can be delayed in eclipse using "external tools")
- Splint ( eclipse CDT )
- Codan ( )
- Intel SSA ( , Intel Compaser Parallel, , Intel eclipse).
eclipse ( , " " ) Eclipse CDT IDE Linux.
, alsa Frama-C.
( ) , , eclipse.
eclipse btw, Codan, (cppcheck , , , ).