Question

I’m looking for some alternatives to the PVS-Studio tool, in order to run some static code analysis in C projects. Do you guys have any suggestions?

Answer 1

You don’t state what you need, nor platform (your nick suggests linux),
but I use(d) these in past with great impact on my code:

• Cppcheck (great eclipse plugin integration, its cpp but It does actually support C99 – plugin is called cppcheclipse)
• Sparse (can be inegrated into eclipse by using “external tools”)
• Splint (eclipse CDT has plugin)
• Codan (internal part of eclipse)
• Intel SSA (I believe this can be accessed from Intel Compaser or Parallel studio, both of which provide free non-commercial like license and official Intel eclipse integration plugin)

All of these can be integrated at the same time into eclipse (using plugins, “run external tools” ar internally) and provide real time checking and analysis within Eclipse CDT IDE for linux programmers.

If you want more, there is alsa awesome set of tools in Frama-C.

These are best free tools (not necessarily opensource or free for commercial use) for static analysis I know of and they really make nice synergy with eclipse.
Sorry for advertising eclipse btw, except for Codan tools, these are accessible by other means (cppcheck provides simple GUI I believe, and others are all accessible from shell).