ne znam taj frama, al koristim llvm/clang statični analizator
jedino kaj treba je imat "CC" varijablu u Makefile-u i pisat "scan-build make -B" umjesto "make"
(za one koji ne znaju, "make -B" forsira re-kompajl)
osobno ne programiram previše (makar sloccount kaže drukčije, 6 mjeseci za 2k lajni ?) i scan-build mi je istaknuo neš što ne znam sam' nekoliko puta
treba istaknut da ti alati nalaze sam jednostavne, logične, greške.
prava verifikacija je komplicirana
clang može i sa cmake, zgleda i direkt, al ja koristim sam običan makefile
drukčiji alat, malo zabavniji, je valgrind
sam upišem "valgrind --tool=memcheck --leak-check=yes ./program" i on ljepo isprinta ak negdje curi memorija pa čak i ako pišem van allociranog komada memorije (off-by-one, maj mortal enemi)
http://www.cprogramming.com/debugging/valgrind.html
valgrind je svjetska klasa a clang statički analizator je ok makar vidim da su neki komercijalni bolji