[cfe-dev] c++-analyzer on llvm-clang svn r162229

[Ted Kremenek]

Hi Chen,

If you are on OS X, I just posted an open source checker build (checker-268) that enables the subset of C++ inter procedural analysis support that we feel comfortable users trying out.  If you are building from trunk, those same set of options are enabled by default.  Over the next couple weeks we will gradually enable more support for things we are already working on, and then we expect the support to get gradually better in stages over the next year.

Ted

On Sep 11, 2012, at 4:40 PM, chinux <chinux at gmail.com> wrote:

> Hi Ted,
> 
> Great to hear the progress in Static Analyzer. I really want to try out the new analyzer. Can you point me to where to start if I want to turn it out in the LLVM 3.2 trunk?
> 
> Thanks,
> Chen
> 
> 
> On Friday, August 24, 2012 at 10:42 PM, Ted Kremenek [via Clang Developers] wrote:
> 
>> We've actually made huge progress on analyzer support for C++ in the last year, especially in the last several months.  We're aiming to having significantly better C++ support ready by the LLVM 3.2 release.  Right now a few things are in flight, and the newest analyzer improvements in this area isn't on by default yet.  We're hoping to have most of that on by default in trunk (and then in LLVM 3.2) within the next month.  There will still be more to do after that, but the difference in C++ support between previous versions of the analyzer and these improvements is night and day. 
>> 
>> On Aug 22, 2012, at 11:16 AM, chinux <[hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=0)> wrote: 
>> 
>>> this is probably out of track of this topic. I am wondering how well does 
>>> static-analyzer do regarding to C++. According to 
>>> http://clang-analyzer.llvm.org/dev_cxx.html, C++ support for static analyzer 
>>> is not completed. Is it still so? 
>>> 
>>> 
>>> 
>>> -- 
>>> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026319.html
>>> Sent from the Clang Developers mailing list archive at Nabble.com (http://Nabble.com). 
>>> _______________________________________________ 
>>> cfe-dev mailing list 
>>> [hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=1) 
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>> _______________________________________________ 
>> cfe-dev mailing list 
>> [hidden email] (/user/SendEmail.jtp?type=node&node=4026351&i=2) 
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>> 
>> 
>> If you reply to this email, your message will be added to the discussion below: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026351.html 
>> To start a new topic under Clang Developers, email ml-node+s42468n42468h56 at n3.nabble.com (mailto:ml-node+s42468n42468h56 at n3.nabble.com) 
>> To unsubscribe from Clang Developers, click here (http://clang-developers.42468.n3.nabble.com/template/NamlServlet.jtp?macro=unsubscribe_by_code&node=42468&code=Y2hpbnV4QGdtYWlsLmNvbXw0MjQ2OHwtNzEzMTEyODY2).
>> NAML (http://clang-developers.42468.n3.nabble.com/template/NamlServlet.jtp?macro=macro_viewer&id=instant_html%21nabble%3Aemail.naml&base=nabble.naml.namespaces.BasicNamespace-nabble.view.web.template.NabbleNamespace-nabble.view.web.template.NodeNamespace&breadcrumbs=notify_subscribers%21nabble%3Aemail.naml-instant_emails%21nabble%3Aemail.naml-send_instant_email%21nabble%3Aemail.naml) 
> 
> 
> 
> 
> 
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/c-analyzer-on-llvm-clang-svn-r162229-tp4026306p4026613.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev