CODEWITHSUNDEEP
cstatic-analysis
vinnylinux
vinnylinux

Reputation: 7034

Tools like PVS-Studio for static code analysis in C projects?

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?

Upvotes: 5

Views: 1435

Answers (2)

Tomas Pruzina
Tomas Pruzina

Reputation: 8887

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).

Upvotes: 3

Mike Mueller
Mike Mueller

Reputation: 2182

You don't mention what features you're looking for, but you can check out Vigilant Sentry and see if it meets your needs. It does static analysis of C and C++ programs, and has a plugin system for developing your own custom checks.

Upvotes: 0

Related Questions