Georgi Guninski wrote:
hi,

has someone tested clang for static analysis?
it doesn't seem to support c++ yet (just c and objective c).

example report of real application (adium im):
http://trac.adium.im/wiki/StaticAnalysis

I haven't tried it. From what I understand clang is a good parser for C. C++ support is planned but doesn't exist yet. Given the difficulty of parsing C++, I imagine it will take at least a few years to make a really solid C++ parser.

I'm curious about the analyses that the clang bug-checker runs. The main doc page doesn't say exactly what it does. From the link above, I see that it tries to find null dereferences in C programs, which is a really hard problem, especially for large programs.

Dave
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to