[cfe-dev] Static Analyzer

[Emilio Monti]

Hi,
I tried running scan-build wrapping a make building a simple test ANSI
C application full of clear bugs (memory leaks, null pointer
dereferencing, etc), but I always end up with:
scan-build: No bugs found.

Is it a problem of my build/configuration?

Which type of bugs can be detected with the current static analyzer?
I tried looking for this type of information, but I found only
Objective C examples.

Best Regards,
Emilio