Program na analyzu kodu v C

[Martin Moštěk]

Dobry den,
mam dotaz, jestli nemate nekdo zkusenosti s programy na statickou 
analyzu zdrojovych kodu v C ? Mame totiz zdrojak v C pro DSP od TI a 
potrebovali bychom udelat analyzu slabych mist programu...
Jelikoz strycek Google toho nabizi o "static code analysis" mnoho, mohli 
by jste mi neco freewaroveho, popripade open-sourcoveho doporucit s cim 
mate zkusenosti? Diky Tyca.