[robocheck-dev] Smatch - static analysis tool for C

[Lucian Adrian Grijincu]

Salut,

Nu m-am uitat deloc pe asta, și nu știu dacă vă e util, dar am auzit
de el aici: http://lwn.net/Articles/344036/ și pare utilizabil și în
robocheck (or maybe it's the pot).

http://repo.or.cz/w/smatch.git

--
 .
..: Lucian