[cfe-dev] C++ support for static analyzer

[Ted Kremenek]

Hi Arjun,

The analyzer already has a fair amount of support for C++.  What's left to be is making it great.  They are many things you could try doing.  You could implement a custom checker, or dig into the analysis internals (e.g. ExprEngine) and see where things can be improved.  Another good way to start is to try and run the analyzer on real code and see where it doesn't work as you expect.  More to the point, I think you should start with some isolated problem, and gradually expand.  If you don't have any prior experience with the analyzer core, I'd suggest starting with writing a checker.

Cheers,
Ted

On Sep 22, 2011, at 7:48 PM, Arjun Singri wrote:

> Hi,
> 
> I am interested in providing C++ support for clang's static analyzer but I don't know how to go about it. If someone can help me out a bit by providing a general sense of direction, I will be easily able to implement the required stuff. Any help appreciated.
> 
> Thanks,
> Arjun
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev