Strumenti come PVS-Studio per l'analisi del codice statico nei progetti C?

Question

Sto cercando alcune alternative allo strumento PVS-Studio, per eseguire alcune analisi del codice statico nei progetti C. Avete qualche suggerimento?

Answer 1

Non dichiarate che cosa avete bisogno, né la piattaforma (il tuo nick suggerisce linux), ma io uso (d) questi in passato con grande impatto sul mio codice:

• Cppcheck (grande eclissare l'integrazione plug-in, la sua cpp ma lo fa in realtà supporta C99 - plugin si chiama cppcheclipse)
• Sparse (può essere inegrated in Eclipse utilizzando "strumenti esterni")
• Splint (Eclipse CDT ha plugin)
• Codan (parte interna di Eclipse)
• Intel SSA (credo che questo si può accedere da Intel Compaser o in studio parallelo, entrambi i quali offrono gratis non commerciale come la patente e Intel integrazione Eclipse plugin ufficiale)

Tutti questi può essere integrato nello stesso momento in Eclipse (tramite plugin, "run strumenti esterni" aR internamente) e di fornire in tempo reale la verifica e analisi all'interno Eclipse CDT IDE per linux pr ogrammers.

Se vuoi di più, c'è un set di strumenti Alsa in Frama-C.

Questi sono i migliori strumenti gratuiti (non necessariamente opensource o gratuiti per uso commerciale) per l'analisi statica che conosco e fanno davvero una bella sinergia con Eclipse. Ci scusiamo per la pubblicità di eclissi btw, eccetto per gli strumenti Codan, questi sono accessibili con altri mezzi (cppcheck fornisce una semplice GUI credo, e altri sono tutti accessibili dalla shell).

Answer 2

Non si parla di quali funzioni si sta cercando, ma è possibile controllare Vigilant Sentry e vedere se soddisfa le proprie esigenze. Effettua analisi statiche di programmi C e C++ e ha un sistema di plugin per lo sviluppo di controlli personalizzati.