[MontelLUG] Tool per analisi qualitativa del codice C

[Samuele]

Qui sono elencati una serie di tool per l'analisi del codice C/C++.

http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC.2B.2B

Lo scopo di questi programmi è di prendere in pasto i sorgenti e di 
tirare fuori tutte le cose potenzialmente pericolose presenti.
Es.: segnalano se si fa
if (a = b)
invece che
if (a == b)
assegnazioni tra tipi di dati che potrebbero dare problemi (es.: 
assegnare un signed int to un unsigned int).
E molte altri potenziali errori di codifica.

Qualcuno ha esperienza di questi tool? Consigli?
Purtroppo non posso mettermi a provarli tutti.

Un requisito è che si limitino a controllare il singolo sorgente che gli 
si da da analizzare e non pretendano di risolvere tutte le dipendenze in 
file esterni.