Herramientas como PVS-Studio para análisis de código estático en proyectos C?

Question

Estoy buscando algunas alternativas a la herramienta PVS-Studio, para ejecutar algunos análisis de código estático en proyectos C. ¿Tienen alguna sugerencia?

Answer 1

Usted no indica lo que necesita, ni plataforma (su nick sugiere Linux), pero yo uso (d) estos en el pasado con gran impacto en mi código:

• Cppcheck (gran eclipsar la integración plug-in, el CPP pero lo hace en realidad apoyan C99 - plugin se llama cppcheclipse)
• Escaso (se puede inegrated en Eclipse mediante el uso de "herramientas externas")
• Splint (Eclipse CDT tiene plug-in)
• Codan (parte interna de Eclipse)
• Intel SSA (Creo que esto se puede alcanzar de Intel Compaser o un estudio paralelo, los cuales proveen no comercial, como una licencia y oficial de Intel plugin de integración con Eclipse)

Todo esto se puede integrar a la vez en Eclipse (el uso de plugins, "ejecutar herramientas externas" aR internamente) y proporcionar comprobación en tiempo real y análisis dentro IDE Eclipse CDT para linux pr ogrammers.

Si quieres más, hay un conjunto increíble de herramientas en Frama-C.

Estas son las mejores herramientas gratuitas (no necesariamente de código abierto o gratuitas para uso comercial) para el análisis estático que conozco y realmente hacen una buena sinergia con el eclipse. Lo siento por anunciar eclipse por cierto, a excepción de las herramientas Codan, estas son accesibles por otros medios (cppcheck proporciona una GUI simple, creo, y otras son accesibles desde shell).

Answer 2

No menciona qué características está buscando, pero puede consultar Vigilant Sentry y ver si se ajusta a sus necesidades. Hace un análisis estático de los programas C y C++, y tiene un sistema de complemento para desarrollar sus propios controles personalizados.